Limit Search Results
Author
SpringerLink (Online service)
(517)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Language
Publication Date
-
2005
(98)
2006
(90)
2009
(56)
2008
(53)
2007
(52)
Subject
Operating systems (Computers).
(517)
Computer Communication Networks.
(286)
Software engineering.
(279)
Computer software.
(127)
Information systems.
(126)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
518 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation
The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation
Author 
ASC Community. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3731-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Handbook of Model Checking
Handbook of Model Checking
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author 
Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92612-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings
Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings
Author 
Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93000-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings
Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings
Author 
Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93411-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Author 
Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75178-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Privacy and Security for Cloud Computing
Privacy and Security for Cloud Computing
Author 
Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330926.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Energy-Efficient High Performance Computing Measurement and Tuning
Energy-Efficient High Performance Computing Measurement and Tuning
Author 
Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number 
ONLINE(330991.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Requirements Engineering and Management for Software Development Projects
Requirements Engineering and Management for Software Development Projects
Author 
Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computer Performance Optimization Systems - Applications - Processes
Computer Performance Optimization Systems - Applications - Processes
Author 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29971-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action