Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 20.620 registro(s)

Filtros temática quitar todos
libros
Agregar a Mi catálogo

Comparative Genomics: RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007. Proceedings

Más información

ISBNs: 978-3-540-74959-2 (impreso) 978-3-540-74960-8 (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 - Ciencias biológicas - Medicina clínica  

libros
Agregar a Mi catálogo

Comparative Genomics: RECOMB 2006 International Workshop, RECOMB-CG 2006, Montreal, Canada, September 24-26, 2006, Proceedings

Más información

ISBNs: 978-3-540-44529-6 (impreso) 978-3-540-44530-2 (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 - Ciencias sociales - Sociología - Ciencia política  

libros
Agregar a Mi catálogo

Comparative Genomics: RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings

Más información

ISBNs: 978-3-540-28932-6 (impreso) 978-3-540-31814-9 (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 - Medios de comunicación  

tesis Acceso Abierto
Agregar a Mi catálogo

Compilación de programas seguros

Más información
Autores/as: Enrique Molinari ; Eduardo Bonelli ; Gustavo Héctor Rossi

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2010 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

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

Este trabajo primero presenta un lenguaje de alto nivel junto con un sistema de tipos que garantiza que los programas bien tipados satisfacen no-interferencia. Luego presenta un lenguaje de bajo nivel basado en Typed Assembly Language, al que denominamos SecTAL (Secure Typed Assembly Language), junto con un sistema de tipos que satisface propiedades similares. Finalmente, presenta una función de compilación junto con una demostración de que preserva la propiedad de no-interferencia. La función de compilación ha sido implementada al igual que un chequeador de tipos para SecTAL1. Las contribuciones pueden resumirse de la siguiente manera: La definición de una función de compilación de un lenguaje imperativo sencillo hacia un lenguaje de bajo nivel basado en Typed Assembly Language. La prueba de un resultado de preservación de tipado que muestra que si el programa fuente es bien tipado (y por ende seguro) también lo será el resultado de compilar el mismo.
libros
Agregar a Mi catálogo

Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings./

Más información

ISBNs: 978-3-540-71228-2 (impreso) 978-3-540-71229-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  

libros
Agregar a Mi catálogo

Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Proceedings

Más información

ISBNs: 978-3-540-25411-9 (impreso) 978-3-540-31985-6 (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  

libros
Agregar a Mi catálogo

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings^

Más información

ISBNs: 978-3-540-33050-9 (impreso) 978-3-540-33051-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 básica - Medicina clínica  

libros
Agregar a Mi catálogo

Complex Light

Más información

ISBNs: 978-0-7503-1524-1 (impreso) 978-0-7503-1371-1 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2017 IOPScience

Cobertura temática: Matemáticas - Ciencias de la computación e información - Ciencias físicas - Ingeniería médica  

The emerging field of complex light{#x2014}the study and application of custom light beams with tailored intensity, polarization or phase{#x2014}is a focal point for fundamental breakthroughs in optical science. As this review will show, those advances in fundamental understanding, coupled with the latest developments in complex light generation, are translating into a range of diverse and cross-disciplinary applications that span microscopy, high-data-rate communications, optical trapping and quantum optics. We can expect more twists along the way, too, as researchers seek to manipulate and control the propagation speed of complex light beams, while others push the more exotic possibilities afforded by complex light in quantum-entanglement experiments.
libros
Agregar a Mi catálogo

Complex Motion: First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers

Más información

ISBNs: 978-3-540-69864-7 (impreso) 978-3-540-69866-1 (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 médica - Medicina básica - Medicina clínica  

libros
Agregar a Mi catálogo

Complex Scheduling

Más información

ISBNs: 978-3-540-29545-7 (impreso) 978-3-540-29546-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 - Ciencias físicas - Economía y negocios