Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Parallelverarbeitung 17 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
- World Wide Web 4 Treffer
- Data Mining 3 Treffer
- Effizienter Algorithmus 3 Treffer
- Korrektheit 3 Treffer
- Logische Programmierung 3 Treffer
- Mehragentensystem 3 Treffer
- Nebenläufigkeit 3 Treffer
- Parallelrechner 3 Treffer
- Programmierparadigma 3 Treffer
- Programmierumgebung 3 Treffer
- Programmtransformation 3 Treffer
- Theoretische Informatik 3 Treffer
- Autonomer Agent 2 Treffer
- Constraint-Programmierung 2 Treffer
- Datenstruktur 2 Treffer
- Deklarative Programmierung 2 Treffer
- Entscheidungsunterstützungssystem 2 Treffer
- Internet 2 Treffer
- Methode 2 Treffer
- Mobiler Agent 2 Treffer
- Paralleler Algorithmus 2 Treffer
- Programmverifikation 2 Treffer
- Softwareentwicklung 2 Treffer
- Softwarespezifikation 2 Treffer
- Strukturierte Programmierung 2 Treffer
- Supercomputer 2 Treffer
- Unterstützungssystem (Informatik) 2 Treffer
- Verteilte Programmierung 2 Treffer
- Wissensbasiertes System 2 Treffer
- Wissensmanagement 2 Treffer
- Ad-hoc-Netz 1 Treffer
- Algorithmus 1 Treffer
- Anwendung 1 Treffer
- Automatentheorie 1 Treffer
- Automatische Parallelisierung 1 Treffer
- Benutzeroberfläche 1 Treffer
- Berechenbarkeit 1 Treffer
- Betriebssystem 1 Treffer
- Caché 1 Treffer
- Client-Server-Konzept 1 Treffer
- Compiler 1 Treffer
- Computerarchitektur 1 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 3 Treffer
- Malyškin, Viktor 3 Treffer
- Bordini, Rafael H. 2 Treffer
- Dijkstra, Edsger W. 2 Treffer
- Hoare, Charles A. R. (1934-) 2 Treffer
-
45 weitere Werte:
- Itō, Takayasū 2 Treffer
- Arnold, André (1945-) 1 Treffer
- Bal, Henri E. 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Borning, Alan 1 Treffer
- Brinch Hansen, Per (1938-2007) 1 Treffer
- Briot, Jean-Pierre 1 Treffer
- Carey, Graham F. 1 Treffer
- Chandra, Rohit 1 Treffer
- Cioni, Gianna 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dastani, Mehdi (1964-) 1 Treffer
- De Nicola, Rocco 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Dongarra, Jack J. 1 Treffer
- Evans, David J. 1 Treffer
- Gehani, Narain 1 Treffer
- Gerbier, A. 1 Treffer
- Glinert, Ephraim P. (1946-) 1 Treffer
- Gries, David 1 Treffer
- Hankin, Chris 1 Treffer
- Heath, Michael T. 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kirsten, Wolfgang 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
- Meek, Brian L. 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
64 Treffer
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2002Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2007Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Plenum Pr, 1990Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1978Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester: Horwood [u.a.], 1980Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: