Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings
Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings
Author 
Bellatreche, Ladjel. editor. Chakravarthy, Sharma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64283-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Information Science and Applications
Information Science and Applications
Author 
Kim, Kuinam J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46578-3
Format: 
Availability 
Online Library~1
Available:
Copies: