Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 4 Treffer
- CAD 2 Treffer
- Nebenläufigkeit 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstraktion 1 Treffer
-
14 weitere Werte:
- Asynchrones Schaltwerk 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Dekomposition 1 Treffer
- Eingebettetes System 1 Treffer
- Entwurfsautomation 1 Treffer
- Leistungsbewertung 1 Treffer
- Logischer Schluss 1 Treffer
- Paralleler Prozess 1 Treffer
- Petri-Netz 1 Treffer
- Programmanalyse 1 Treffer
- Programmierung 1 Treffer
- Software 1 Treffer
- Systementwurf 1 Treffer
- Testen 1 Treffer
Sprache
Form
Person
6 Treffer
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: