Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Parallelverarbeitung 13 Treffer
- Programmiersprache 11 Treffer
- Constraint (Künstliche Intelligenz) 7 Treffer
- Formale Sprache 5 Treffer
- Algebra 4 Treffer
-
45 weitere Werte:
- Baum (Mathematik) 4 Treffer
- Programmanalyse 4 Treffer
- Typentheorie 4 Treffer
- Data Mining 3 Treffer
- Effizienter Algorithmus 3 Treffer
- Korrektheit 3 Treffer
- Logische Programmierung 3 Treffer
- Mehragentensystem 3 Treffer
- Programmierparadigma 3 Treffer
- Programmtransformation 3 Treffer
- World Wide Web 3 Treffer
- Autonomer Agent 2 Treffer
- Constraint-Programmierung 2 Treffer
- Deklarative Programmierung 2 Treffer
- Entscheidungsunterstützungssystem 2 Treffer
- Internet 2 Treffer
- Mobiler Agent 2 Treffer
- Parallelrechner 2 Treffer
- Programmierumgebung 2 Treffer
- Programmverifikation 2 Treffer
- Softwarespezifikation 2 Treffer
- Theoretische Informatik 2 Treffer
- Unterstützungssystem (Informatik) 2 Treffer
- Verteilte Programmierung 2 Treffer
- Wissensbasiertes System 2 Treffer
- Wissensmanagement 2 Treffer
- Ad-hoc-Netz 1 Treffer
- Automatentheorie 1 Treffer
- Automatische Parallelisierung 1 Treffer
- Berechenbarkeit 1 Treffer
- Betriebssystem 1 Treffer
- Client-Server-Konzept 1 Treffer
- Computersicherheit 1 Treffer
- Datensicherung 1 Treffer
- Datenverarbeitung 1 Treffer
- Datenverwaltung 1 Treffer
- Deduktionssystem 1 Treffer
- Dienstgüte 1 Treffer
- Drahtloses Sensorsystem 1 Treffer
- Electronic Commerce 1 Treffer
- Gene Expression / congresses 1 Treffer
- Genetischer Algorithmus 1 Treffer
- Hochleistungsrechnen 1 Treffer
- Krasnojarsk <2005> 1 Treffer
- LISP 1 Treffer
Sprache
Form
Person
- Malyškin, Viktor 3 Treffer
- Bordini, Rafael H. 2 Treffer
- Broy, Manfred (1949-) 2 Treffer
- Itō, Takayasū 2 Treffer
- Arnold, André (1945-) 1 Treffer
-
41 weitere Werte:
- Bal, Henri E. 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Borning, Alan 1 Treffer
- Briot, Jean-Pierre 1 Treffer
- Cioni, Gianna 1 Treffer
- Dastani, Mehdi (1964-) 1 Treffer
- De Nicola, Rocco 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Dongarra, Jack J. 1 Treffer
- Evans, David J. 1 Treffer
- Hankin, Chris 1 Treffer
- Heath, Michael T. 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Kirchner, Hélène 1 Treffer
- Koza, John R. 1 Treffer
- Kropf, Peter 1 Treffer
- LeMétayer, Daniel 1 Treffer
- Leach Albert, Javier 1 Treffer
- Madria, Sanjay Kumar 1 Treffer
- Maher, Michael 1 Treffer
- Malyškin, Viktor Ė 1 Treffer
- Mayoh, Brian 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Müller, Frank 1 Treffer
- Podelski, Andreas 1 Treffer
- Raoult, Jean-Claude 1 Treffer
- Riis Nielson, Hanne 1 Treffer
- Sagiv, Mooly 1 Treffer
- Sands, David 1 Treffer
- Saraswat, Vijay 1 Treffer
- Schmidt, David 1 Treffer
- Seipel, Dietmar 1 Treffer
- Sestoft, Peter (1962-) 1 Treffer
- Smolka, Gert 1 Treffer
- Smolka, Gert (1955-) 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Tison, Sophie 1 Treffer
- Umeda, Masanobu 1 Treffer
- Zinterhof, Peter 1 Treffer
52 Treffer
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Repr.. - Bristol: Hilger, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Academic Pr, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: