Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Nebenläufigkeit 3 Treffer
- Verifikation 3 Treffer
- Abstraktion 2 Treffer
- Computer science 2 Treffer
- Dekomposition 2 Treffer
-
13 weitere Werte:
- Logic design 2 Treffer
- Model Checking 2 Treffer
- Software engineering 2 Treffer
- Artificial intelligence 1 Treffer
- Bioinformatik 1 Treffer
- Computer Communication Networks 1 Treffer
- Metamodell 1 Treffer
- Middleware 1 Treffer
- Objektorientierung 1 Treffer
- Online-Ressource 1 Treffer
- Programmiersprache 1 Treffer
- Simulation 1 Treffer
- Systemmodell 1 Treffer
Sprache
3 Treffer
-
Berlin, Heidelberg: Springer, 2002Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1998) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1998), 1998; 1998Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011Online Monographie, Konferenzschrift, Elektronische Ressource