Feedback

X
#1

keyword: Formal languages – 12 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

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
No Faves
Read it Now

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
No Faves
Read it Now

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, 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)
Faved by 1
Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, 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

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, 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

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Programming Languages and Systems

Peter Müller

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Peter Müller
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