Mijn boeken
← Catalogus
Model checking nondeterministic and randomly timed systems
M.R. Neuhäusser

Model checking nondeterministic and randomly timed systems

M.R. Neuhäusser
PaperbackEngels
In het kort
ISBN-13
9789036529754
Uitgever
Universiteit Twente Bibliotheek
Verschenen
22 januari 2010
NUR
910 · Exacte wetenschappen/natuurwetenschappen algemeen

Lijkt op dit boek

Omslag van Verbindingen
Verbindingen
Omslag van Gaan we op vakantie naar de ruimte?
Gaan we op vakantie naar de ruimte?
Omslag van De plasticparadox
De plasticparadox
Omslag van De plasticparadox
De plasticparadox
Omslag van Lithium: From Salt Flat to Battery
Lithium: From Salt Flat to Battery
Omslag van Humans or Robots in Deep Space
Humans or Robots in Deep Space
Omslag van Pulsars als klokken in het heelal
Pulsars als klokken in het heelal
Omslag van Radiotelescopen horen wat wij niet zien
Radiotelescopen horen wat wij niet zien
Omslag van Terugkeer in de dampkring overleven
Terugkeer in de dampkring overleven
Omslag van Straling onderweg naar Mars
Straling onderweg naar Mars
NSTC 500568500 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Model checking nondeterministic and randomly timed systems
M.R. Neuhäusser

Model checking nondeterministic and randomly timed systems

M.R. Neuhäusser
PaperbackEngels
Bestel bij bol →
In het kort
ISBN-13
9789036529754
Uitgever
Universiteit Twente Bibliotheek
Verschenen
22 januari 2010
NUR
910 · Exacte wetenschappen/natuurwetenschappen algemeen

Lijkt op dit boek

Alles bekijken →
Omslag van Verbindingen
Verbindingen
Martijn van Calmthout
Omslag van Gaan we op vakantie naar de ruimte?
Gaan we op vakantie naar de ruimte?
Stijn Ilsen
Omslag van De plasticparadox
De plasticparadox
Jana Asselman
Omslag van De plasticparadox
De plasticparadox
Jana Asselman
Omslag van Lithium: From Salt Flat to Battery
Lithium: From Salt Flat to Battery
Waries B.V.
Omslag van Humans or Robots in Deep Space
Humans or Robots in Deep Space
Waries B.V.
NSTC 500568500 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026