Suchergebnisse
Hochschulbibliotheken
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Form
Literaturtyp
Sprache
Schlagwort
- Computer science 2 Treffer
- Artificial intelligence 1 Treffer
- Computational logic 1 Treffer
- Formale Methode 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
-
12 weitere Werte:
- 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 Düsseldorf 2 Treffer
- Universitäts- und Landesbibliothek Münster, Zentralbibliothek 2 Treffer
-
7 weitere Werte:
- Universitätsbibliothek Dortmund 2 Treffer
- Universitätsbibliothek Duisburg-Essen 2 Treffer
- Universitätsbibliothek Paderborn 2 Treffer
- Universitätsbibliothek Trier 2 Treffer
- Universitätsbibliothek der Fernuniversität 2 Treffer
- Universitätsbibliothek der RPTU in Kaiserslautern 2 Treffer
- Universitätsbibliothek der RWTH Aachen 2 Treffer
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: