Automated parallelization of discrete state-space generation [microform] / David M. Nicol, Gianfranco Ciardo (ICASE report ; no. 2000-11) ([NASA contractor report] ; NASA/CR-2000-210082)

Automated parallelization of discrete state-space generation [microform] / David M. Nicol, Gianfranco Ciardo

(ICASE report ; no. 2000-11) ([NASA contractor report] ; NASA/CR-2000-210082)

国立国会図書館請求記号: YCA-NAS 1.26:210082
国立国会図書館書誌ID: 000006643552

資料種別: 図書

著者: Nicol, David Mほか

出版者: -

出版年: 2000

資料形態: マイクロ

ページ数・大きさ等: microfiche ; 11 × 15 cm

NDC: -

すべて見る

資料に関する注記

一般注記：: Shipping list no.: 2001-0362-MPhysical description for original version: 1 v

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

マイクロ

資料種別: 図書
タイトル: Automated parallelization of discrete state-space generation [microform] / David M. Nicol, Gianfranco Ciardo
シリーズタイトル: ICASE report ; no. 2000-11
[NASA contractor report] ; NASA/CR-2000-210082
タイトル標目: NASA contractor report ; NASA CR-210082
著者標目: Nicol, David M
Ciardo, Gianfranco
Institute for Computer Applications in Science and Engineering
Langley Research Center
出版年（W3CDTF）: 2000
数量: microfiche
大きさ: 11 × 15 cm
並列タイトル等: Automated parallelization of discrete state space generation
出版地（国名コード）: US
本文の言語コード: eng
資料種別（注記）: [microform]
件名標目: Markov chains
Random walk
Monte Carlo method
Mapping
一般注記: Shipping list no.: 2001-0362-M
Physical description for original version: 1 v
原資料等に関する注記: 原資料の出版事項: Hampton, VA ; Hanover, MD : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center : Available from NASA Center for AeroSpace Information (CASI) , [2000]
SUPTDOC番号: NAS 1.26: 210082
GPO管理番号: 0830-H-14 (MF)
GPO管理番号: 0830-H-14 (online)
所蔵機関: 国立国会図書館
請求記号: YCA-NAS 1.26:210082
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006643552
http://id.ndl.go.jp/bib/000006643552
OCLC番号: 50697865
https://www.worldcat.org/oclc/50697865
整理区分コード: 281