Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 16 Treffer
- Typentheorie 11 Treffer
- Programmanalyse 10 Treffer
- Theoretische Informatik 9 Treffer
- Programmtransformation 8 Treffer
-
45 weitere Werte:
- Logische Programmierung 6 Treffer
- Programmverifikation 6 Treffer
- Beweistheorie 5 Treffer
- Formale Sprache 5 Treffer
- Programmierparadigma 5 Treffer
- Reduktionssystem 5 Treffer
- Abstraktion 4 Treffer
- Algebra 4 Treffer
- Datenverarbeitung 4 Treffer
- Effizienter Algorithmus 4 Treffer
- Korrektheit 4 Treffer
- Software Engineering 4 Treffer
- Typsystem 4 Treffer
- Algebraische Spezifikation 3 Treffer
- Approximation 3 Treffer
- Constraint-Erfüllung 3 Treffer
- Formulierung 3 Treffer
- Korrektur 3 Treffer
- Maschinelles Lernen 3 Treffer
- Model Checking 3 Treffer
- Parallelverarbeitung 3 Treffer
- Scheme (Programmiersprache) 3 Treffer
- Termersetzungssystem 3 Treffer
- Baum (Mathematik) 2 Treffer
- Berechnungstheorie 2 Treffer
- Formale Methode 2 Treffer
- Formale Semantik 2 Treffer
- LISP 2 Treffer
- Mathematische Logik 2 Treffer
- Mathematische Methode 2 Treffer
- Softwareentwicklung 2 Treffer
- Softwarespezifikation 2 Treffer
- Verifikation 2 Treffer
- Algorithmische Programmierung 1 Treffer
- Algorithms / Data processing 1 Treffer
- Algorithmus 1 Treffer
- Automat 1 Treffer
- Automatentheorie 1 Treffer
- Automatische Handlungsplanung 1 Treffer
- Autonomer Roboter 1 Treffer
- Berechenbarkeit 1 Treffer
- Berechnungskomplexität 1 Treffer
- Boolesche Algebra 1 Treffer
- Computersicherheit 1 Treffer
- Constraint (Künstliche Intelligenz) 1 Treffer
Sprache
Form
Person
- Sussman, Gerald Jay (1947-) 7 Treffer
- Sussman, Julie 7 Treffer
- Abelson, Harold 5 Treffer
- Broy, Manfred (1949-) 3 Treffer
- Gries, David 3 Treffer
-
45 weitere Werte:
- Abelson, Harold (1947-) 2 Treffer
- Best, Eike 2 Treffer
- Hanus, Michael 2 Treffer
- Jones, Neil D. (1941-) 2 Treffer
- Abramsky, Samson (1953-) 1 Treffer
- Aceto, Luca 1 Treffer
- Arnold, André (1945-) 1 Treffer
- Arsac, Jacques 1 Treffer
- Barringer, Howard 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Beetz, Michael 1 Treffer
- Berardi, Stefano 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Callaghan, Paul 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Choueiry, Berthe Y. 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
- Danvy, Olivier 1 Treffer
- De Nicola, Rocco 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Dittmer, Ingo (1950-) 1 Treffer
- Eršov, Andrej P. (1931-1988) 1 Treffer
- Felleisen, Matthias 1 Treffer
- Filliâtre, Jean-Christophe 1 Treffer
- Gergely, Tamás (1952-) 1 Treffer
- Geuvers, Herman 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Greibach, Sheila A. (1939-) 1 Treffer
- Hankin, Chris 1 Treffer
- Haridi, Seif 1 Treffer
- Hehner, Eric C. R. 1 Treffer
- Honsell, Furio 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Koenig, Sven 1 Treffer
- Krieg-Brückner, Bernd (1949-) 1 Treffer
- Kubiak, Ryszard 1 Treffer
- LeMétayer, Daniel 1 Treffer
- Leiss, Ernst L. (1952-) 1 Treffer
- Levi, Giorgio (1942-) 1 Treffer
- Mogensen, Torben Æ (1960-) 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Nielsen, Mogens 1 Treffer
- Ohori, Atsushi 1 Treffer
77 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2 print.. - Cambridge, Mass. [u.a.]: MIT Press, 2001Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
The essence of computation: complexity, analysis, transformation ; essays dedicated to Neil D. JonesBerlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Cambridge, Mass. [u.a.]: MIT Press [u.a.], 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
3. print.. - Berlin [u.a.]: Springer, 1985Monographie, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff: