Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 14
von 14
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Schlagwort
model checking
8
timed automata
8
computer science.
4
software engineering.
4
information theory.
3
logic
3
mehr ...
computational complexity.
2
ddc:004
2
formal specification
2
mergers & acquisitions
2
real-time systems
2
temporal logic
2
algebra -- data processing.
1
artificial intelligence.
1
atl
1
automata
1
computer science -- congresses.
1
computer software -- verification -- congresses.
1
cytotoxic t cells
1
electronic digital computers -- evaluation -- congresses.
1
engineering standards
1
evolutionary programming (computer science) -- congresses.
1
integrated circuits -- verification -- congresses.
1
logic design.
1
model-checking
1
quantum computing.
1
software engineering -- congresses.
1
symbolic and algebraic manipulation.
1
theory of computation.
1
weniger ...
Veröffentlicht in
Verlag
springer
3
springer-verlag, berlin
3
academic press inc elsevier science
2
academic press inc.
2
elsevier inc.
2
elsevier science b.v., amsterdam
2
mehr ...
schloss dagstuhl - leibniz-zentrum fur informatik
2
schloss dagstuhl. leibniz-zent. inform., wadern
2
elsevier bv
1
kassel
1
kobra universitat kassel
1
springer, cham
1
weniger ...
Sprache
Datenbank
Erscheinungsjahr
Filter