Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Selección de 29 artículos arbitrados presentados en el XIX Simposio Internacional sobre Fundamentos de la Teoría de la Computación, celebrado en la ciudad de Liverpool del 19 al 21 de agosto de 2013. En ellos se discuten los últimos avances en algoritmos, lenguajes formales y campos emergentes de au...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Atti del Convegno Libro |
| Lingua: | inglese |
| Pubblicazione: |
Berlín, Alemania :
Springer,
2013, c2013
|
| Serie: | (Lecture Notes in Computer Science ;
8070) |
| Soggetti: | |
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Fundamentals of Computation Theory :
- Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /
- Theory and Applications of FormalArgumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : Revised Selected Papers /
- Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : Proceedings /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
- Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings /
- 25 Years of Model Checking : History, Achievements, Perspectives /