přejít na obsah
Nondeterministic modeling and verification of networked robotic systems Náhled dokumentu
ZavřítNáhled dokumentu

Nondeterministic modeling and verification of networked robotic systems

Autor John-Michael McNew
Vydavatel: 2008.
Dizertace: Ph. D. University of Washington 2008
Vydání/formát:   Kvalifikační práce : Thesis/dissertation : Manuscript   Archivní materiál : English
Zpřístupňování online kopie dokumentu... Zpřístupňování online kopie dokumentu...

Vyhledat exemplář v knihovně

Získávání informací o lokaci a dostupnosti tohoto dokumentu... Získávání informací o lokaci a dostupnosti tohoto dokumentu...

WorldCat

Vyhledat v knihovnách obecně
Knihovny na světě vlastní tento dokument

Detaily

Žánr/forma: Academic theses
Theses
Typ materiálu: Thesis/dissertation, Manuscript
Typ dokumentu Kniha, Archivní materiál
Všichni autoři/tvůrci: John-Michael McNew
OCLC číslo: 747281888
Poznámky: Vita.
Popis: xiv, 238 pages : illustrations ; 28 cm
Odpovědnost: John-Michael McNew.
Vyhledávání poznámek o tomto dokumentu Vyhledávání poznámek o tomto dokumentu

Recenze

Recenze vložené uživatelem

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.