Copertina
Codice QR

Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : Proceedings /

Selección de ponencias de la octava Conferencia Internacional sobre Informática Teórica, celebrada en Roma, Italia, en septiembre de 2014. Las colaboraciones abordan temas relacionados con los aspectos teóricos de la computación, entre los que destacan, algoritmos, complejidad y modelos de computaci...

Descrizione completa

Salvato in:
Ente Autore: International Conference on Theoretical Computer Science ( Roma, Italia)
Altri autori: Diaz, Josep (edición) (edición)
Natura: Atti del Convegno Libro
Lingua:inglese
Pubblicazione: Heidelberg, Alemania : Springer, 2014, c2014
Serie:(Lecture Notes in Computer Science ; 8705)
Soggetti:
Inteligencia Artificial
Semántica - > Aspectos Tecnológicos
Paquetes (Software) - > Prueba y Medición
Sistemas Computacionales - > Prueba y Medición
Complejidad Computacional
Codificación - > Teoría
Algoritmos Computacionales
Autómatas Matemáticos - > Teoría
Lógica Matemática
Modelos Matemáticos
Ingeniería Computacional - > Congresos - > Tema Principal
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC

LEADER 00000nam^a2200000^a^4500
001 000571610
005 20251023000000.0
009 20260310132252.041
020 |a 978-3-662-44602-7 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Conference on Theoretical Computer Science (  |n 8a :  |d 2014 :  |c Roma, Italia) 
245 1 0 |a Theoretical Computer Science :  |b 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : Proceedings /  |c Ed. de J. Diaz... [et al.]. 
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 (XVI, 355 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 8705) 
506 0 |a Licencias ilimitadas 
520 |a Selección de ponencias de la octava Conferencia Internacional sobre Informática Teórica, celebrada en Roma, Italia, en septiembre de 2014. Las colaboraciones abordan temas relacionados con los aspectos teóricos de la computación, entre los que destacan, algoritmos, complejidad y modelos de computación, lógica, semántica, especificación y verificación. 
649 |a XX 
650 |a Inteligencia Artificial 
650 |a Semántica -  |x Aspectos Tecnológicos 
650 |a Paquetes (Software) -  |x Prueba y Medición 
650 |a Sistemas Computacionales -  |x Prueba y Medición 
650 |a Complejidad Computacional 
650 |a Codificación -  |x Teoría 
650 |a Algoritmos Computacionales 
650 |a Autómatas Matemáticos -  |x Teoría 
650 |a Lógica Matemática 
650 |a Modelos Matemáticos 
650 |a Ingeniería Computacional -  |x Congresos -  |x Tema Principal 
700 |a Diaz, Josep  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-662-44602-7  |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 571610-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000571610 

Documenti analoghi