Feedback

X
#1

keyword: Computer Engineering and Networks – 12 free books.

pdf These books are available in PDF format - good for desktops, printing.

  • View As:
  • view list
  • view icon

Eingebettete Systeme: Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen

Peter Marwedel

More Info
AVAILABLE!
Read it Now
Book cover
Eingebettete Systeme: Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen
Peter Marwedel
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

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

Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2020

Jürgen Beyerer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2020
Jürgen Beyerer et al. (editors)
No Faves
Read it Now

Semantic Systems. In the Era of Knowledge Graphs

Eva Blomqvist et al.

More Info
AVAILABLE!
Read it Now
Book cover
Semantic Systems. In the Era of Knowledge Graphs
Eva Blomqvist et al.
No Faves
Read it Now

Cyber-Physical Systems: A Model-Based Approach

Walid M. Taha et al.

More Info
AVAILABLE!
Read it Now
Book cover
Cyber-Physical Systems: A Model-Based Approach
Walid M. Taha et al.
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

The Cloud-to-Thing Continuum

Theo Lynn et al.

More Info
AVAILABLE!
Read it Now
Book cover
The Cloud-to-Thing Continuum
Theo Lynn et al.
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

Anti-fragile ICT Systems

Kjell Jørgen Hole

More Info
AVAILABLE!
Read it Now
Book cover
Anti-fragile ICT Systems
Kjell Jørgen Hole
No Faves
Read it Now