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
Logic
Categories
All categories
Nonfiction
Science
Mathematics
Pure Mathematics
Logic
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
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12650)
Stefan Kiefer, Christine Tasson
Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13242)
Patricia Bouyer, Lutz Schröder
Paul Lorenzen -- Mathematician and Logician (Logic, Epistemology, and the Unity of Science Book 51)
Gerhard Heinzmann, Gereon Wolters
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)
Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences ... Science and General Issues Book 11425)
Mikołaj Bojańczyk, Alex Simpson
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Science and General Issues Book 11428)
Tomáš Vojnar, Lijun Zhang
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12077)
Jean Goubault-Larrecq, Barbara König
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 11562)
Isil Dillig, Serdar Tasiran
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
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Science and General Issues Book 11427)
Tomáš Vojnar, Lijun Zhang
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
Fading Foundations: Probability and the Regress Problem (Synthese Library Book 383)
David Atkinson, Jeanne Peijnenburg
The Amazing Journey of Reason: from DNA to Artificial Intelligence (SpringerBriefs in Computer Science)
Mario Alemi
The Everyday Life of an Algorithm
Daniel Neyland
Advances in Proof-Theoretic Semantics (Trends in Logic Book 43)
Thomas Piecha, Peter Schroeder-Heister
Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers ... Notes in Computer Science Book 12640)
Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
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
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science Book 12699)
André Platzer, Geoff Sutcliffe
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
Woman and the Republic — a Survey of the Woman-Suffrage Movement in the United States and a Discussion of the Claims and Arguments of Its Foremost Advocates
Helen Kendrick Johnson
Campaigns of a Non-Combatant,and His Romaunt Abroad During the War
George Alfred Townsend
The Portent & Other Stories
George MacDonald
The Philippine Islands, 1493-1898 — Volume 08 of 55 1591-1593 Explorations by Early Navigators, Descriptions of the Islands and Their Peoples, Their History ... to the Close of the Nineteenth Century