Feedback

X
#1

keyword: Verification – 38 free books.

  • View As:
  • view list
  • view icon

Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python

Svein Linge and Hans Petter Langtangen

More Info
AVAILABLE!
Read it Now
Book cover
Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python
Svein Linge and Hans Petter Langtangen
Faved by 1
Read it Now

Programming Languages and Systems

Amal Ahmed

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Amal Ahmed
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

Principles of Security and Trust: 8th International Conference, POST 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

Flemming Nielson and David Sands, editors

More Info
AVAILABLE!
Read it Now
Book cover
Principles of Security and Trust: 8th International Conference, POST 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
Flemming Nielson and David Sands, editors
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 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, Part I

Tomas Vojnar and Lijun Zhang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 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, Part I
Tomas Vojnar and Lijun Zhang, editors
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Dirk Beyer et al. (editors)
Faved by 1
Read it Now

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 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

Luis Caires (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 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
Luis Caires (editor)
Faved by 1
Read it Now

Remote Sensing of the Terrestrial Hydrologic Cycle

Qiuhong Tang et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Remote Sensing of the Terrestrial Hydrologic Cycle
Qiuhong Tang et al. (editors)
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Dirk Beyer and Marieke Huisman, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Dirk Beyer and Marieke Huisman, editors
No Faves
Read it Now

Special Issue of the Manufacturing Engineering Society 2019 (SIMES-2019)

Eva M. Rubio and Ana M. Camacho, editors

More Info
AVAILABLE!
Read it Now
Book cover
Special Issue of the Manufacturing Engineering Society 2019 (SIMES-2019)
Eva M. Rubio and Ana M. Camacho, editors
No Faves
Read it Now

Behavior of Metallic and Composite Structures (Second Volume)

Tomasz Sadowski and Holm Altenbach, editors

More Info
AVAILABLE!
Read it Now
Book cover
Behavior of Metallic and Composite Structures (Second Volume)
Tomasz Sadowski and Holm Altenbach, editors
No Faves
Read it Now

Seeing Human Rights

Sandra Ristovska

More Info
AVAILABLE!
Read it Now
Book cover
Seeing Human Rights
Sandra Ristovska
No Faves
Read it Now

The Rehabilitation and Ethnic Vetting of the Polish Population in the Voivodship of Gdańsk after World War II

Sylwia Bykowska

More Info
AVAILABLE!
Read it Now
Book cover
The Rehabilitation and Ethnic Vetting of the Polish Population in the Voivodship of Gdańsk after World War II
Sylwia Bykowska
No Faves
Read it Now

Guaranteed Verification of Dynamic Systems

Stefan Schwab

More Info
AVAILABLE!
Read it Now
Book cover
Guaranteed Verification of Dynamic Systems
Stefan Schwab
No Faves
Read it Now

Programming Languages and Systems

Ilya Sergey (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Ilya Sergey (editor)
No Faves
Read it Now

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Sharon Shoham and Yakir Vizel, editors
No Faves
Read it Now

Environmental Analysis of Organic Pollutants

Wenbin Liu (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Environmental Analysis of Organic Pollutants
Wenbin Liu (editor)
No Faves
Read it Now

Advances in Industrial Robotics and Intelligent Systems

António Paulo Moreira et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Advances in Industrial Robotics and Intelligent Systems
António Paulo Moreira et al. (editors)
No Faves
Read it Now

Applications of Radio Frequency Heating in Food Processing

Shaojin Wang and Rui Li, editors

More Info
AVAILABLE!
Read it Now
Book cover
Applications of Radio Frequency Heating in Food Processing
Shaojin Wang and Rui Li, editors
No Faves
Read it Now

Improving the Understanding, Diagnostics, and Prediction of Precipitation

Zuohao Cao et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Improving the Understanding, Diagnostics, and Prediction of Precipitation
Zuohao Cao et al. (editors)
No Faves
Read it Now