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...
Guardado en:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Procedimiento de la conferencia Bog |
| Sprog: | engelsk |
| Udgivet: |
Berlín, Alemania :
Springer,
2013, c2013
|
| Serier: | (Lecture Notes in Computer Science ;
8070) |
| Fag: | |
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000429779 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310122906.711 | ||
| 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 | ||