National Science Library, Chinese Academy of Sciences
  登录 机构网站 ENGLISH
您当前的位置是:首页->检索结果浏览
排序:
全选
显示: 条结果
1    
Quantum Computing / 图书

出版社:[Springer Berlin Heidelberg, Springer]  ISBN:9783642073830 (Print)   出版年:2004  

Hirvensalo Mika;  

来源数据库: SpringerLink电子图书

原文传递问图书馆员

2    
Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers / 图书

出版社:[Springer Berlin Heidelberg]  ISBN:9783540212607 (Print)   出版年:2004  

Frommer Andreas;   Kearfott R. Baker;   Luther Wolfram;   Alt René;  

来源数据库:SpringerLink电子图书(含丛书)

原文传递问图书馆员

3    
GO法原理及应用 :一种系统可靠性分析方法 :A System Reliability Analysis Methodology 图书

出版社:[清华大学出版社]  ISBN:7-302-08881-0  出版年:2004  

沈祖培;  

来源数据库: 中国科学院统一自动化系统

原文传递在架状态问图书馆员

4    
Environmental Online Communication / 图书

出版社:[Springer London, Springer]  ISBN:9781849969130 (Print)   出版年:2004  

Scharl Arno;  

来源数据库: SpringerLink电子图书

原文传递问图书馆员

5    
Performance Analysis and Grid Computing : Selected Articles from the Workshop on Performance Analysis and Distributed Computing August 19鈥?3, 2002, Dagstuhl, Germany / 图书

出版社:[Springer US, Springer]  ISBN:9781461350385 (Print)   出版年:2004  

Gerndt Michael;   Hoisie Adolfy;   Malony Allen;   Miller Barton;   Getov Vladimir;  

来源数据库:SpringerLink电子图书(含丛书)

原文传递问图书馆员

6    
Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice o 图书

出版社:[Springer Berlin Heidelberg]  ISBN:9783540212997 (Print)   出版年:2004  

Podelski Andreas;   Jensen Kurt;  

来源数据库:SpringerLink电子图书(含丛书)

原文传递问图书馆员

7    
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Fo 图书

出版社:[Springer Berlin Heidelberg]  ISBN:9783540231677 (Print)   出版年:2004  

Yovine Sergio;   Lakhnech Yassine;  

来源数据库:SpringerLink电子图书(含丛书)

原文传递问图书馆员

8    
Collectives and the Design of Complex Systems / 图书

出版社:[Springer New York, Springer]  ISBN:9781461264729 (Print)   出版年:2004  

Wolpert David;   Tumer Kagan;  

来源数据库:SpringerLink电子图书(含丛书)

原文传递问图书馆员

9    
Strength or Accuracy: Credit Assignment in Learning Classifier Systems / 图书

出版社:[Springer London, Springer]  ISBN:9781447110583 (Print)   出版年:2004  

Kovacs Tim;  

来源数据库:SpringerLink电子图书(含丛书)

原文传递问图书馆员

10    
Graph Drawing : 11th International Symposium, GD 2003 Perugia, Italy, September 21-24, 2003 Revised Papers / 图书

出版社:[Springer Berlin Heidelberg]  ISBN:9783540208310 (Print)   出版年:2004  

Liotta Giuseppe;  

来源数据库:SpringerLink电子图书(含丛书)

原文传递问图书馆员

< 首页 < 上一页 1 2 3 4 5 下一页 >
导出参考文献:×
作者信息:×