Feedback

X
#1

keyword: Algorithms & data structures – 68 free books.

  • View As:
  • view list
  • view icon

Tools and Algorithms for the Construction and Analysis of Systems

Tomas Vojnar and Lijun Zhang

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Tomas Vojnar and Lijun Zhang
No Faves
Read it Now

Supercomputing Frontiers

David Abramson and Bronis R. De Supinski

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers
David Abramson and Bronis R. De Supinski
No Faves
Read it Now

Computer Aided Verification

Hana Chockler and Georg Weissenbacher

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Hana Chockler and Georg Weissenbacher
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

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!
Read it Now
Book cover
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
No Faves
Read it Now

Special Topics in Information Technology

Barbara Pernici (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Special Topics in Information Technology
Barbara Pernici (editor)
No Faves
Read it Now

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mikołaj Bojańczyk and Alex Simpson, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Mikołaj Bojańczyk and Alex Simpson, editors
Faved by 1
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