Feedback

X
#1

keyword: Formal Languages and Automata Theory – 7 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

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman and Grigore Rosu, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman and Grigore Rosu, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman and Grigore Rosu, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman and Grigore Rosu, 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

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

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 28
André Platzer and Geoff Sutcliffe, editors
No Faves
Read it Now

Graph Structures for Knowledge Representation and Reasoning

Michael Cochez et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Graph Structures for Knowledge Representation and Reasoning
Michael Cochez et al. (editors)
No Faves
Read it Now

Foundations of Software Science and Computation Structures

Stefan Kiefer and Christine Tasson, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Stefan Kiefer and Christine Tasson, editors
No Faves
Read it Now