Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 3 Treffer
- Theoretische Informatik 3 Treffer
- Formale Methode 2 Treffer
- Formale Semantik 2 Treffer
- Formale Spezifikationstechnik 2 Treffer
-
31 weitere Werte:
- Komponente (Software) 2 Treffer
- Softwareentwicklung 2 Treffer
- Verifikation 2 Treffer
- Verteilte Programmierung 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstrakter Automat 1 Treffer
- Agent (Informatik) 1 Treffer
- Algebra 1 Treffer
- Algebraische Modelltheorie 1 Treffer
- Algebraisches Modell 1 Treffer
- Compiler 1 Treffer
- Computational logic 1 Treffer
- Datenbank 1 Treffer
- Datentyp 1 Treffer
- Kommunikation 1 Treffer
- Objektorientierte Programmiersprache 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Objektorientierung 1 Treffer
- Persistenz 1 Treffer
- Programmierparadigma 1 Treffer
- Programmiersprache 1 Treffer
- Programmierung 1 Treffer
- Prozesskommunikation 1 Treffer
- Semantik 1 Treffer
- Standard ML 1 Treffer
- Statische Analyse 1 Treffer
- Synchronisierung 1 Treffer
- Systementwicklung 1 Treffer
- Transaktion 1 Treffer
- UML 1 Treffer
- Verteiltes System 1 Treffer
Sprache
Form
Person
13 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1990Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: