Résultats de rechercheBases de données
2 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
00DEFAULT
Imprimer
1. 
Image de couverture de 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
Auteur 
Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.9 .U83
ISBN (Numéro international normalisé des livres) 
9783319518381
Full Text Available From Springer Nature Computer Science 2017 Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de 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
Auteur 
Goldreich, Oded. author. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783642226700
Full Text Available From Springer Nature Computer Science 2011 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
2 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
Sujet
Type de document
Emplacement
Bibliothèque