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

Technical Crops [electronic resource]

0
索取号:
作者:Kole、 Chittaranjan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Intelligence and Security Informatics [electronic resource] : IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006. Proceedings

0
索取号:
作者:Mehrotra、 Sharad.、Zeng、 Daniel D.、Chen、 Hsinchun.、Thuraisingham、 Bhavani.、Wang、 Fei-Yue.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Partial Differential Equations 1 [electronic resource] : Foundations and Integral Representations

0
索取号:
作者:Sauvigny、 Friedrich.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Physics of Quantum Mechanics [electronic resource] : Selected and Refereed Lectures from QMath9

0
索取号:
作者:Asch、 Joachim.、Joye、 Alain.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision in Human-Computer Interaction [electronic resource] : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings

0
索取号:
作者:Huang、 Thomas S.、Sebe、 Nicu.、Lew、 Michael S.、Pavlovi膰、 Vladimir.、K枚lsch、 Mathias.、Galata、 Aphrodite.、Kisa膷anin、 Branislav.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

0
索取号:
作者:Boavida、 Fernando.、Plagemann、 Thomas.、Stiller、 Burkhard.、Westphal、 Cedric.、Monteiro、 Edmundo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory [electronic resource] : Computational Intelligence and Soft Computing Applications

0
索取号:
作者:Kaburlasos、 Vassilis G.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science-Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

0
索取号:
作者:Grigoriev、 Dima.、Harrison、 John.、Hirsch、 Edward A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

DNA Computing [electronic resource] : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.

0
索取号:
作者:Carbone、 Alessandra.、Pierce、 Niles A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

0
索取号:
作者:Kronland-Martinet、 Richard.、Voinier、 Thierry.、Ystad、 S酶lvi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

0
索取号:
作者:Fishkin、 Kenneth P.、Schiele、 Bernt.、Nixon、 Paddy.、Quigley、 Aaron.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in High Performance Computing and Computational Sciences [electronic resource] : The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005

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

Computer Vision-ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV

0
索取号:
作者:Leonardis、 Ale拧.、Bischof、 Horst.、Pinz、 Axel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision-ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III

0
索取号:
作者:Leonardis、 Ale拧.、Bischof、 Horst.、Pinz、 Axel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision-ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part II

0
索取号:
作者:Leonardis、 Ale拧.、Bischof、 Horst.、Pinz、 Axel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类