Limit Search Results
Author
Language
Publication Date
-
2013
(4)
Subject
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 Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings
Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings
Author 
Bursa, Miroslav. editor. Khuri, Sami. editor. Renda, M. Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334891.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40093-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Unsupervised Classification Similarity Measures, Classical and Metaheuristic Approaches, and Applications
Unsupervised Classification Similarity Measures, Classical and Metaheuristic Approaches, and Applications
Author 
Bandyopadhyay, Sanghamitra. author. Saha, Sriparna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333576.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32451-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies: