Springer
Power-Aware Computer Systems: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
在线阅读本书 This book contributes the thoroughly refereed post-proceedings of the 4th International Work
Iteration of Rational Functions: Complex Analytic Dynamical Systems
Presents a comprehensive, detailed, and organized treatment of the foundations of a complex variable
Analysis of Phylogenetics and Evolution with R
The increasing availability of molecular and genetic databases coupled with the growing power of com
Digital Holography: Digital Hologram Recording, Numerical Reconstruction, and Related Techniques
This highly practical and self-contained guidebook explains the principles and major applications of
Breast Cancer
This second volume in the MD Anderson Solid Tumor Oncology series provides the general surgeon, surg
Isabelle/HOL
《Isabelle/HOL》内容简介：This textbook-like tutorial is a self-contained introduction to interactive proof
People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010
People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing
Thyroid Cancer: A Comprehensive Guide to Clinical Management
Thyroid Cancer: A Comprehensive Guide to Clinical Management是一本Internal Medicine方面的书籍，Leonard Wartof
Biology of Antibiotics
This book is based on Hans Zahner's Biologie der Antibiotica, published in 1965. There is a vast lit