Resultados de búsquedaBases de datos
2 Resultados encontrados Suscribirse a los resultados de búsqueda
Seleccionar todo
Cambiar a vista de lista
Cambiar a vista en miniatura
00DEFAULT
Imprimir
1. 
Imagen de portada para The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Autor 
Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Signatura topográfica preferida 
QA76.9 .U83
ISBN 
9783319518381
Full Text Available From Springer Nature Computer Science 2017 Packages
Formato: 
Recursos electrónicos
Disponible:
2. 
Imagen de portada para Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation
Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation
Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation
Autor 
Goldreich, Oded. author. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Signatura topográfica preferida 
QA75.5 -76.95
ISBN 
9783642226700
Full Text Available From Springer Nature Computer Science 2011 Packages
Formato: 
Recursos electrónicos
Disponible:
Seleccionar todo
2 Resultados encontrados Suscribirse a los resultados de búsqueda
Limitar resultados de búsqueda
Autor
Idioma
Fecha de publicación
Este gráfico muestra la distribución de las fechas de publicación para su uso con un deslizador de rango de fechas. Cambie a la vista Años para un desglose más detallado de los resultados de la búsqueda por año.
-
Materia
Tipo de material
Ubicación en el estante
Biblioteca