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...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2013, c2013
|
| Series: | (Lecture Notes in Computer Science ;
8070) |
| Temas: | |
| Acceso en liña: | Ver documento en línea |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000429779 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526144639.455 | ||
| 020 | |a 978-3-642-40164-0 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a 005. 101 |b FCT 2013 | ||
| 111 | |a International Symposium on Fundamentals of Computation Theory ( |n 19° : |d 2013 : |c Liverpool, Reino Unido) | ||
| 245 | 1 | 0 | |a Fundamentals of Computation Theory : |b 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / |c Ed. de L. Gąsieniec, F. Wolter |
| 264 | 4 | |a Berlín, Alemania : |b Springer, |c 2013, c2013 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2013 | |
| 300 | |a 1 libro electrónico en línea (XI, 318 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8070) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a 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 autómatas matemáticos. | ||
| 649 | |a XX | ||
| 650 | |a Algoritmos Computacionales | ||
| 650 | |a Lenguajes Formales | ||
| 650 | |a Autómatas Matemáticos - |x Teoría - |x Congresos - |x Tema Principal | ||
| 650 | |a Lógica Matemática | ||
| 650 | |a Lógica Formal | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Informática | ||
| 650 | |a Inteligencia Artificial | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Gąsieniec, Leszek |e (edición) | ||
| 700 | |a Wolter, Frank |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-40164-0 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 429779-1 |b IT2 |c EBO |i C172346 |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000429779 | ||