Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 166.819 registro(s)


Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Más información

ISBNs: 978-3-540-32654-0 (impreso) 978-3-540-32656-4 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Más información

ISBNs: 978-3-540-26655-6 (impreso) 978-3-540-31683-1 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática  


Logic for Programming, Aritficial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Más información

ISBNs: 978-3-540-48281-9 (impreso) 978-3-540-48282-6 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la computación e información - Medicina clínica  


Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Más información

ISBNs: 978-3-540-75558-6 (impreso) 978-3-540-75560-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Más información

ISBNs: 978-3-540-30553-8 (impreso) 978-3-540-31650-3 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ciencias químicas - Ingeniería eléctrica, electrónica e informática - Ingeniería mecánica  


Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Más información

ISBNs: 978-3-540-25236-8 (impreso) 978-3-540-32275-7 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


actas de congreso
Agregar a Mi catálogo

Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on

Más información

ISBNs: 978-1-4244-7588-9 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2010 IEEE Xplore

Cobertura temática: Ciencias de la computación e información - Otras ingenierías y tecnologías  


actas de congreso
Agregar a Mi catálogo

Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on

Más información

ISBNs: 978-1-4577-0451-2 (impreso) 978-0-7695-4412-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2011 IEEE Xplore

Cobertura temática: Ciencias de la computación e información - Otras ingenierías y tecnologías - Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  


actas de congreso
Agregar a Mi catálogo

Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on

Más información

ISBNs: 978-1-4673-2263-8 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2012 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  


actas de congreso
Agregar a Mi catálogo

Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on

Más información

ISBNs: 978-1-4799-0413-6 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ciencias de la computación e información