Limit Search Results
Author
Language
Publication Date
-
2013
(5)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Transactions on Computational Science XVII
Transactions on Computational Science XVII
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334063.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35840-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings
On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings
Author 
Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.
Preferred Shelf Number 
ONLINE(335044.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41030-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Outlier Analysis
Outlier Analysis
Author 
Aggarwal, Charu C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332026.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6396-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for SmartData Privacy Meets Evolutionary Robotics
SmartData Privacy Meets Evolutionary Robotics
Author 
Harvey, Inman. editor. Cavoukian, Ann. editor. Tomko, George. editor. Borrett, Don. editor. Kwan, Hon. editor.
Preferred Shelf Number 
ONLINE(332030.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6409-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets