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

Armin Biere and David Parker

More Info

AVAILABLE!

Login to Fave

Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere and David Parker

Login to Fave

No Faves

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

More Info

AVAILABLE!

Login to Fave

Read it Now

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

Login to Fave

No Faves

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Armin Biere and David Parker, editors

More Info

AVAILABLE!

Login to Fave

Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Armin Biere and David Parker, editors

Login to Fave

No Faves

Anti-fragile ICT Systems

Kjell Jørgen Hole

More Info

AVAILABLE!

Login to Fave

Read it Now

Anti-fragile ICT Systems

Kjell Jørgen Hole

Login to Fave

No Faves

1 2