Azala

Summary goes here

Gorde:
Xehetasun bibliografikoak
Formatua: Liburua
Hizkuntza:ingelesa
Gaiak:
Computer simulation
Temporal automata
Formal methods (Computer science)
Robots
Robotics.
Computer Simulation
Computing Methodologies
Robotics
Simulation par ordinateur
Automates temporels
Méthodes formelles (Informatique)
Simulation par ordinateur.
Robotique.
simulation.
Temporal automata.
Robots.
Computer simulation.
Informatique.
Echtzeitsystem
Formale Methode
Hybrides System
Model Checking
Temporale Logik
Zeitbehafteter Automat
Zeitbewertetes Petri-Netz
Zeitdiskretes System
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Budapest (2009)
Kongress.
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

MU Online Library

Aleari buruzko argibideak MU Online Library
Sailkapena: missing
Alea 0 AVAILABLE
Oharrak:
  • json {"id":"6f082818-329e-5f89-963b-9fcf20ebe26d","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261491520","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-18T17:43:36.721793910Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-18T17:43:37.172330932Z"}