Computer Science | Page 2 | Free Books For Free

Categories

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

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

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

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

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

Angelo Geraci

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

SYNTHESIZER COOKBOOK: How to Use Filters (Sound Design for Beginners Book 2)

Screech House

Preparing for Digital Disruption (Research for Policy)

Erik Schrijvers, Corien Prins, Reijer Passchier

Computer Vision Metrics: Survey, Taxonomy, and Analysis

Scott Krig

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

Guillaume Marois, Samir KC

Clinical Text Mining: Secondary Use of Electronic Patient Records

Hercules Dalianis

AI Knowledge Transfer from the University to Society: Applications in High-Impact Sectors

José Guadix Martín, Milica Lilic, Marina Rosales Martínez

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

Representation Learning for Natural Language Processing

Zhiyuan Liu, Yankai Lin, Maosong Sun

Actualizing Human Rights: Global Inequality, Future People, and Motivation (Routledge Studies in Human Rights)

Jos Philips

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

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

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

Managed Software Evolution

Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin

Cyber-Physical Systems: A Model-Based Approach

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

Window Functions and Their Applications in Signal Processing

K. M. M. Prabhu

Special Topics in Information Technology (PoliMI SpringerBriefs)

Barbara Pernici

Annals of Scientific Society for Assembly, Handling and Industrial Robotics

Thorsten Schüppstuhl, Kirsten Tracht, Dominik Henrich

X-Machines for Agent-Based Modeling: FLAME Perspectives (Chapman & Hall/CRC Computer and Information Science Series)

Mariam Kiran

Finding the Limits of the Limes: Modelling Demography, Economy and Transport on the Edge of the Roman Empire (Simulating the Past)

Philip Verhagen, Jamie Joyce, Mark R. Groenhuijzen

The Amazing Journey of Reason: from DNA to Artificial Intelligence (SpringerBriefs in Computer Science)

Mario Alemi

Social Networks with Rich Edge Semantics (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

Quan Zheng, David Skillicorn

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

META-NET Strategic Research Agenda for Multilingual Europe 2020 (White Paper Series)

Georg Rehm, Hans Uszkoreit

Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering Book 136)

Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel

VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers (Communications ... Computer and Information Science Book 904)

Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea

Linked Democracy: Foundations, Tools, and Applications (SpringerBriefs in Law)

Marta Poblet, Pompeu Casanovas, Víctor Rodríguez-Doncel

International Symposium on Mathematics, Quantum Theory, and Cryptography: Proceedings of MQC 2019 (Mathematics for Industry Book 33)

Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Yasuhiko Ikematsu

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

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

A History of Male Psychological Disorders in Britain, 1945-1980 (Mental Health in Historical Perspective)

Alison Haggett

Memoirs of Louis XIV and His Court and of the Regency - Volume 01

Louis de Rouvroy duc de Saint-Simon

A Hidden Life and Other Poems

George MacDonald