Feedback

X
#1

keyword: Computer modelling & simulation – 7 free books.

epub These books are available in EPUB format - good for Kindle, iBooks, Nook, Kobo.

  • View As:
  • view list
  • view icon

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 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

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

VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

Mihai Duguleană et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
Mihai Duguleană et al. (editors)
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

The Multi-Agent Transport Simulation MATSim

Andreas Horni et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
The Multi-Agent Transport Simulation MATSim
Andreas Horni et al. (editors)
Faved by 1
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