大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Graeme-Cook 的图书(共174本)

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.

Heat Transfer in Multi-Phase Materials [electronic resource]

0
索取号:
作者:脰chsner、 Andreas.、Murch、 Graeme E.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

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.

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.

Progress in Geomathematics [electronic resource]

0
索取号:
作者:Bonham-Carter、 Graeme.、Cheng、 Qiuming.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

0
索取号:
作者:Romijn、 Judi.、Smith、 Graeme.、Pol、 Jaco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

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.

Liver Metastases [electronic resource]

0
索取号:
作者:Vauthey、 Jean-Nicolas.、Hoff、 Paulo M.、Audisio、 Riccardo A.、Poston、 Graeme J.、SpringerLink (Online service)、
出版社:London : Springer London : Imprint: Springer, 2009.

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.

Constipation [electronic resource] : Etiology, Evaluation, and Management

0
索取号:
作者:Wexner、 Steven D.、Duthie、 Graeme S.、SpringerLink (Online service)、
出版社:London : Springer London, 2006.

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.

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.

Metals in Biology [electronic resource] : Applications of High-Resolution EPR to Metalloenzymes

0
索取号:
作者:Hanson、 Graeme.、Berliner、 Lawrence.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2010.
最近添加的分类