Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 3 Treffer
- Formale Methode 2 Treffer
- Theoretische Informatik 2 Treffer
- Verifikation 2 Treffer
- Algebraische Spezifikation 1 Treffer
-
42 weitere Werte:
- Compiler 1 Treffer
- Computational logic 1 Treffer
- Constraint-Programmierung 1 Treffer
- Debugging 1 Treffer
- Eingebettetes System 1 Treffer
- Endlicher Automat 1 Treffer
- Formale Grammatik 1 Treffer
- Formale Semantik 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Generische Programmierung 1 Treffer
- Hardwareentwurf 1 Treffer
- Java (Programmiersprache) 1 Treffer
- Korrektheit 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logische Programmierung 1 Treffer
- Mehragentensystem 1 Treffer
- Model Checking 1 Treffer
- Objektorientierte Programmiersprache 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Parallelrechner 1 Treffer
- Petri-Netz 1 Treffer
- Programm 1 Treffer
- Programmiersprache 1 Treffer
- Programmoptimierung 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Reaktives System 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Skalierbarkeit 1 Treffer
- Software 1 Treffer
- Softwarespezifikation 1 Treffer
- Technisches System 1 Treffer
- Telekommunikationsnetz 1 Treffer
- Testen 1 Treffer
- Testmustergenerierung 1 Treffer
- Transitionssystem 1 Treffer
- UML 1 Treffer
- VDM 1 Treffer
- Verteilter Speicher 1 Treffer
- Z (Programmiersprache) 1 Treffer
Sprache
Form
Person
14 Treffer
-
London [u.a.]: Springer, 1992Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1978Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: