大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 todd.cook 的图书(共225本)

Models of the Atomic Nucleus [electronic resource] : Unification Through a Lattice of Nucleons

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

Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

0
索取号:
作者:Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

0
索取号:
作者:Alpuente、 Mar铆a.、Cook、 Byron.、Joubert、 Christophe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithmic Foundation of Robotics VIII [electronic resource] : Selected Contributions of the Eight International Workshop on the Algorithmic Foundations of Robotics

0
索取号:
作者:Chirikjian、 Gregory S.、Choset、 Howie.、Morales、 Marco.、Murphey、 Todd.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Contemporary Metal Boron Chemistry I [electronic resource] : Borylenes, Boryls, Borane 蟽-Complexes, and Borohydrides

0
索取号:
作者:Marder、 Todd B.、Lin、 Zhenyang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Research Trends in Combinatorial Optimization [electronic resource] : Bonn 2008

0
索取号:
作者:Cook、 William.、Lov谩sz、 L谩szl贸.、Vygen、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings

0
索取号:
作者:Akl、 Selim G.、Calude、 Cristian S.、Dinneen、 Michael J.、Rozenberg、 Grzegorz.、Wareham、 H. Todd.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

0
索取号:
作者:Cook、 Byron.、Podelski、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Models of the Atomic Nucleus [electronic resource] : With Interactive Software

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

Evidence-Based Management of Patients with Respiratory Failure [electronic resource]

0
索取号:
作者:Esteban、 Andr茅s.、Cook、 Deborah J.、Anzueto、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Value Driven Product Planning and Systems Engineering [electronic resource]

0
索取号:
作者:Cook、 H. E.、Wissmann、 L. A.、SpringerLink (Online service)、
出版社:London : Springer London, 2007.

Advanced Methods for Knowledge Discovery from Complex Data [electronic resource]

0
索取号:
作者:Bandyopadhyay、 Sanghamitra.、Maulik、 Ujjwal.、Holder、 Lawrence B.、Cook、 Diane J.、SpringerLink (Online service)、
出版社:London : Springer London, 2005.

The Hatfield SCT Lunar Atlas [electronic resource] : Photographic Atlas for Meade, Celestron and Other SCT Telescopes

0
索取号:
作者:Cook、 Jeremy.、SpringerLink (Online service)、
出版社:London : Springer London, 2005.

Mack Scogin Merrill Elam [electronic resource] : Knowlton Hall

0
索取号:
作者:Gannon、 Todd.、Fletcher、 Margaret.、Ball、 Teresa.、SpringerLink (Online service)、
出版社:New York, NY : Princeton Archit.Press, 2005.

The Hatfield Lunar Atlas [electronic resource] : Digitally Re-Mastered Edition

0
索取号:
作者:Cook、 Anthony.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York : Imprint: Springer, 2012.

Aging in Comparative Perspective [electronic resource] : Processes and Policies

0
索取号:
作者:Cook、 Ian Gillespie.、Halsall、 Jamie.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2012.
最近添加的分类