Limit Search Results
Author
SpringerLink (Online service)
(25)
Milutinovic, Veljko. author.
(2)
Agüero, Ramón. editor.
(1)
Antonopoulos, Nick. editor.
(1)
Babovic, Zoran. author.
(1)
Language
Publication Date
-
Subject
Electronic digital computers -- Evaluation.
(24)
Algorithms.
(15)
Computer networks .
(12)
Computer Communication Networks.
(11)
Application software.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
25 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Data-Driven Technology for Engineering Systems Health Management Design Approach, Feature Construction, Fault Diagnosis, Prognosis, Fusion and Decisions
Data-Driven Technology for Engineering Systems Health Management Design Approach, Feature Construction, Fault Diagnosis, Prognosis, Fusion and Decisions
Author 
Niu, Gang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cloud Computing Principles, Systems and Applications
Cloud Computing Principles, Systems and Applications
Author 
Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54645-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Author 
de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61470-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Data Mining and Big Data Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings
Data Mining and Big Data Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61845-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings
Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings
Author 
Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Papadimitriou, Panagiotis. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33936-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Author 
Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Author 
Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43144-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks
Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks
Author 
Murty, M.N. author. Raghava, Rashmi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41063-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
Author 
Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45550-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Machine Learning, Optimization, and Big Data Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers
Machine Learning, Optimization, and Big Data Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers
Author 
Pardalos, Panos M. editor. Conca, Piero. editor. Giuffrida, Giovanni. editor. Nicosia, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51469-7
Format: 
Availability 
Online Library~1
Available:
Copies: