Registos relacionados: The Turing Omnibus :
- Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings /
- Formal Languages and Compilation /
- LATIN 2014 : Theoretical Informatics : 11th Latin American Symposium Montevideo, Uruguay, March 31–April 4, 2014 : Proceedings /
- Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10–12, 2014 : Revised Selected Papers /
- Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /
- Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : Proceedings, Part I /