CONCUR 2014, Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : Proceedings /
Ponencias presentadas en la vigésima quinta Conferencia Internacional sobre Teoría de la Concurrencia, celebrada en Roma, Italia, en septiembre de 2014. Los artículos que se presentan en esta selección abordan diversos temas relacionados con la teoría de la concurrencia, entre los que destacan el pr...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Konferenssijulkaisu Kirja |
| Kieli: | englanti |
| Julkaistu: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Sarja: | (Lecture Notes in Computer Science ;
8704) |
| Aiheet: | |
| Linkit: | Ver documento en línea |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000554029 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310131650.415 | ||
| 020 | |a 978-3-662-44584-6 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Concurrency Theory ( |n 25a : |d 2014 : |c Roma, Italia) | ||
| 245 | 1 | 0 | |a CONCUR 2014, Concurrency Theory : |b 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : Proceedings / |c Ed. de P. Baldan, D. Gorla. |
| 264 | 4 | |a Heidelberg, Alemania : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014, c2014 | |
| 300 | |a 1 libro electrónico en línea (XXII, 594 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 8704) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Ponencias presentadas en la vigésima quinta Conferencia Internacional sobre Teoría de la Concurrencia, celebrada en Roma, Italia, en septiembre de 2014. Los artículos que se presentan en esta selección abordan diversos temas relacionados con la teoría de la concurrencia, entre los que destacan el proceso de cálculos, síntesis espectral, modelos cuantitativos, autómatas y complejidad computacional; así como categorías, grafos, sistemas cuánticos y juegos. | ||
| 649 | |a XX | ||
| 650 | |a Teoría de Juegos | ||
| 650 | |a Computadoras Cuánticas | ||
| 650 | |a Teoría de Grafos | ||
| 650 | |a Categorías (Matemáticas) | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Síntesis Espectral (Matemáticas) | ||
| 650 | |a Lógica Matemática | ||
| 650 | |a Modelos Matemáticos | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Redes de Petri | ||
| 650 | |a Redes (Matemáticas) - |x Congresos - |x Tema Principal | ||
| 650 | |a Redes (Matemáticas) - |x Tema Principal | ||
| 650 | |a Teoría de Conjuntos | ||
| 650 | |a Matemáticas | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Baldan, Paolo |e (edición) | ||
| 700 | |a Gorla, Daniele |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-662-44584-6 |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 554029-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000554029 | ||