انتشارات Springer Cham
کتاب های انتشارات
صفحه ۲۴۴ از ۶,۳۴۰ در بین ۱۵۸,۴۸۳ کتاب.
PDF
Cardiovascular Pediatric Critical Illness and Injury
Keith C. Kocis MD, MS, Ana Lia. Graciano MD (auth.), Thomas P. Shanley, Hector R. Wong, Derek S. Wheeler (eds.), 2009PDF
Classic Papers in Critical Care
Tom Whitehead, Arthur S. Slutsky (auth.), Mitchell Fink MD, Michelle Hayes MD FRCA, Neil Soni MD FRCA FANZCA FJFICM (eds.), 2008PDF
Critical Care of Children with Heart Disease: Basic Medical and Surgical Concepts
Daniel Sidi, Eduardo M. da Cruz (auth.), Ricardo Munoz, Victor Morell, Eduardo Cruz, Carol Vetterly (eds.), 2010PDF
Critical Infrastructure Protection IV: Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010, Revised Selected Papers
Neil Robinson, Dimitris Potoglou, Chong Kim, Peter Burge, Richard Warnes (auth.), Tyler Moore, Sujeet Shenoi (eds.), 2010PDF
Alcohol and Tobacco: Medical and Sociological Aspects of Use, Abuse and Addiction
Otto-Michael Lesch, Henriette Walter, Christian Wetschka, Michie Hesselbrock, Victor Hesselbrock, 2010PDF
Bosnian Refugees in America: New Communities, New Cultures
Reed Coughlan, Judith Owens-Manley, 2005PDF
Contemporary Sociological Theory: An Integrated Multi-Level Approach
Doyle Paul Johnson (auth.), 2008PDF
Environmental Sociology: European Perspectives and Interdisciplinary Challenges
Harald Heinrichs, Matthias Gross (auth.), Matthias Gross, Harald Heinrichs (eds.), 2010PDF
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990PDF
Computer-Aided Reasoning: ACL2 Case Studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000DJVU
Computer-aided reasoning: ACL2 case studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000PDF
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000DJVU
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010PDF
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
J Strother Moore, 1996PDF
1000 Solved Problems in Modern Physics
Ahmad A. Kamal (auth.), 2010DJVU
25 Years of Non-Equilibrium Statistical Mechanics: Proceedings of the XIII Sitges Conference, Held in Sitges, Barcelona, Spain, 13–17 June 1994
Joel L. Lebowitz (auth.), J. J. Brey, J. Marro, J. M. Rubí, M. San Miguel (eds.), 1995
PDF
A Buyer's and User's Guide to Astronomical Telescopes and Binoculars
James Mullaney, 2007PDF
A Buyer's and User's Guide to Astronomical Telescopes and Binoculars
James Mullaney, 2007
PDF
A companion to astronomy and astrophysics: chronology and glossary with data tables
Kenneth R. Lang, 2006PDF
A Designer s Guide to Built-in Self-Test
Charles E. Stroud, 2002DJVU
A gauge theory of dislocations and disclinations
A. Kadic, D. G. B. Edelen, 1983DJVU
