Ejemplares similares: An Introduction to Formal Languages and Automata /
- An Introduction to Formal Languages and Automata /
- Introducción a la teoría de la computación : autómatas y lenguajes formales /
- Introduction to the Theory of Computation /
- Formal Languages and Computation : Models and Their Applications /
- Automata, Formal Languages, and Turing Machines /
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Tópico: Autómatas Matemáticos - Teoría - Tema Principal
- Constructivity and Computability in Historical and Philosophical Perspective /
- Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014 Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
- Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings /
- Belief Functions, Theory andApplications : Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014 : Proceedings /
- Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014 : Proceedings /