Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 10 Treffer
- Programmierung 9 Treffer
- Logik 8 Treffer
- Programmierlogik 7 Treffer
- Automat 6 Treffer
-
19 weitere Werte:
- Formale Sprache 5 Treffer
- Software Engineering 4 Treffer
- Mathematische Logik 3 Treffer
- Computational logic 2 Treffer
- Komplexitätstheorie 2 Treffer
- Softwareentwicklung 2 Treffer
- Automat (Automatentheorie) 1 Treffer
- Datenverarbeitung 1 Treffer
- Gleichung 1 Treffer
- Informatik 1 Treffer
- Online-Ressource 1 Treffer
- Programmiersprache 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Programmverifikation 1 Treffer
- Semantik 1 Treffer
- Systementwicklung 1 Treffer
- Temporale Logik 1 Treffer
- Wissenstechnik 1 Treffer
Sprache
Form
Person
- Ibarra, Oscar H. 3 Treffer
- Nielsen, Mogens 2 Treffer
- Prívara, Igor 2 Treffer
- Abiteboul, Serge (1953-) 1 Treffer
- Aceto, Luca 1 Treffer
-
45 weitere Werte:
- Baaz, Matthias (1960-) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Blundo, Carlo 1 Treffer
- Bolc, Leonard 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Brim, Lubǒs 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Calude, Cristian (1952-) 1 Treffer
- Champarnaud, Jean-Marc 1 Treffer
- Clote, Peter 1 Treffer
- Coppo, Mario 1 Treffer
- Curien, Pierre-Louis 1 Treffer
- De Felice, Clelia 1 Treffer
- Diks, Krzysztof 1 Treffer
- Domaratzki, Michael 1 Treffer
- Farré, Jacques 1 Treffer
- Fiala, Jiří 1 Treffer
- Flum, Jörg 1 Treffer
- Fribourg, Laurent 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Gottlob, Georg 1 Treffer
- Honsell, Furio 1 Treffer
- Huet, Gérard 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Jȩdrzejowicz, Joanna 1 Treffer
- Královič, Rastislav 1 Treffer
- Kuich, Werner (1941-) 1 Treffer
- Kutyłowski, Mirosław 1 Treffer
- Lingas, Andrzej 1 Treffer
- Marcinkowski, Jerzy 1 Treffer
- Nivat, Maurice (1937-2017) 1 Treffer
- Odifreddi, Piergiorgio (1950-) 1 Treffer
- Ong, Luke 1 Treffer
- Penczek, Wojciech 1 Treffer
- Restivo, Antonio (ca. 20. Jh./21. Jh) 1 Treffer
- Rovan, Branislav 1 Treffer
- Sassone, Vladimiro 1 Treffer
- Sgall, Jiří 1 Treffer
- Takasu, Satoru (1931-) 1 Treffer
- Thomas, Wolfgang 1 Treffer
- Tiuryn, Jerzy 1 Treffer
- Walukiewicz, Igor 1 Treffer
- Watson, Bruce W. 1 Treffer
- Wiedermann, Jiří (1948-) 1 Treffer
- Yu, Sheng 1 Treffer
56 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: