Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmsynthese 10 Treffer
- Programmtransformation 10 Treffer
- Induktive Logik 9 Treffer
- Computational logic 7 Treffer
- Funktionale Programmierung 7 Treffer
-
45 weitere Werte:
- Implementierung (Informatik) 5 Treffer
- Parallelverarbeitung 5 Treffer
- Data Mining 3 Treffer
- Entscheidungsunterstützungssystem 3 Treffer
- Metaprogrammierung 3 Treffer
- Programmiersprache 3 Treffer
- Programmierung 3 Treffer
- Softwareentwicklung 3 Treffer
- Wissensmanagement 3 Treffer
- World Wide Web 3 Treffer
- Constraint-Programmierung 2 Treffer
- Deklarative Programmierung 2 Treffer
- Maschinelles Lernen 2 Treffer
- Objektorientierte Programmierung 2 Treffer
- Programmverifikation 2 Treffer
- Unterstützungssystem (Informatik) 2 Treffer
- Wissensbasiertes System 2 Treffer
- Algorithmische Lerntheorie 1 Treffer
- Anwendung 1 Treffer
- Attributierte Grammatik 1 Treffer
- Auszeichnungssprache 1 Treffer
- Automatische Parallelisierung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- B (Programmiersprache) 1 Treffer
- Computerarchitektur 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Datenfluss 1 Treffer
- Deduktives Datenbanksystem 1 Treffer
- Deklarative Semantik 1 Treffer
- Formale Methode 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Semantik 1 Treffer
- Gemeinsamer Speicher 1 Treffer
- Graphische Benutzeroberfläche 1 Treffer
- Klausellogik 1 Treffer
- Kontrollfluss 1 Treffer
- Lambda-Kalkül 1 Treffer
- Mathematische Logik 1 Treffer
- Mehrprozessorsystem 1 Treffer
- PROLOG (Programmiersprache) 1 Treffer
- Parallelrechner 1 Treffer
- Programmanalyse 1 Treffer
- Programmschema 1 Treffer
- Spezifikation 1 Treffer
- Statische Analyse 1 Treffer
Sprache
Form
Person
- Bruynooghe, Maurice 2 Treffer
- Džeroski, Sašo (1968-) 2 Treffer
- Etalle, Sandro 2 Treffer
- Fuchs, Norbert E. 2 Treffer
- Kuchen, Herbert 2 Treffer
-
45 weitere Werte:
- Lavrač, Nada 2 Treffer
- Małuszyński, Jan 2 Treffer
- Palamidessi, Catuscia 2 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Bartenstein, Oskar 1 Treffer
- Beaumont, Antony (1949-) 1 Treffer
- Beierle, Christoph (1954-) 1 Treffer
- Bergadano, Francesco (1963-) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Bossi, Annalisa 1 Treffer
- Bruynooghe, M. 1 Treffer
- Camacho, Rui 1 Treffer
- Clark, Keith L. 1 Treffer
- Codognet, Philippe (1963-) 1 Treffer
- Cussens, James 1 Treffer
- Das, Subrata Kumar (1962-) 1 Treffer
- Degroot, Doug 1 Treffer
- Demoen, Bart 1 Treffer
- Deransart, Pierre 1 Treffer
- Deschreye, Danny 1 Treffer
- Doets, Kees 1 Treffer
- Eliëns, Anton 1 Treffer
- Flener, Pierre 1 Treffer
- Gabbrielli, Maurizio 1 Treffer
- Gallagher, John 1 Treffer
- Glaser, Hugh 1 Treffer
- Gunetti, Daniele 1 Treffer
- Gupta, Gopal 1 Treffer
- Hagiya, Masami (1957-) 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Hill, Patricia M. 1 Treffer
- Hogger, Christopher J. 1 Treffer
- Horváth, Tamás 1 Treffer
- Hu, Zhenjiang 1 Treffer
- Jaffar, Joxan 1 Treffer
- Kameyama, Yukiyoshi 1 Treffer
- Lau, Kung-Kiu 1 Treffer
- Leuschel, Michael 1 Treffer
- Levi, Giorgio (1942-) 1 Treffer
- Lloyd, John 1 Treffer
- MacCabe, Francis G. (1953-) 1 Treffer
- Maher, Michael (1933-) 1 Treffer
- Matwin, Stan (1949-) 1 Treffer
- Middeldorp, Aart (1963-) 1 Treffer
70 Treffer
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1989Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1994Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1992Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1991Monographie, Gedruckte RessourceZugriff: