Limit Search Results
Author
SpringerLink (Online service)
(157)
Peters, Carol. editor.
(7)
Kamps, Jaap. editor.
(5)
Lalmas, Mounia. editor.
(5)
Maciaszek, Leszek A. editor.
(5)
Language
English
(157)
Publication Date
-
Subject
Software engineering.
(72)
System Performance and Evaluation.
(65)
Computer system performance.
(59)
Computer Communication Networks.
(40)
Artificial intelligence.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
157 Results Found Subscribe to search results
000000000000DEFAULT
Print
109. 
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:
110. 
Cover image for Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Author 
Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46433-6
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Author 
van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Author 
Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45823-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Guide to Modeling and Simulation of Systems of Systems
Guide to Modeling and Simulation of Systems of Systems
Author 
Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330586.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
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:
116. 
Cover image for The Effects of Traffic Structure on Application and Network Performance
The Effects of Traffic Structure on Application and Network Performance
Author 
Aikat, Jay. author. Jeffay, Kevin. author. Smith, F. Donelson. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331287.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1848-1
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Autonomic Computing Principles, Design and Implementation
Autonomic Computing Principles, Design and Implementation
Author 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Model-based Health Monitoring of Hybrid Systems
Model-based Health Monitoring of Hybrid Systems
Author 
Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332270.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers
Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers
Author 
Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03874-2
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Author 
Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333884.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34688-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action