Feedback

X
#1

keyword: Verification – 44 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

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo and Andy Schürr, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Alessandra Russo and Andy Schürr, editors
No Faves
Read it Now

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 for Computations - MATLAB/Octave: A Gentle Introduction to Numerical Simulations with MATLAB/Octave

Svein Linge and Hans Petter Langtangen

More Info
AVAILABLE!
Read it Now
Book cover
Programming for Computations - MATLAB/Octave: A Gentle Introduction to Numerical Simulations with MATLAB/Octave
Svein Linge and Hans Petter Langtangen
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