大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Languages and Compilers for High Performance Computing [electronic resource] : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

0
索取号:
作者:Eigenmann、 Rudolf.、Li、 Zhiyuan.、Midkiff、 Samuel P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ubiquitous Computing Systems [electronic resource] : Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

0
索取号:
作者:Murakami、 Hitomi.、Nakashima、 Hideyuki.、Tokuda、 Hideyuki.、Yasumura、 Michiaki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 [electronic resource] : 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005. Proceedings

0
索取号:
作者:Shimojo、 Shinji.、Ichii、 Shingo.、Ling、 Tok-Wang.、Song、 Kwan-Ho.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Music Modeling and Retrieval [electronic resource] : Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

0
索取号:
作者:Wiil、 Uffe Kock.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computing and Combinatorics [electronic resource] : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings

0
索取号:
作者:Wang、 Lusheng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Global Computing [electronic resource] : IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

0
索取号:
作者:Priami、 Corrado.、Quaglia、 Paola.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

0
索取号:
作者:Dix、 J眉rgen.、Hegner、 Stephen J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and High Performance Computing II [electronic resource] : The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005

0
索取号:
作者:Krause、 Egon.、Shokin、 Yurii.、Resch、 Michael.、Shokina、 Nina.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Supported Cooperative Work in Design I [electronic resource] : 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

0
索取号:
作者:Shen、 Weiming.、Lin、 Zongkai.、Barth猫s、 Jean-Paul A.、Li、 Tangqiu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Human-Computer Interaction - INTERACT 2005 [electronic resource] : IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Proceedings

0
索取号:
作者:Costabile、 Maria Francesca.、Patern貌、 Fabio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

0
索取号:
作者:Etessami、 Kousha.、Rajamani、 Sriram K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Distributed Computing in Sensor Systems [electronic resource] : First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 鈥ʵly 1, 2005. Proceedings

0
索取号:
作者:Prasanna、 Viktor K.、Iyengar、 Sitharama S.、Spirakis、 Paul G.、Welsh、 Matt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

0
索取号:
作者:H盲m盲l盲inen、 Timo D.、Pimentel、 Andy D.、Takala、 Jarmo.、Vassiliadis、 Stamatis.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Applied Soft Computing Technologies: The Challenge of Complexity [electronic resource]

0
索取号:
作者:Abraham、 Ajith.、de Baets、 Bernard.、K枚ppen、 Mario.、Nickolay、 Bertram.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agents and Peer-to-Peer Computing [electronic resource] : Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers

0
索取号:
作者:Moro、 Gianluca.、Bergamaschi、 Sonia.、Aberer、 Karl.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Languages and Compilers for Parallel Computing [electronic resource] : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers

0
索取号:
作者:Pugh、 Bill.、Tseng、 Chau-Wen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类