Feedback

X
#1

keyword: automata theory – 13 free books.

badge for CC BY These Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.

You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

  • View As:
  • view list
  • view icon

Automated Reasoning

Jasmin Blanchette et al. (editors)

AVAILABLE!
Book cover
Jasmin Blanchette et al. (editors)

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

AVAILABLE!
Book cover
Brigitte Pientka and Cesare Tinelli, editors

Algebraic Structures and Graph Theory

Irina Cristea and Hashem Bordbar, editors

AVAILABLE!
Book cover
Irina Cristea and Hashem Bordbar, editors

Programming Languages and Systems

Ilya Sergey (editor)

AVAILABLE!
Book cover
Ilya Sergey (editor)

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

AVAILABLE!
Book cover
André Platzer and Geoff Sutcliffe, editors

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors

Foundations of Software Science and Computation Structures

Stefan Kiefer and Christine Tasson, editors

AVAILABLE!
Book cover
Stefan Kiefer and Christine Tasson, editors