Search ResultsOther Libraries
2 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
00DEFAULT
Print
1. 
Cover image for 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
Author 
Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Call Number 
QA76.9 .U83
Electronic Access 
Full Text Available From Springer Nature Computer Science 2017 Packages
Format: 
Electronic Resources
Available:
2. 
Cover image for 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
Author 
Goldreich, Oded. author. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Call Number 
QA75.5 -76.95
Electronic Access 
Full Text Available From Springer Nature Computer Science 2011 Packages
Format: 
Electronic Resources
Available:
Select All
2 Results Found Subscribe to search results
Limit Search Results
Author
Language
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Subject
Material Type
Shelf Location
Library