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
Artificial Intelligence
Categories
All categories
Computers & Technology
Computer Science
Artificial Intelligence
AI & Semantics
Cybernetics
Expert Systems
Neural Networks
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
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768)
Ivan Ganchev, R. D. van der Mei, Hans van den Berg
AI Knowledge Transfer from the University to Society: Applications in High-Impact Sectors
José Guadix Martín, Milica Lilic, Marina Rosales Martínez
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
Enabling Things to Talk: Designing IoT solutions with the IoT Architectural Reference Model
Alessandro Bassi, Martin Bauer, Martin Fiedler, Thorsten Kramp, Rob van Kranenburg, Sebastian Lange, Stefan Meissner
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10803)
Christel Baier, Ugo Dal Lago
Real-time Linked Dataspaces: Enabling Data Ecosystems for Intelligent Systems
Edward Curry
Designing Adaptive Virtual Worlds
Ning Gu, Mary Lou Maher
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
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection
Xuefeng Zhou, Hongmin Wu, Juan Rojas, Zhihao Xu, Shuai Li
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Paulo Carreira, Vasco Amaral, Hans Vangheluwe
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
CyberParks – The Interface Between People, Places and Technology: New Approaches and Perspectives (Information Systems and Applications, incl. Internet/Web, and HCI Book 11380)
Carlos Smaniotto Costa, Ina Šuklje Erjavec, Therese Kenna, Michiel de Lange, Konstantinos Ioannidis, Gabriela Maksymiuk, Martijn de Waal
Models, Methods and Tools for Product Service Design: The Manutelligence Project (PoliMI SpringerBriefs)
Laura Cattaneo, Sergio Terzi
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
Model-Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach (SpringerBriefs in Applied Sciences and Technology)
Elisabetta Di Nitto, Peter Matthews, Dana Petcu, Arnor Solberg
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
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues Book 12224)
Shuvendu K. Lahiri, Chao Wang
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Science and General Issues Book 12078)
Armin Biere, David Parker
How AI Impacts Urban Living and Public Health: 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings (Information ... incl. Internet/Web, and HCI Book 11862)
José Pagán, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, María Fernanda Cabrera
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405 (Theoretical Computer Science and General Issues Book 12070)
Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
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
Haptics: Science, Technology, Applications: 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings ... incl. Internet/Web, and HCI Book 12272)
Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets
Semantic Systems. In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September ... incl. Internet/Web, and HCI Book 12378)
Eva Blomqvist, Paul Groth, Victor de Boer, Tassilo Pellegrini, Mehwish Alam, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J. Pandit
Semantic Systems. The Power of AI and Knowledge Graphs: 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings ... incl. Internet/Web, and HCI Book 11702)
Maribel Acosta, Philippe Cudré-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, York Sure-Vetter
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
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges (Information ... incl. Internet/Web, and HCI Book 12003)
Zhiming Zhao, Margareta Hellström
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
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
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
Actualizing Human Rights: Global Inequality, Future People, and Motivation (Routledge Studies in Human Rights)
Jos Philips
Efficient Learning Machines: Theories, Concepts, and Applications for Engineers and System Designers
Mariette Awad, Rahul Khanna
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
Handbook on Craniofacial Superimposition: The MEPROCS Project
Sergio Damas, Oscar Cordón, Oscar Ibáñez
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
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
Cybersecurity: Public Sector Threats and Responses (Public Administration and Public Policy Book 164)
Kim J. Andreasson
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
Tech Giants, Artificial Intelligence, and the Future of Journalism (Routledge Research in Journalism Book 26)
Jason Paul Whittaker
Abrama's End Game: After Dinner Conversation Short Story Series
David Shultz
« first
‹ previous
1
2
3
4
next ›
last »
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
Pilot Season: Genius #1 (Pilot Season 2008)
Adam Freeman, Marc Bernardin
A Report of the Debates and Proceedings in the Secret Sessions of the Conference Convention For Proposing Amendments to the Constitution of the United ... at Washington, D.C., in February, A.D. 1861
L. E. (Lucius Eugene) Chittenden
Memoirs of Louis XIV and His Court and of the Regency - Volume 01
Louis de Rouvroy duc de Saint-Simon
Beginners’ Spanish: food and drink
The Open University