コンテンツへ移動
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
エディション/フォーマット:   学位論文/卒業論文 : Thesis/dissertation : Manuscript   アーカイブ資料 : English
この資料のオンライン版を取得中… この資料のオンライン版を取得中…

オフラインで入手

配置場所と利用可否を確認中… 配置場所と利用可否を確認中…

WorldCat

世界の図書館の所蔵状況
この資料を所蔵している世界の図書館

詳細

ジャンル/形式: Academic theses
Theses
資料の種類: Thesis/dissertation, Manuscript
ドキュメントの種類 書籍, アーカイブ資料
すべての著者/寄与者: John-Michael McNew
OCLC No.: 747281888
メモ: Vita.
物理形態: xiv, 238 pages : illustrations ; 28 cm
責任者: John-Michael McNew.
注記を取得中… 注記を取得中…

レビュー

ユーザーレビュー

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.