Feedback

X
#1

keyword: distributed computer systems – 19 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

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Algorithms for Big Data

Hannah Bast et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Algorithms for Big Data
Hannah Bast et al. (editors)
No Faves
Read it Now

Silicon Valley Cybersecurity Conference

Luis Bathen et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Silicon Valley Cybersecurity Conference
Luis Bathen et al. (editors)
No Faves
Read it Now

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Sharon Shoham and Yakir Vizel, editors
No Faves
Read it Now

Programming Languages and Systems

Ilya Sergey (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Ilya Sergey (editor)
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Einar Broch Johnsen and Manuel Wimmer

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Einar Broch Johnsen and Manuel Wimmer
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

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

Brain-Inspired Computing

Katrin Amunts et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Brain-Inspired Computing
Katrin Amunts et al. (editors)
No Faves
Read it Now

Programming Languages and Systems

Nobuko Yoshida (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Nobuko Yoshida (editor)
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
No Faves
Read it Now

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Amal Ahmed

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Amal Ahmed
No Faves
Read it Now

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences

Zhiming Zhao and Margareta Hellström

More Info
AVAILABLE!
Read it Now
Book cover
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
Zhiming Zhao and Margareta Hellström
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

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

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 II
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Programming Languages and Systems

Peter Müller

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Peter Müller
No Faves
Read it Now

Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings

Dhabaleswar K. Panda (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
Dhabaleswar K. Panda (editor)
No Faves
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