Software Development | Page 2 | Free Books For Free

Categories

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Paulo Carreira, Vasco Amaral, Hans Vangheluwe

Finite Difference Computing with Exponential Decay Models (Lecture Notes in Computational Science and Engineering Book 110)

Hans Petter Langtangen

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

Agile Processes in Software Engineering and Extreme Programming: 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings ... Business Information Processing Book 355)

Philippe Kruchten, Steven Fraser, François Coallier

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

A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security

Will Arthur, David Challener

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

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

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

The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value

Michelle Dennedy, Jonathan Fox, Tom Finneran

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

Managed Software Evolution

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

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

Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings ... Business Information Processing Book 283)

Hubert Baumeister, Horst Lichter, Matthias Riebisch

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

Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099)

Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz

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

Rhetorical Code Studies: Discovering Arguments in and around Code (Sweetland Digital Rhetoric Collaborative)

Kevin Brock

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

Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings (Lecture ... Business Information Processing Book 364)

Rashina Hoda

Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings (Communications in Computer and Information Science Book 659)

Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent

Subject-Oriented Business Process Management

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger

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

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 10805)

Dirk Beyer, Marieke Huisman

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

Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings ... Business Information Processing Book 314)

Juan Garbajosa, Xiaofeng Wang, Ademar Aguiar

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

Agile Processes, in Software Engineering, and Extreme Programming: 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings ... Business Information Processing Book 251)

Helen Sharp, Tracy Hall

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

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

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

Platform Embedded Security Technology Revealed: Safeguarding the Future of Computing with Intel Embedded Security and Management Engine

Xiaoyu Ruan

Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, ... Business Information Processing Book 383)

Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten

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

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

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

Are You Sure You Can Manage?: Software Engineering Management from the Software Engineers' Perspective

Marcus Tomlinson

Pro Git

Scott Chacon, Ben Straub

S-BPM in the Production Industry: A Stakeholder Approach

Matthias Neubauer, Christian Stary

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Alexander Supalov, Andrey Semin, Christopher Dahnken, Michael Klemm

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

Memoirs of Sir Wemyss Reid 1842-1885

N/A

Re: Coming Out to Play: Readers Respond to Robbie's Story

Encyclopaedia Britannica, 11th Edition, Volume 8, Slice 8 "Dubner" to "Dyeing"

Various

College Access Readers

CK-12 Foundation