Suchergebnisse
Hochschulbibliotheken
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Form
Literaturtyp
Sprache
Schlagwort
- Computer science 2 Treffer
- Softwareentwicklung 2 Treffer
- Artificial intelligence 1 Treffer
- Computational logic 1 Treffer
- Formale Methode 1 Treffer
-
13 weitere Werte:
- Formale Spezifikationstechnik 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logische Programmierung 1 Treffer
- Petri-Netz 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Softwarespezifikation 1 Treffer
- Technisches System 1 Treffer
- UML 1 Treffer
- Verifikation 1 Treffer
Bestand in Bibliotheken
- Hochschule Rhein-Waal, Bibliothek 2 Treffer
- Technische Hochschule Köln, Hochschulbibliothek 2 Treffer
- Technische Hochschule Ostwestfalen-Lippe, Service Kommunikation Information Medien 2 Treffer
- Universitäts- und Landesbibliothek Münster, Zentralbibliothek 2 Treffer
- Universitätsbibliothek Dortmund 2 Treffer
- 5 weitere Werte:
2 Treffer
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004Online Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-RessourceZugriff:
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004Online Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-RessourceZugriff: