انتشارات Springer.
Contemporary Sociological Theory: An Integrated Multi-Level Approach
Doyle Paul Johnson (auth.), 2008
Environmental Sociology: European Perspectives and Interdisciplinary Challenges
Harald Heinrichs, Matthias Gross (auth.), Matthias Gross, Harald Heinrichs (eds.), 2010
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990
Computer-Aided Reasoning: ACL2 Case Studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000
Computer-aided reasoning: ACL2 case studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
J Strother Moore, 1996
1000 Solved Problems in Modern Physics
Ahmad A. Kamal (auth.), 2010
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
A Buyer's and User's Guide to Astronomical Telescopes and Binoculars
James Mullaney, 2007
A Buyer's and User's Guide to Astronomical Telescopes and Binoculars
James Mullaney, 2007
A companion to astronomy and astrophysics: chronology and glossary with data tables
Kenneth R. Lang, 2006
A Designer s Guide to Built-in Self-Test
Charles E. Stroud, 2002
A gauge theory of dislocations and disclinations
A. Kadic, D. G. B. Edelen, 1983
A Gauge Theory of Dislocations and Disclinations
A. Kadic, D. G. B. Edelen, 1983
A Guide to Physics Problems, Part 1: Mechanics, Relativity, and Electrodynamics (The Language of Science) (Pt. 1)
Sidney B. Cahn, Boris E. Nadgorny, C.N. Yang, 1994
A Guide to Physics Problems. Mechanics, Relativity, and Electrodynamics
Sidney B. Cahn, Boris E. Nadgorny, C.N. Yang, 1994
A Guide to Physics Problems. Mechanics, Relativity, and Electrodynamics
Sidney B. Cahn, Boris E. Nadgorny, C.N. Yang, 2004
A Guide to Physics Problems: Mechanics, Relativity, and Electrodynamics
Sidney B. Cahn, Boris E. Nadgorny, C.N. Yang, 1994
A Guide to Physics Problems: Part 2: Thermodynamics, Statistical Physics, and Quantum Mechanics
Sidney B. Cahn, Gerald D. Mahan, Boris E. Nadgorny, Max Dresden, 1997
