Skip to main content
Toggle navigation
Contact Us
Log in
For Authors
Category
Arts & Photography
Biographies & Memoirs
Business & Money
Children's eBooks
Comics, Manga & Graphic Novels
Computers & Technology
Cookbooks, Food & Wine
Crafts, Hobbies & Home
Education & Teaching
Engineering & Transportation
Foreign Languages
Health, Fitness & Dieting
History
Humor & Entertainment
Law
LGBTQ+ eBooks
Literature & Fiction
Medical eBooks
Mystery, Thriller & Suspense
Nonfiction
Parenting & Relationships
Politics & Social Sciences
Reference
Religion & Spirituality
Romance
Science & Math
Science Fiction & Fantasy
Self-Help
Sports & Outdoors
Teen & Young Adult
Travel
Search
Computer Simulation
Categories
All categories
Nonfiction
Computers & Technology
Computer Science
Computer Simulation
Nibblenom Deathtrap: A Sci-Fi Comedy Short (Max and the Multiverse Shorts Book 2)
Zachry Wheeler
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10982)
Hana Chockler, Georg Weissenbacher
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13243)
Dana Fisman, Grigore Rosu
Proceedings of the 2022 2nd International Conference on Computer Technology and Media Convergence Design (CTMCD 2022) (Advances in Computer Science Research Book 99)
Kannimuthu Subramanian, Jian Ouyang, Wei Wei
Attachment Ventilation Theory
Angui Li
Anti-fragile ICT Systems (Simula SpringerBriefs on Computing Book 1)
Kjell Jørgen Hole
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10981)
Hana Chockler, Georg Weissenbacher
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues Book 12225)
Shuvendu K. Lahiri, Chao Wang
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561)
Isil Dillig, Serdar Tasiran
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April ... Science and General Issues Book 11429)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 11424)
Reiner Hähnle, Wil van der Aalst
Cyber-Physical Systems: A Model-Based Approach
Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
Thorsten Schüppstuhl, Kirsten Tracht, Dominik Henrich
Managing the Complexity of Critical Infrastructures: A Modelling and Simulation Approach (Studies in Systems, Decision and Control Book 90)
Roberto Setola, Vittorio Rosato, Elias Kyriakides, Erich Rome
Finding the Limits of the Limes: Modelling Demography, Economy and Transport on the Edge of the Roman Empire (Simulating the Past)
Philip Verhagen, Jamie Joyce, Mark R. Groenhuijzen
Innovations in Derivatives Markets: Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation (Springer Proceedings in Mathematics & Statistics Book 165)
Kathrin Glau, Zorana Grbac, Matthias Scherer, Rudi Zagst
Scaling of Differential Equations (Simula SpringerBriefs on Computing Book 2)
Hans Petter Langtangen, Geir K. Pedersen
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014 (Springer Proceedings in Complexity)
Hideki Takayasu, Nobuyasu Ito, Itsuki Noda, Misako Takayasu
Heterogeneity, High Performance Computing, Self-Organization and the Cloud (Palgrave Studies in Digital Business & Enabling Technologies)
Theo Lynn, John P. Morrison, David Kenny
Advances in Energy System Optimization: Proceedings of the 2nd International Symposium on Energy System Optimization (Trends in Mathematics)
Valentin Bertsch, Armin Ardone, Michael Suriyah, Wolf Fichtner, Thomas Leibfried, Vincent Heuveline
Natural Computing and Beyond: Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, ... Information and Communications Technology)
Yasuhiro Suzuki, Toshiyuki Nakagaki
Methodological Investigations in Agent-Based Modelling: With Applications for the Social Sciences (Methodos Series Book 13)
Eric Silverman, Daniel Courgeau, Robert Franck, Jakub Bijak, Jason Hilton, Jason Noble, John Bryden
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering Book 136)
Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel
VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers (Communications ... Computer and Information Science Book 904)
Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea
Air Quality Integrated Assessment: A European Perspective (SpringerBriefs in Applied Sciences and Technology)
Giorgio Guariso, Marialuisa Volta
Chinese Water Systems: Volume 4: Applied Water Management in China (Terrestrial Environmental Sciences)
Max Dohmann, Martin Grambow, Yonghui Song, Paul Wermter
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science Book 12760)
Alexandra Silva, K. Rustan M. Leino
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science Book 12759)
Alexandra Silva, K. Rustan M. Leino
Proceedings of the 2020 DigitalFUTURES: The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)
Philip F. Yuan, Jiawei Yao, Chao Yan, Xiang Wang, Neil Leach
Microsimulation Population Projections with SAS: A Reference Guide (SpringerBriefs in Population Studies)
Guillaume Marois, Samir KC
Featured Books
Carpe DiEmily (Part 1)
Riley J. Ford
Romance: Simone: Adventures in Dating (Book 1: The Billionaire) (Simone Series)
Riley J. Ford
The Fifth Vital: A Prelude
Mike Majlak, Riley J. Ford
Free Books For Free
is an author-approved catalog of all the free Ebooks on Amazon. Start reading on your Kindle or tablet now!
Popular Books
Journal of an Expedition into the Interior of Tropical Australia, in Search of a Route from Sydney to the Gulf of Carpentaria (1848)
T. L. (Thomas Livingstone) Mitchell
Regeneration Being an Account of the Social Work of The Salvation Army in Great Britain
H. Rider (Henry Rider) Haggard
National Strategy for Combating Terrorism February 2003
Executive Office of the President United States
Boy Life Stories and Readings Selected From The Works of William Dean Howells
William Dean Howells