Feedback

X
#1

keyword: Software engineering – 134 free books.

doab These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.

  • View As:
  • view list
  • view icon

Pro Git

Ben Straub and Scott Chacon

More Info
AVAILABLE!
Read it Now
Book cover
Pro Git
Ben Straub and Scott Chacon
Faved by 56
Read it Now

Scaling a Software Business

Brian Fitzgerald et al.

More Info
AVAILABLE!
Read it Now
Book cover
Scaling a Software Business
Brian Fitzgerald et al.
Faved by 8
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tomas Vojnar and Lijun Zhang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tomas Vojnar and Lijun Zhang, editors
Faved by 1
Read it Now

Fundamental Approaches to Software Engineering

Reiner Hähnle and Wil van der Aalst

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Reiner Hähnle and Wil van der Aalst
Faved by 1
Read it Now

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Flemming Nielson and David Sands, editors

More Info
AVAILABLE!
Read it Now
Book cover
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Flemming Nielson and David Sands, editors
Faved by 1
Read it Now

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 6–11, 2019, Proceedings, Part III

Dirk Beyer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
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 6–11, 2019, Proceedings, Part III
Dirk Beyer et al. (editors)
Faved by 1
Read it Now

Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

Tadeusz Czachórski et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings
Tadeusz Czachórski et al. (editors)
Faved by 1
Read it Now

Interfaces on Trial 2.0

Masanobu Katoh and Jonathan Band

More Info
AVAILABLE!
Read it Now
Book cover
Interfaces on Trial 2.0
Masanobu Katoh and Jonathan Band
Faved by 1
Read it Now

Agile Processes, in Software Engineering, and Extreme Programming: 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

Helen Sharp and Tracy Hall, editors

More Info
AVAILABLE!
Read it Now
Book cover
Agile Processes, in Software Engineering, and Extreme Programming: 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings
Helen Sharp and Tracy Hall, editors
Faved by 1
Read it Now

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Luis Caires (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Luis Caires (editor)
Faved by 1
Read it Now

Programming Languages and Systems

Amal Ahmed

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Amal Ahmed
Faved by 1
Read it Now

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler and Georg Weissenbacher, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Hana Chockler and Georg Weissenbacher, editors
Faved by 1
Read it Now

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Heike Wehrheim and Jordi Cabot
No Faves
Read it Now

Computer Aided Verification

Hana Chockler and Georg Weissenbacher

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Hana Chockler and Georg Weissenbacher
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
No Faves
Read it Now

Software Business

Sami Hyrynsalmi et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Software Business
Sami Hyrynsalmi et al. (editors)
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer and Marieke Huisman

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
No Faves
Read it Now

Sensing and Signal Processing in Smart Healthcare

Wenbing Zhao and Srinivas Sampalli, editors

More Info
AVAILABLE!
Read it Now
Book cover
Sensing and Signal Processing in Smart Healthcare
Wenbing Zhao and Srinivas Sampalli, editors
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Andrea Bondavalli et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Andrea Bondavalli et al. (editors)
No Faves
Read it Now