Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
Selección de ponencias presentadas en el trigésimo noveno Simposio Internacional sobre Fundamentos Matemáticos de la Informática, celebrado en Budapest, Hungría, en agosto de 2014. Los artículos incluidos en esta primera parte se enfocan principalmente en lógica, semántica, autómatas y teoría de la...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Atti del Convegno Libro |
| Lingua: | inglese |
| Pubblicazione: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Serie: | (Lecture Notes in Computer Science ;
8634) |
| Soggetti: | |
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000564370 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132024.786 | ||
| 020 | |a 978-3-662-44522-8 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Symposium on Mathematical Foundations of Computer Science ( |n 39° : |d 2014 : |c Budapest, Hungría) | ||
| 245 | 1 | 0 | |a Mathematical Foundations of Computer Science 2014 : |b 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I / |c Ed. de E. Csuhaj-Varjú, M. Dietzfelbinger, Z. Ésik. |
| 264 | 4 | |a Heidelberg, Alemania : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (XXVI, 561 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 8634) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias presentadas en el trigésimo noveno Simposio Internacional sobre Fundamentos Matemáticos de la Informática, celebrado en Budapest, Hungría, en agosto de 2014. Los artículos incluidos en esta primera parte se enfocan principalmente en lógica, semántica, autómatas y teoría de la programación. | ||
| 649 | |a XX | ||
| 650 | |a Computadoras Cuánticas | ||
| 650 | |a Gramática Categorial | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Lenguajes Formales | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Algoritmos Computacionales | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Teoría de Juegos | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Lógica Combinatoria | ||
| 650 | |a Lógica Matemática - |x Congresos - |x Tema Principal | ||
| 650 | |a Modelos Matemáticos - |x Congresos - |x Tema Principal | ||
| 650 | |a Programación (Matemáticas) | ||
| 650 | |a Algoritmos | ||
| 650 | |a Informática | ||
| 650 | |a Ingeniería Computacional | ||
| 650 | |a Matemáticas | ||
| 700 | |a Csuhaj-Varjú, Erzsébet |e (edición) | ||
| 700 | |a Dietzfelbinger, Martin |e (edición) | ||
| 700 | |a Ésik, Zoltán |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-662-44522-8 |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 564370-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000564370 | ||