Omslagsbillede
Código 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...

Fuld beskrivelse

Guardado en:
Institution som forfatter: International Conference on Theoretical Computer Science ( Roma, Italia)
Andre forfattere: Diaz, Josep (edición) (edición)
Format: Procedimiento de la conferencia Bog
Sprog:engelsk
Udgivet: Heidelberg, Alemania : Springer, 2014, c2014
Serier:(Lecture Notes in Computer Science ; 8705)
Fag:
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
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

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 

Lignende værker