我的图书馆

要求 添加至我的列表 添加至书袋 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)
永久链接