Feedback

X
#1

keyword: Verification – 36 free books.

  • View As:
  • view list
  • view icon

Electronic Voting

Melanie Volkamer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Electronic Voting
Melanie Volkamer et al. (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

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

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

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

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

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

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

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

Seeing Human Rights

Sandra Ristovska

More Info
AVAILABLE!
Read it Now
Book cover
Seeing Human Rights
Sandra Ristovska
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

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

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

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
No Faves
Read it Now

Finite Difference Computing with PDEs: A Modern Software Approach

Hans Petter Langtangen and Svein Linge

More Info
AVAILABLE!
Read it Now
Book cover
Finite Difference Computing with PDEs: A Modern Software Approach
Hans Petter Langtangen and Svein Linge
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Alessandra Russo and Andy Schürr, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Alessandra Russo and Andy Schürr, 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

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Lujo Bauer and Ralf Küsters, editors

More Info
AVAILABLE!
Read it Now
Book cover
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Lujo Bauer and Ralf Küsters, 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 II

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 II
Dirk Beyer and Marieke Huisman, editors
No Faves
Read it Now

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Christel Baier and Ugo Dal Lago, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Christel Baier and Ugo Dal Lago, editors
No Faves
Read it Now