Computer Science | Page 6 | Free Books For Free

Categories

Artificial Intelligence

Computer Engineering

Computer Simulation

Data Modeling & Design

Human-Computer Interaction

Image Processing

Information Theory

Optical Data Processing

Software Engineering

Speech & Audio Processing

Systems Analysis & Design

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

Entity-Oriented Search (The Information Retrieval Series Book 39)

Krisztian Balog

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 11423)

Luís Caires

rojikuproten nyumon: 5 kontororubar - raiburari rojikupuroten nyumon005 (Japanese Edition)

Okazaki Masahiko

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

Heterogeneity, High Performance Computing, Self-Organization and the Cloud (Palgrave Studies in Digital Business & Enabling Technologies)

Theo Lynn, John P. Morrison, David Kenny

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

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

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 10802)

Alessandra Russo, Andy Schürr

Foundations of Fuzzy Logic and Semantic Web Languages (Chapman & Hall/CRC Studies in Informatics Series)

Umberto Straccia

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

S-BPM Illustrated: A Storybook about Business Process Modeling and Execution

Albert Fleischmann, Stefan Raß, Robert Singer

From Opinion Mining to Financial Argument Mining (SpringerBriefs in Computer Science)

Chung-Chi Chen, Hen-Hsen Huang, Hsin-Hsi Chen

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

S-BPM in the Wild: Practical Value Creation

Albert Fleischmann, Werner Schmidt, Christian Stary

Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis

Shahriar Akramullah

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

Skillchain: Formazione Certificata: Il Primo Protocollo Per Certificare In Blockchain Le Competenze, I Corsi di Formazione, Diplomi e Lauree (Italian Edition)

Team Skillchain

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

Real-time Linked Dataspaces: Enabling Data Ecosystems for Intelligent Systems

Edward Curry

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

High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet (Theoretical Computer Science and General Issues Book 11400)

Joanna Kołodziej, Horacio González-Vélez

Designing Adaptive Virtual Worlds

Ning Gu, Mary Lou Maher

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

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

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

Biomedical Signal and Image Processing

Kayvan Najarian, Robert Splinter

Cloud-Based Benchmarking of Medical Image Analysis

Allan Hanbury, Henning Müller, Georg Langs

Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection

Xuefeng Zhou, Hongmin Wu, Juan Rojas, Zhihao Xu, Shuai Li

Android on x86: An Introduction to Optimizing for Intel Architecture

Iggy Krajci, Darren Cummings

Special Topics in Information Technology (SpringerBriefs in Applied Sciences and Technology)

Angelo Geraci

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Paulo Carreira, Vasco Amaral, Hans Vangheluwe

3D Recording and Interpretation for Maritime Archaeology (Coastal Research Library Book 31)

John K. McCarthy, Jonathan Benjamin, Trevor Winton, Wendy van Duivenvoorde

Energy Efficient Servers: Blueprints for Data Center Optimization

Corey Gough, Ian Steiner, Winston Saunders

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

Intertwingled: The Work and Influence of Ted Nelson (History of Computing)

Douglas R. Dechow, Daniele C. Struppa

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

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

Location-Based Information Systems: Developing Real-Time Tracking Applications (Chapman & Hall/Crc Comuter Information Science Series Book 23)

Miguel A. Labrador, Alfredo J. Perez, Pedro M. Wightman

Finite Difference Computing with PDEs: A Modern Software Approach (Texts in Computational Science and Engineering Book 16)

Hans Petter Langtangen, Svein Linge

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

Bodhi Meditation: The Fast Meditation Technique For Beginners

Ethan Ang

Valiant Next: 2015 Preview

Various

The British North America Act, 1867

Anonymous

Why the Gospel is the Best News Ever! (The Not Confused Series Book 2)

Gavin Cox