Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Author 
Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-59565-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Author 
Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29485-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Technologies for Interactive Entertainment 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings
Intelligent Technologies for Interactive Entertainment 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings
Author 
Chisik, Yoram. editor. Holopainen, Jussi. editor. Khaled, Rilla. editor. Luis Silva, José. editor. Alexandra Silva, Paula. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73062-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Creativity and HCI: From Experience to Design in Education
Creativity and HCI: From Experience to Design in Education
Author 
Kotzé, Paula. editor. Wong, William. editor. Jorge, Joaquim. editor. Dix, Alan. editor. Silva, Paula Alexandra. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-89022-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets