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...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín, Alemania :
Springer,
2013, c2013
|
| Col·lecció: | (Lecture Notes in Computer Science ;
8070) |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Fundamentals of Computation Theory :
- Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
- Theory and Applications of FormalArgumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : Revised Selected Papers /
- 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 /
- Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : Proceedings /
- 25 Years of Model Checking : History, Achievements, Perspectives /