Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 11 Treffer
- Constraint (Künstliche Intelligenz) 5 Treffer
- Programmanalyse 5 Treffer
- Programmtransformation 4 Treffer
- Programmverifikation 4 Treffer
-
45 weitere Werte:
- Algebra 3 Treffer
- Formale Sprache 3 Treffer
- Parallelverarbeitung 3 Treffer
- Typentheorie 3 Treffer
- Logische Programmierung 2 Treffer
- Theoretische Informatik 2 Treffer
- Verteilte Programmierung 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Algorithmentheorie 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Automatentheorie 1 Treffer
- Befehlsvorrat 1 Treffer
- Berechenbarkeit 1 Treffer
- Berechnungstheorie 1 Treffer
- CCS 1 Treffer
- Computersicherheit 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Datensicherung 1 Treffer
- Datenverarbeitung 1 Treffer
- Formale Semantik 1 Treffer
- Grammatik 1 Treffer
- Grundlage 1 Treffer
- Hochleistungsrechnen 1 Treffer
- Informatik 1 Treffer
- Internet 1 Treffer
- Jini 1.0 1 Treffer
- Jini 1.1 1 Treffer
- Kategorie (Mathematik) 1 Treffer
- Kategorientheorie 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
- Programmierparadigma 1 Treffer
- RMI 1 Treffer
- Rechnernetz 1 Treffer
- Semantik 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwarespezifikation 1 Treffer
- Supercomputer 1 Treffer
- TCSP 1 Treffer
- Theorie 1 Treffer
- Verfeinerung 1 Treffer
Sprache
Form
Person
- Apt, Krzysztof R. (1949-) 1 Treffer
- Bal, Henri E. 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Barthe, Gilles 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
-
30 weitere Werte:
- Bishop, Judith M. (1951-) 1 Treffer
- Borning, Alan 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Cejtlin, Georgij E. 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Danvy, Olivier 1 Treffer
- Gluškov, Viktor Michajlovič (1923-1982) 1 Treffer
- Hehner, Eric C. R. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Juščenko, Ekaterina L. 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Krieg-Brückner, Bernd (1949-) 1 Treffer
- Leach Albert, Javier 1 Treffer
- Lee, John A. N. (1934-) 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Maher, Michael 1 Treffer
- Mayoh, Brian 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Neuhold, Erich J. 1 Treffer
- Oaks, Scott 1 Treffer
- Ohori, Atsushi 1 Treffer
- Pitt, David H. (1946-) 1 Treffer
- Sannella, Donald 1 Treffer
- Saraswat, Vijay 1 Treffer
- Smolka, Gert 1 Treffer
- Taubner, Dirk 1 Treffer
- Wong, Henry 1 Treffer
- Yi, Kwangkeun 1 Treffer
- Zinterhof, Peter 1 Treffer
32 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. Aufl.. - Beijing [u.a.]: O'Reilly, 2001Monographie, Verzeichnis, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1986Monographie, Einführung, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1980Monographie, Gedruckte RessourceZugriff: