Feedback

X
#1

keyword: Computer Systems Organization and Communication Networks – 18 free books.

  • 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

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

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

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

High Performance Computing

Michèle Weiland et al.

More Info
AVAILABLE!
Read it Now
Book cover
High Performance Computing
Michèle Weiland et al.
No Faves
Read it Now

Foundations of Software Science and Computation Structures

Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
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

Advances in Intelligent Data Analysis XVIII: 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings

Michael R. Berthold et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Advances in Intelligent Data Analysis XVIII: 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings
Michael R. Berthold et al. (editors)
No Faves
Read it Now

Communicating, Networking, Interacting

Margaret E. Robertson (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Communicating, Networking, Interacting
Margaret E. Robertson (editor)
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

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