Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 4.320 registro(s)

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

Forced Migration and Mental Health: Rethinking the Care of Refugees and Displaced Persons

Más información

ISBNs: 978-0-387-22692-7 (impreso) 978-0-387-22693-4 (en línea)

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

Cobertura temática: Matemáticas - Ingeniería eléctrica, electrónica e informática - Ciencias sociales - Psicología y ciencias cognitivas  

libros Acceso Abierto
Agregar a Mi catálogo

Forecasting and Assessing Risk of Individual Electricity Peaks

Más información

ISBNs: 978-3-030-28668-2 (impreso) 978-3-030-28669-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2020 SpringerLink acceso abierto

Cobertura temática: Matemáticas  

libros Acceso Abierto
Agregar a Mi catálogo

Forecasting and Assessing Risk of Individual Electricity Peaks

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ciencias naturales - Matemáticas - Ingeniería y tecnología - Ingeniería eléctrica, electrónica e informática  

libros Acceso Abierto
Agregar a Mi catálogo

Forecasting in Mathematics: Recent Advances, New Perspectives and Applications

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ciencias naturales - Matemáticas  

libros
Agregar a Mi catálogo

Forensic Anthropology and Medicine: Complementary Sciences From Recovery to Cause of Death

Más información

ISBNs: 978-1-58829-824-9 (impreso) 978-1-59745-099-7 (en línea)

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

Cobertura temática: Matemáticas - Ciencias de la salud  

libros
Agregar a Mi catálogo

Forensic Neuropathology and Associated Neurology

Más información

ISBNs: 978-3-540-23500-2 (impreso) 978-3-540-28995-1 (en línea)

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

Cobertura temática: Matemáticas - Ingeniería civil - Medicina básica - Medicina clínica - Ciencias de la salud  

libros
Agregar a Mi catálogo

Forensic Pathology Reviews

Más información

ISBNs: 978-1-58829-601-6 (impreso) 978-1-59259-921-9 (en línea)

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

Cobertura temática: Matemáticas - Ciencias de la salud  

libros Acceso Abierto
Agregar a Mi catálogo

Forest Biodiversity, Conservation and Sustainability

Más información

978-3-0365-0329-5 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Matemáticas - Ciencias de la tierra y ciencias ambientales relacionadas - Ciencias biológicas - Ingeniería y tecnología - Ingenieria ambiental  

tesis Acceso Abierto
Agregar a Mi catálogo

Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas

Más información
Autores/as: Carlos Gustavo López Pombo ; Marcelo Fabián Frias

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2007 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto

Cobertura temática: Matemáticas  

Las lógicas han sido usadas como sistemas formales para especificar sistemas de software. Más aun, las especificaciones lógicas, por ser formales, contribuyen en la aplicación de métodos técnicas correctas de verificación. Diversos formalismos han sido desarrollados para lidiar con estos aspectos y muchos de ellos son eficientes en describir ciertas características de los sistemas de software. Por ejemplo, la lógica temporal, proposicional y de primer order, consigue describir la forma en la que los sistemas de software evolucionan en el tiempo. La lógica dinámica también permite la especificación de sistemas pero lo hace describiendo cómo los programas transforman el estado del sistema. Estos son sólo algunos ejemplos de cómo una lógica particular permite la especificación de determinados comportamientos de un sistema. La pregunta interesante acerca de este hecho es: Existe un lenguaje ideal para especificar el comportamiento de un sistema? A pesar de que no vamos a concentrarnos en responder esta pregunta, creemos que ese lenguaje debe tener una sintaxis clara y una semántica fácil de entender, con el propósito de facilitar la comprensión de especificaciones y la aplicación de métodos formales. Entre las propuestas que recopilamos, las instituciones se imponen como un formalismo para razonar entre lógicas, y una institución universal, que permita razonar entre las lógicas interesantes sería la respuesta a nuestra pregunta. En esta tesis mostraremos que una definición adecuada de la institución de las fork algebras es útil para razonar entre diversas lógicas proposicionales y de primer orden que aparecen frecuentemente en la especificación de software.
libros
Agregar a Mi catálogo

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

Más información

ISBNs: 978-3-540-75226-4 (impreso) 978-3-540-75227-1 (en línea)

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

Cobertura temática: Matemáticas - Ciencias de la computación e información - Ciencias físicas