Feedback

X
#1

keyword: Verification – 39 free books.

doab These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.

  • View As:
  • view list
  • view icon

Advances in Industrial Robotics and Intelligent Systems

António Paulo Moreira et al. (editors)

AVAILABLE!
Book cover
António Paulo Moreira et al. (editors)
AVAILABLE!
Book cover

Behavior of Metallic and Composite Structures (Second Volume)

Tomasz Sadowski and Holm Altenbach, editors

AVAILABLE!
Book cover
Tomasz Sadowski and Holm Altenbach, editors

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

AVAILABLE!
Book cover
Sharon Shoham and Yakir Vizel, editors

District Heating and Cooling Networks

Antonio Colmenar Santos et al.

AVAILABLE!
Book cover
Antonio Colmenar Santos et al.

Electronic Voting

Melanie Volkamer et al. (editors)

AVAILABLE!
Book cover
Melanie Volkamer et al. (editors)
AVAILABLE!
Book cover
AVAILABLE!
Book cover
AVAILABLE!
Book cover
AVAILABLE!
Book cover

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

AVAILABLE!
Book cover
Esther Guerra and Mariëlle Stoelinga, editors

Fundamental Approaches to Software Engineering

Alessandra Russo and Andy Schürr, editors

AVAILABLE!
Book cover
Alessandra Russo and Andy Schürr, editors

Principles of Security and Trust

Lujo Bauer and Ralf Küsters

AVAILABLE!
Book cover
Lujo Bauer and Ralf Küsters