Feedback

X
#1

keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation – 21 free books.

epub These books are available in EPUB format - good for Kindle, iBooks, Nook, Kobo.

  • View As:
  • view list
  • view icon

The Amazing Journey of Reason: from DNA to Artificial Intelligence

Mario Alemi

More Info
AVAILABLE!
Read it Now
Book cover
The Amazing Journey of Reason: from DNA to Artificial Intelligence
Mario Alemi
Faved by 3
Read it Now

The Everyday Life of an Algorithm

Daniel Neyland

More Info
AVAILABLE!
Read it Now
Book cover
The Everyday Life of an Algorithm
Daniel Neyland
Faved by 4
Read it Now

Bridging the Gap Between AI and Reality

Bernhard Steffen

More Info
AVAILABLE!
Read it Now
Book cover
Bridging the Gap Between AI and Reality
Bernhard Steffen
No Faves
Read it Now

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (editors)
No Faves
Read it Now

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (editors)
No Faves
Read it Now

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Arie Gurfinkel and Vijay Ganesh, editors
No Faves
Read it Now

Robust Argumentation Machines

Philipp Cimiano et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Robust Argumentation Machines
Philipp Cimiano et al. (editors)
No Faves
Read it Now

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Arie Gurfinkel and Vijay Ganesh, editors
No Faves
Read it Now

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Arie Gurfinkel and Vijay Ganesh, editors
No Faves
Read it Now

Automated Reasoning

Christoph Benzmüller et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Christoph Benzmüller et al. (editors)
No Faves
Read it Now

Automated Reasoning

Christoph Benzmüller et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Christoph Benzmüller et al. (editors)
No Faves
Read it Now

Foundations of Software Science and Computation Structures

Naoki Kobayashi and James Worrell, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Naoki Kobayashi and James Worrell, editors
No Faves
Read it Now

Advanced Mathematical Science for Mobility Society

Kazushi Ikeda et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Advanced Mathematical Science for Mobility Society
Kazushi Ikeda et al. (editors)
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Dirk Beyer and Ana Cavalcanti, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Dirk Beyer and Ana Cavalcanti, 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

Spectral Geometry of Graphs

Pavel Kurasov

More Info
AVAILABLE!
Read it Now
Book cover
Spectral Geometry of Graphs
Pavel Kurasov
No Faves
Read it Now

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

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 3.6
Svein Linge and Hans Petter Langtangen
No Faves
Read it Now

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 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

Mikołaj Bojańczyk and Alex Simpson, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 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
Mikołaj Bojańczyk and Alex Simpson, 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

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