跳到内容
Nondeterministic modeling and verification of networked robotic systems 预览资料
关闭预览资料

Nondeterministic modeling and verification of networked robotic systems

著者: John-Michael McNew
出版商: 2008.
论文: Ph. D. University of Washington 2008
版本/格式:   硕士/博士论文 : 硕士论文/博士论文 : 手稿   档案资料 : 英语
取得资料的在线复本... 取得资料的在线复本...

在图书馆查找

正在查找此资料的位置以及馆藏信息... 正在查找此资料的位置以及馆藏信息...

WorldCat

在全球的图书馆查找
全世界的图书馆都拥有这资料

详细书目

类型/形式: Academic theses
Theses
材料类型: 硕士论文/博士论文, 手稿
文档类型 图书, 档案资料
所有的著者/提供者: John-Michael McNew
OCLC号码: 747281888
注释: Vita.
描述: xiv, 238 pages : illustrations ; 28 cm
责任: John-Michael McNew.
有关这份资料的检索注释 有关这份资料的检索注释

评论

用户提供的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.