Feedback

X
#1

keyword: Conference proceedings – 18 free books.

  • View As:
  • view list
  • view icon
AVAILABLE!
Book cover

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Fundamental Approaches to Software Engineering

Leen Lambers and Sebastián Uchitel, editors

AVAILABLE!
Book cover
Leen Lambers and Sebastián Uchitel, editors

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina, editors

AVAILABLE!
Book cover
Sriram Sankaranarayanan and Natasha Sharygina, editors

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina, editors

AVAILABLE!
Book cover
Sriram Sankaranarayanan and Natasha Sharygina, editors

Foundations of Software Science and Computation Structures

Orna Kupferman and Pawel Sobocinski, editors

AVAILABLE!
Book cover
Orna Kupferman and Pawel Sobocinski, editors

Programming Languages and Systems

Thomas Wies (editor)

AVAILABLE!
Book cover
Thomas Wies (editor)

In pursuit of societal harmony and officially multilingual countries

Ludmilla A'Beckett and Theodorus du Plessis, editors

AVAILABLE!
Book cover
Ludmilla A'Beckett and Theodorus du Plessis, editors

xxAI - Beyond Explainable AI

Andreas Holzinger et al. (editors)

AVAILABLE!
Book cover
Andreas Holzinger et al. (editors)