Suchergebnisse
Hochschulbibliotheken
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Form
Literaturtyp
Sprache
Schlagwort
- Computer science 9 Treffer
- Formale Methode 5 Treffer
- Artificial intelligence 4 Treffer
- Computer hardware 4 Treffer
- Hardwareentwurf 4 Treffer
-
36 weitere Werte:
- Hardwareverifikation 4 Treffer
- Model Checking 4 Treffer
- Computer aided design 3 Treffer
- Entwurfsautomation 3 Treffer
- Entwurfssprache 2 Treffer
- Operating systems (Computers) 2 Treffer
- Softwareentwicklung 2 Treffer
- System-on-Chip 2 Treffer
- Applet 1 Treffer
- Chipkarte 1 Treffer
- Computational logic 1 Treffer
- Computer Communication Networks 1 Treffer
- Computer simulation 1 Treffer
- Data encryption (Computer science) 1 Treffer
- Datensicherung 1 Treffer
- Elektronische Bibliothek 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Information Systems 1 Treffer
- Java (Programmiersprache) 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logische Programmierung 1 Treffer
- Petri-Netz 1 Treffer
- Programmierung 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Softwarespezifikation 1 Treffer
- Stochastisches System 1 Treffer
- Technisches System 1 Treffer
- Top-down-Verfahren 1 Treffer
- UML 1 Treffer
- VLSI 1 Treffer
- Validierung 1 Treffer
- Verifikation 1 Treffer
Bestand in Bibliotheken
- Hochschule Rhein-Waal, Bibliothek 9 Treffer
- Technische Hochschule Köln, Hochschulbibliothek 9 Treffer
- Technische Hochschule Ostwestfalen-Lippe, Service Kommunikation Information Medien 9 Treffer
- Universitäts- und Landesbibliothek Münster, Zentralbibliothek 9 Treffer
- Universitätsbibliothek Dortmund 9 Treffer
-
7 weitere Werte:
- Universitätsbibliothek Duisburg-Essen 9 Treffer
- Universitätsbibliothek Paderborn 9 Treffer
- Universitätsbibliothek der Fernuniversität 9 Treffer
- Universitätsbibliothek der RPTU in Kaiserslautern 9 Treffer
- Universitätsbibliothek der RWTH Aachen 9 Treffer
- Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg 1 Treffer
- Universitätsbibliothek Wuppertal 1 Treffer
9 Treffer
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004Online Konferenzschrift, Konferenzschrift, 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:
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag, 1997; 1997Online Konferenzschrift, Konferenzschrift, 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:
-
Berlin Heidelberg: Springer-Verlag GmbH., 2005Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-RessourceZugriff:
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001; 2001Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-RessourceZugriff:
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999; 1999Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-RessourceZugriff:
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001; 2001Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-RessourceZugriff:
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003; 2003Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-RessourceZugriff: