Feedback

X
#1

keyword: static analysis – 13 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

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel and Marijn Heule, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel and Marijn Heule, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel and Marijn Heule, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
No Faves
Read it Now

High Accuracy Detection of Mobile Malware Using Machine Learning

Suleiman Yerima (editor)

More Info
AVAILABLE!
Read it Now
Book cover
High Accuracy Detection of Mobile Malware Using Machine Learning
Suleiman Yerima (editor)
No Faves
Read it Now

Cultural Heritage Storytelling, Engagement and Management in the Era of Big Data and the Semantic Web

Charalampos Dimoulas (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Cultural Heritage Storytelling, Engagement and Management in the Era of Big Data and the Semantic Web
Charalampos Dimoulas (editor)
No Faves
Read it Now

Cyber Security of Critical Infrastructures

Leandros Maglaras et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Cyber Security of Critical Infrastructures
Leandros Maglaras et al. (editors)
No Faves
Read it Now

Global and International Logistics

Ryuichi Shibasaki et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Global and International Logistics
Ryuichi Shibasaki et al. (editors)
No Faves
Read it Now

Advances in Digital Image Correlation (DIC)

Jean-Noël Périé and Jean-Charles Passieux

More Info
AVAILABLE!
Read it Now
Book cover
Advances in Digital Image Correlation (DIC)
Jean-Noël Périé and Jean-Charles Passieux
No Faves
Read it Now

Masonry Buildings: Research and Practice

Tanja Kalman Šipoš and Hugo Rodrigues

More Info
AVAILABLE!
Read it Now
Book cover
Masonry Buildings: Research and Practice
Tanja Kalman Šipoš and Hugo Rodrigues
No Faves
Read it Now

Towards automated restructuring of object oriented systems

Adrian Ioan Alexandru Trifu

More Info
AVAILABLE!
Read it Now
Book cover
Towards automated restructuring of object oriented systems
Adrian Ioan Alexandru Trifu
No Faves
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