大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic 的图书(共4223本)

Algorithms-ESA 2010 [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I

0
索取号:
作者:Berg、 Mark.、Meyer、 Ulrich.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

0
索取号:
作者:Cousot、 Radhia.、Martel、 Matthieu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings

0
索取号:
作者:Lynch、 Nancy A.、Shvartsman、 Alexander A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II

0
索取号:
作者:Jiang、 Tianzi.、Navab、 Nassir.、Pluim、 Josien P. W.、Viergever、 Max A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III

0
索取号:
作者:Jiang、 Tianzi.、Navab、 Nassir.、Pluim、 Josien P. W.、Viergever、 Max A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I

0
索取号:
作者:Jiang、 Tianzi.、Navab、 Nassir.、Pluim、 Josien P. W.、Viergever、 Max A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Graphics 2010 [electronic resource]

0
索取号:
作者:Plemenos、 Dimitri.、Miaoulis、 Georgios.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings

0
索取号:
作者:Lee、 Mong Li.、Yu、 Jeffrey Xu.、Bellahs猫ne、 Zohra.、Unland、 Rainer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Safety, Reliability, and Security [electronic resource] : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

0
索取号:
作者:Schoitsch、 Erwin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

0
索取号:
作者:Bouajjani、 Ahmed.、Chin、 Wei-Ngan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

0
索取号:
作者:Wirsing、 Martin.、Hofmann、 Martin.、Rauschmayer、 Axel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part VI

0
索取号:
作者:Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV

0
索取号:
作者:Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part III

0
索取号:
作者:Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part V

0
索取号:
作者:Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II

0
索取号:
作者:Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类