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...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Konferans Sunumu Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Seri Bilgileri: | (Lecture Notes in Computer Science ;
8704) |
| Konular: | |
| Online Erişim: | Ver documento en línea |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000554029 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152612.18 | ||
| 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 | ||