我的圖書館

要求 添加至我的列表 添加至書袋 MARC 顯示 返回瀏覽索引
     
可用條款限制搜索
前一記錄 下一記錄
資源
更多信息
* Search MOBIUS *
PRINTED MAT
Conference PAPM-PROBMIV 2001 (2001 : Aachen, Germany)

標題 Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.).

出版資料 Berlin ; New York : Springer-Verlag, c2001.

複本

館藏地 索書號 狀態
 IU 2nd Floor  QA267 .P36 2001    AVAILABLE
說明 xii, 215 p : ill ; 24 cm.
系列 Lecture notes in computer science, 0302-9743 ; 2165
Bibliography Includes bibliographical references and index.
主題 Machine theory.
Parallel processing (Electronic computers)
添加作者 De Alfaro, Luca, 1966-
Gilmore, Stephen, 1962-
國際標準書號 354042556X (pbk. : acid-free paper)
永久鏈接