Feedback

X
#1

keyword: Informatics – 25 free books.

  • View As:
  • view list
  • view icon

Python para informáticos

Charles Severance (Author) and Fernando Tardío (translator)

AVAILABLE!
Book cover
Charles Severance (Author) and Fernando Tardío (translator)

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Fundamental Approaches to Software Engineering

Leen Lambers and Sebastián Uchitel, editors

AVAILABLE!
Book cover
Leen Lambers and Sebastián Uchitel, editors

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina, editors

AVAILABLE!
Book cover
Sriram Sankaranarayanan and Natasha Sharygina, editors

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina, editors

AVAILABLE!
Book cover
Sriram Sankaranarayanan and Natasha Sharygina, editors

Foundations of Software Science and Computation Structures

Orna Kupferman and Pawel Sobocinski, editors

AVAILABLE!
Book cover
Orna Kupferman and Pawel Sobocinski, editors

Programming Languages and Systems

Thomas Wies (editor)

AVAILABLE!
Book cover
Thomas Wies (editor)

xxAI - Beyond Explainable AI

Andreas Holzinger et al. (editors)

AVAILABLE!
Book cover
Andreas Holzinger et al. (editors)

Robotics, AI, and Humanity

Joachim von Braun et al. (editors)

AVAILABLE!
Book cover
Joachim von Braun et al. (editors)

Biodiversity Databases

Gordon B. Curry and Chris J. Humphries

AVAILABLE!
Book cover
Gordon B. Curry and Chris J. Humphries

Across Space and Time

Arianna Traviglia

AVAILABLE!
Book cover
Arianna Traviglia