Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 8 Treffer
- Berechenbarkeit 7 Treffer
- Graphentheorie 7 Treffer
- Kombinatorik 7 Treffer
- Logik 7 Treffer
-
23 weitere Werte:
- Programmierung 7 Treffer
- Automat 6 Treffer
- Programmierlogik 6 Treffer
- Software Engineering 4 Treffer
- Komplexitätstheorie 3 Treffer
- Soft Computing 3 Treffer
- Algorithmus 2 Treffer
- Berechnungskomplexität 2 Treffer
- Bioinformatik 2 Treffer
- Computational logic 2 Treffer
- Kombinatorische Optimierung 2 Treffer
- Automat (Automatentheorie) 1 Treffer
- Automatentheorie 1 Treffer
- Berechnungstheorie 1 Treffer
- Diskrete Mathematik 1 Treffer
- Entwurfsautomation 1 Treffer
- Graph 1 Treffer
- Logische Schaltung 1 Treffer
- Mathematische Logik 1 Treffer
- Parallelverarbeitung 1 Treffer
- Quanteninformatik 1 Treffer
- Systementwurf 1 Treffer
- Zellularer Automat 1 Treffer
Form
Person
- Calude, Cristian (1952-) 4 Treffer
- Ibarra, Oscar H. 3 Treffer
- Nielsen, Mogens 2 Treffer
- Prívara, Igor 2 Treffer
- Widmayer, Peter (1953-) 2 Treffer
-
45 weitere Werte:
- Wiedermann, Jiří (1948-) 2 Treffer
- Aceto, Luca 1 Treffer
- Asano, Takao 1 Treffer
- Baaz, Matthias (1960-) 1 Treffer
- Bodlaender, Hans L. 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Brandes, Ulrik (1968-) 1 Treffer
- Brandstädt, Andreas (1949-) 1 Treffer
- Brim, Lubǒs 1 Treffer
- Caires, Luís 1 Treffer
- Champarnaud, Jean-Marc 1 Treffer
- Chen, Danny Z. 1 Treffer
- Chwa, Kyung-Yong 1 Treffer
- Ciobanu, Gabriel (1957-) 1 Treffer
- Clote, Peter 1 Treffer
- Cygan, Marek (1984-) 1 Treffer
- Dasgupta, Subrata 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Diks, Krzysztof 1 Treffer
- Domaratzki, Michael 1 Treffer
- Du, Dingzhu (1948-) 1 Treffer
- Díaz, Josep (1950-) 1 Treffer
- Farré, Jacques 1 Treffer
- Fiala, Jiří 1 Treffer
- Finkel, Alain 1 Treffer
- Flum, Jörg 1 Treffer
- Freivalds, Rūsiņš 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Gottlob, Georg 1 Treffer
- Honsell, Furio 1 Treffer
- Hromkovič, Juraj (1958-) 1 Treffer
- Hsu, Wen-Lian 1 Treffer
- Jȩdrzejowicz, Joanna 1 Treffer
- Karhumäki, Juhani (1949-) 1 Treffer
- Kratsch, Dieter (1959-) 1 Treffer
- Královič, Rastislav 1 Treffer
- Kutyłowski, Mirosław 1 Treffer
- Kučera, Luděk 1 Treffer
- Larsen, Kim G. 1 Treffer
- Lingas, Andrzej 1 Treffer
- Liśkiewicz, Maciej 1 Treffer
- Marcinkowski, Jerzy 1 Treffer
- Meyer auf der Heide, Friedhelm (1954-) 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Nivat, Maurice (1937-2017) 1 Treffer
77 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: