Feedback

X
#1

keyword: Software Engineering – 153 free books.

All these books are free to read: either they're distributed with a free license, or they're in the public domain.

  • View As:
  • view list
  • view icon

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

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

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

Reverse Engineering для начинающих

Dennis Yurichev

More Info
AVAILABLE!
Read it Now
Book cover
Reverse Engineering для начинающих
Dennis Yurichev
Faved by 1
Read it Now

Reverse Engineering для начинающих (LITE-версия!)

Dennis Yurichev

More Info
AVAILABLE!
Read it Now
Book cover
Reverse Engineering для начинающих (LITE-версия!)
Dennis Yurichev
Faved by 1
Read it Now

Model-Based Performance Prediction for Concurrent Software on Multicore Architectures

Markus Kilian Frank

More Info
AVAILABLE!
Read it Now
Book cover
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures
Markus Kilian Frank
No Faves
Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors
No Faves
Read it Now

Consistent View-Based Management of Variability in Space and Time

Sofia Ananieva

More Info
AVAILABLE!
Read it Now
Book cover
Consistent View-Based Management of Variability in Space and Time
Sofia Ananieva
No Faves
Read it Now

Location-Based Information Systems

Alfredo J. Perez and Miguel A. Labrador

More Info
AVAILABLE!
Read it Now
Book cover
Location-Based Information Systems
Alfredo J. Perez and Miguel A. Labrador
No Faves
Read it Now

Computer Aided Verification

Isil Dillig and Serdar Tasiran

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Isil Dillig and Serdar Tasiran
No Faves
Read it Now

Enabling Things to Talk

Alessandro Bassi et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Enabling Things to Talk
Alessandro Bassi et al. (editors)
No Faves
Read it Now

Ernst Denert Award for Software Engineering 2022

Eric Bodden et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Ernst Denert Award for Software Engineering 2022
Eric Bodden et al. (editors)
No Faves
Read it Now

Engineering the Computer Science and IT

Safeeullah Soomro (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Engineering the Computer Science and IT
Safeeullah Soomro (editor)
No Faves
Read it Now

Introduction to Scientific Programming with Python

Joakim Sundnes

More Info
AVAILABLE!
Read it Now
Book cover
Introduction to Scientific Programming with Python
Joakim Sundnes
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

Pan European Voice Conference - PEVOC 11

Claudia Manfredi (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Pan European Voice Conference - PEVOC 11
Claudia Manfredi (editor)
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

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere and David Parker

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere and David Parker
No Faves
Read it Now

Models and Analysis of Vocal Emissions for Biomedical Applications

Claudia Manfredi (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Models and Analysis of Vocal Emissions for Biomedical Applications
Claudia Manfredi (editor)
No Faves
Read it Now

Ernst Denert Award for Software Engineering 2020

Michael Felderer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Ernst Denert Award for Software Engineering 2020
Michael Felderer et al. (editors)
No Faves
Read it Now