Limit Search Results
Author
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519008.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Recommendation and Search in Social Networks
Recommendation and Search in Social Networks
Author 
Ulusoy, Özgür. editor. Tansel, Abdullah Uz. editor. Arkun, Erol. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518505.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14379-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519184.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies: