Software Design, Testing & Engineering | Page 2 | Free Books For Free

Categories

Object Oriented Design

Software Development

Software Project Management

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Paulo Carreira, Vasco Amaral, Hans Vangheluwe

Benefit/Cost-Driven Software Development: With Benefit Points and Size Points (Simula SpringerBriefs on Computing Book 8)

Jo Erskine Hannay

Embedded Firmware Solutions: Development Best Practices for the Internet of Things

Vincent Zimmer, Jiming Sun, Marc Jones, Stefan Reinauer

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 – Workshops: XP 2021 Workshops, Virtual Event, June 14–18, 2021, Revised Selected Papers ... Business Information Processing Book 426)

Peggy Gregory, Philippe Kruchten

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

Hans Petter Langtangen

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

Agile Processes in Software Engineering and Extreme Programming: 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June ... Business Information Processing Book 419)

Peggy Gregory, Casper Lassenius, Xiaofeng Wang, Philippe Kruchten

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

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

Building Better Interfaces for Remote Autonomous Systems: An Introduction for Systems Engineers (Human–Computer Interaction Series)

Jacob D. Oury, Frank E. Ritter

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

Will Arthur, David Challener

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

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

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

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

Michelle Dennedy, Jonathan Fox, Tom Finneran

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

Managed Software Evolution

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

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

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: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10806)

Dirk Beyer, Marieke Huisman

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

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

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

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

Kevin Brock

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Lecture Notes in Computer Science Book 10776)

Rio Yokota, Weigang Wu

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

Subject-Oriented Business Process Management

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

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

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

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: 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings ... Business Information Processing Book 314)

Juan Garbajosa, Xiaofeng Wang, Ademar Aguiar

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

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

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

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

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

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

Xiaoyu Ruan

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

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

Lamarck, the Founder of Evolution His Life and Work

A. S. (Alpheus Spring) Packard

Children's Books and Their Illustrators

Gleeson White

The Mayflower and Her Log; July 15, 1620-May 6, 1621 — Volume 2

Azel Ames

The Water of Life and Other Sermons

Charles Kingsley