Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 9 Treffer
- Programmanalyse 4 Treffer
- Programmtransformation 4 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Parallelverarbeitung 3 Treffer
-
32 weitere Werte:
- Formale Sprache 2 Treffer
- Programmverifikation 2 Treffer
- Theoretische Informatik 2 Treffer
- Typentheorie 2 Treffer
- Verteilte Programmierung 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Algebra 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Automatentheorie 1 Treffer
- Berechenbarkeit 1 Treffer
- CCS 1 Treffer
- Computersicherheit 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Datensicherung 1 Treffer
- Datenverarbeitung 1 Treffer
- Formale Semantik 1 Treffer
- Hochleistungsrechnen 1 Treffer
- Informatik 1 Treffer
- Internet 1 Treffer
- Kategorie (Mathematik) 1 Treffer
- Kategorientheorie 1 Treffer
- Logische Programmierung 1 Treffer
- Mathematik 1 Treffer
- Migration (Informatik) 1 Treffer
- Mobiler Agent 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objekt (Informatik) 1 Treffer
- Petri-Netz 1 Treffer
- Softwareentwicklung 1 Treffer
- Supercomputer 1 Treffer
- TCSP 1 Treffer
- Verteiltes System 1 Treffer
Form
Person
- Apt, Krzysztof R. (1949-) 1 Treffer
- Bal, Henri E. 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Barthe, Gilles 1 Treffer
- Bishop, Judith M. (1951-) 1 Treffer
-
19 weitere Werte:
- Borning, Alan 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Danvy, Olivier 1 Treffer
- Hehner, Eric C. R. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Krieg-Brückner, Bernd (1949-) 1 Treffer
- Leach Albert, Javier 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Maher, Michael 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Neuhold, Erich J. 1 Treffer
- Pitt, David H. (1946-) 1 Treffer
- Sannella, Donald 1 Treffer
- Saraswat, Vijay 1 Treffer
- Taubner, Dirk 1 Treffer
- Yi, Kwangkeun 1 Treffer
- Zinterhof, Peter 1 Treffer
24 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1993Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: