Science
548 kitap · Page 9/12
Biology of Rove Beetles (Staphylinidae)
XXIII DAE High Energy Physics Symposium
Advances in Computer Science and Ubiquitous Computing
The Angmagsalik Eskimo – Notes and Corrections to Vol. 39 of Monographs on Greenland
Thomas Thomsen
Harvest of Hazards – Family Farming, Accidents, and Expertise in the Corn Belt, 1940–1975
Derek S. Oden
Mossbauer Spectroscopy – Applications in Chemistry , Biology, and Nanotechnology
Structure, Function, and Modulation of Neuronal Voltage-Gated Ion Channels
Mathematics in Religion
Rajesh Thakur
Worldwide Mobilizations
Strategia: A Primer on Theory and Strategy for Students of War (Essential Guides to War and Warfare)
Charles S. Oliviero
Apocalypse, Revolution and Terrorism: From the Sicari to the American Revolt Against the Modern World (Political Violence)
Jeffrey Kaplan
Hybrid Warfare: The Russian Approach to Strategic Competition & Conventional Military Conflict
Curtis L. Fox
Fuzzy Sets Theory and Applications (Nato Science Series C:, 177, Band 177)
Andre Jones
Follow the Money: The Shocking Deep State Connections of the Anti-Trump Cabal
Dan Bongino
NATO and the Middle East: The Geopolitical Context Post-9/11 (Routledge Studies in Middle Eastern Politics, 30, Band 30)
Mohammed Moustafa Orfy
Rise of the Fourth Reich: Confronting COVID Fascism with a New Nuremberg Trial, So This Never Happens Again
Steve Deace
BLITZ: Trump Will Smash the Left and Win
David Horowitz,
Israel and South Africa: The Many Faces of Apartheid
Ilan Pappe
Big Intel: How the CIA and FBI Went from Cold War Heroes to Deep State Villains
J Michael Waller
War with Russia?: From Putin & Ukraine to Trump & Russiagate
Stephen F Cohen
Trump's War on Capitalism
David Stockman
Spy Schools: How the Cia, Fbi, and Foreign Intelligence Secretly Exploit America's Universities
Daniel Golden
Project 2025: The Heritage Foundation's Mandate for Leadership and Its Impact on American Democracy Explained
Lila P. Katz
The Rule of Freedom: Liberalism and the Modern City
Patrick Joyce
14th International Conference on Environmental Science and Development (ICESD2023)
Gordon Huang
Space Discovery: A Beginner's Guide to Astronomy and Astrophysics
Bendis A. I. Saage - English
The Science of Cities: Using Models and Systems to Shape Urban Futures
Michael
Beyond the Pitch: Advertising's Disconnect Between Science and Results
NAIN
The Science of Cooking
Peter Barham
Raising Boys by Design: What the Bible and Brain Science Reveal About What Your Son Needs to Thrive
Dr Gregory L. Jantz
Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text (Lecture Notes in Computer Science, 1129, Band 1129)
Erik Meijer
Science of Discworld III: Darwin's Watch
Ian Stewart
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275)
Amy Felty
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758, Band 2758)
Burkhart Wolff
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes in Computer Science, 5170, Band 5170)
Otmane Ait Mohamed
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869, Band 1869)
John Harrison
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603, Band 3603)
Joe Hurd
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings (Lecture Notes in Computer Science, Band 9706)
Nicola Olivetti
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science, 1103, Band 1103)
Harald Ganzinger
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science, Band 9995)
John Fitzgerald Kennedy
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... Notes in Computer Science, Band 9933)
Maurice H. ter Beek
Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings (Lecture Notes in Computer Science, Band 10472)
Ralf Klasing
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, Band 8723)
Markus Müller-Olm
Toms River: A Story of Science and Salvation
Dan Fagin
Parsing Theory: Volume Ii Lr(K) And Ll(K) Parsing (Monographs in Theoretical Computer Science. An EATCS Series, 20, Band 20)
Seppo Sippu
Nuclear Science & Medical Imaging Including Nuclear Power Systems, 2000: Symposium
Advances in Nuclear Physics - Proceedings of the International Symposium
1998 IEEE Nuclear Science Symposium Conference Record: Nuclear Science Symposium and Medical Imaging Conference, 8-14 November 1998, Toronto, Canada
Ont.) Nuclear Science Symposium (45th : 1998 : Toronto