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
AI & Semantics
Categories
All categories
Nonfiction
Computers & Technology
Computer Science
Artificial Intelligence
AI & Semantics
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
Entity-Oriented Search (The Information Retrieval Series Book 39)
Krisztian Balog
The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, ... incl. Internet/Web, and HCI Book 12157)
Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel
Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings (Lecture Notes in Computer Science Book 10688)
Patrick Horain, Catherine Achard, Malik Mallem
Essential Speech and Language Technology for Dutch: Results by the STEVIN-programme (Theory and Applications of Natural Language Processing Book 14)
Peter Spyns, Jan Odijk, Linde van den Bosch
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12079)
Armin Biere, David Parker
Multiple-Aspect Analysis of Semantic Trajectories: First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, ... in Artificial Intelligence Book 11889)
Konstantinos Tserpes, Chiara Renso, Stan Matwin
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 12076)
Heike Wehrheim, Jordi Cabot
Efficient Learning Machines: Theories, Concepts, and Applications for Engineers and System Designers
Mariette Awad, Rahul Khanna
Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers (Lecture Notes in Computer Science Book 9961)
Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman
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
The Formula: After Dinner Conversation Short Story Series
Richard A. Shury
Theory and Applications of Ordered Fuzzy Numbers: A Tribute to Professor Witold Kosiński (Studies in Fuzziness and Soft Computing Book 356)
Piotr Prokopowicz, Jacek Czerniak, Dariusz Mikołajewski, Łukasz Apiecionek, Dominik Ślȩzak
Data Science for Economics and Finance: Methodologies and Applications
Sergio Consoli, Diego Reforgiato Recupero, Michaela Saisana
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... (Security and Cryptology Book 11426)
Flemming Nielson, David Sands
Innovative Learning Environments in STEM Higher Education: Opportunities, Challenges, and Looking Forward (SpringerBriefs in Statistics)
Jungwoo Ryoo, Kurt Winkelmann
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
Robotics, AI, and Humanity: Science, Ethics, and Policy
Joachim von Braun, Margaret S. Archer, Gregory M. Reichberg, Marcelo Sánchez Sorondo
Foundations of Trusted Autonomy (Studies in Systems, Decision and Control Book 117)
Hussein A. Abbass, Jason Scholz, Darryn J. Reid
Artificial Intelligence for a Better Future: An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies (SpringerBriefs in Research and Innovation Governance)
Bernd Carsten Stahl
AI based Robot Safe Learning and Control
Xuefeng Zhou, Zhihao Xu, Shuai Li, Hongmin Wu, Taobo Cheng, Xiaojing Lv
Concepts in Action: Representation, Learning, and Application (Language, Cognition, and Mind Book 9)
Lucas Bechberger, Kai-Uwe Kühnberger, Mingya Liu
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 10801)
Amal Ahmed
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
Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems (Information Systems and Applications, incl. Internet/Web, and HCI Book 11369)
Ivan Ganchev, Nuno M. Garcia, Ciprian Dobre, Constandinos X. Mavromoustakis, Rossitza Goleva
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
On the path to AI: Law’s prophecies and the conceptual foundations of the machine learning age
Thomas D. Grant, Damon J. Wischik
Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers (Lecture Notes in Computer Science Book 12339)
Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications (Lecture Notes in Computer Science Book 7250)
Michael R. Berthold
From Opinion Mining to Financial Argument Mining (SpringerBriefs in Computer Science)
Chung-Chi Chen, Hen-Hsen Huang, Hsin-Hsi Chen
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: 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
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10806)
Dirk Beyer, Marieke Huisman
Handbook on Craniofacial Superimposition: The MEPROCS Project
Sergio Damas, Oscar Cordón, Oscar Ibáñez
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
Powering the Digital Economy: Opportunities and Risks of Artificial Intelligence in Finance (Departmental Papers)
Mr. Alin T Mirestean, Aquiles Farias, Jose Deodoro, El Bachir Boukherouaa, Khaled AlAjmi, Ebru S Iskender, Rangachary Ravikumar, Mr. Ghiath Shabsigh
Advances in Intelligent Data Analysis XVIII: 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, ... incl. Internet/Web, and HCI Book 12080)
Michael R. Berthold, Ad Feelders, Georg Krempl
Language Technologies for the Challenges of the Digital Age: 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings ... Notes in Computer Science Book 10713)
Georg Rehm, Thierry Declerck
Tech Giants, Artificial Intelligence, and the Future of Journalism (Routledge Research in Journalism Book 26)
Jason Paul Whittaker
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
« first
‹ previous
1
2
3
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
Egypt: Digest (Rosicrucian Order AMORC Kindle Editions)
Rosicrucian Order AMORC, Christian Bernard, E.A. Wallis Budge, Max Guilmot, Jeremy Naydler, Steven Armstrong, Christian Rebisse
Revolutionary Acts: Amateur Theater and the Soviet State, 1917-1938
Lynn Mally
Valiant: 4001 A.D. FCBD Special
Matt Kindt, Rafer Roberts, Jody Houser, Jeff Lemire
FCBD 2015: Valiant 25th Anniversary Special
Jeff Lemire, Matt Kindt, Robert Venditti