Posted by **thingska** at April 10, 2017

English | 2015 | ISBN: 3319155784 | 754 Pages | PDF | 15.10 MB

Posted by **AlenMiler** at Aug. 6, 2016

English | 8 Aug. 2016 | ISBN: 3662529467 | 228 Pages | PDF (True) | 3.15 MB

The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information.

Posted by **roxul** at July 25, 2016

English | ISBN: 3319299999 | 2016 | 640 pages | PDF | 11 MB

Posted by **andr1078** at May 14, 2015

Publisher: Springer | English | 2015 | ISBN:3319155784 | 754 pages | PDF | 15.1 MB

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015.

Posted by **Bayron** at March 31, 2014

English | 2009 | ISBN: 0521844258 | 782 pages | PDF | 6 MB

Posted by **interes** at Oct. 31, 2012

English | 2011 | 525 Pages | ISBN: 3642212530 | PDF | 7 MB

This book constitutes the refereed proceedings of the 5th International Conference on Language and Automata Theory and Applications, LATA 2011, held in Tarragona, Spain in May 2011. The 36 revised full papers presented together with four invited articles were carefully selected from 91 submissions. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.

Posted by **viserion** at March 26, 2012

Publisher: Sp//n..r | ISBN: 3642276407 | 2012 | PDF | 248 pages | 2 MB

Posted by **tot167** at June 28, 2009

Springer | 2008 | ISBN: 3540882812 | 500 pages | PDF | 7,7 MB

Posted by **misirac** at May 7, 2007

by Ganesh Gopalakrishnan

Springer | ISBN: 0387244182 | 2006. | 492 p. | RARed | PDF | 3.57MB

The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge.

Posted by **misirac** at May 5, 2007

Springer | ISBN: 0387244182 | 2006. | 492 p. | RARed | PDF | 3.57MB

The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge.