unglue.it Browse Free Books

X

#1

Explore

View As:

Sort by:
popular
newest
title

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

More Info

AVAILABLE!

Login to Fave

Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

Login to Fave

No Faves

Cyber-Physical Systems: A Model-Based Approach

Walid M. Taha et al.

More Info

AVAILABLE!

Login to Fave

Read it Now

Cyber-Physical Systems: A Model-Based Approach

Walid M. Taha et al.

Login to Fave

No Faves

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!

Login to Fave

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

Login to Fave

No Faves

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!

Login to Fave

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

Login to Fave

Faved by 1

1