Feedback

X
#1

keyword: Programming languages – 27 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

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

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

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

Principles of Security and Trust

Lujo Bauer and Ralf Küsters

More Info
AVAILABLE!
Read it Now
Book cover
Principles of Security and Trust
Lujo Bauer and Ralf Küsters
No Faves
Read it Now

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo and Andy Schürr, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Alessandra Russo and Andy Schürr, editors
No Faves
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

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Rio Yokota and Weigang Wu, editors

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Rio Yokota and Weigang Wu, editors
No Faves
Read it Now