Computer Science | Page 7 | 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 I (Lecture Notes in Computer Science Book 12759)

Alexandra Silva, K. Rustan M. Leino

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

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

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

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

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

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

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

Models, Methods and Tools for Product Service Design: The Manutelligence Project (PoliMI SpringerBriefs)

Laura Cattaneo, Sergio Terzi

Computation and the Humanities: Towards an Oral History of Digital Humanities (Springer Series on Cultural Computing)

Julianne Nyhan, Andrew Flinn

Preparing for Digital Disruption (Research for Policy)

Erik Schrijvers, Corien Prins, Reijer Passchier

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

The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? ... (Simula SpringerBriefs on Computing Book 4)

Olav Lysne

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

Big Data Now: Current Perspectives from O'Reilly Radar

O'Reilly Radar Team

Microsimulation Population Projections with SAS: A Reference Guide (SpringerBriefs in Population Studies)

Guillaume Marois, Samir KC

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

Cyber-Physical Systems: A Model-Based Approach

Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg

Diseño Estructurado de Algoritmos (Spanish Edition)

Alexander Oviedo Fadul

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

Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python 3.6 (Texts in Computational Science and Engineering Book 15)

Svein Linge, Hans Petter Langtangen

Quantum Computing for the Quantum Curious

Ciaran Hughes, Joshua Isaacson, Anastasia Perry, Ranbel F. Sun, Jessica Turner

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

Rethinking the Internet of Things: A Scalable Approach to Connecting Everything

Francis daCosta, Byron Henderson

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

Thomas Wingfold, Curate V3

George MacDonald

The Spirit of Rome

Vernon Lee

Vandrad the Viking, the Feud and the Spell

J. Storer (Joseph Storer) Clouston

FCBD 2014: Hip Hop Family Tree Two-in-One

Ed Piskor