Limit Search Results
Author
SpringerLink (Online service)
(552)
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
Computer science.
(517)
Computer Communication Networks.
(288)
Software engineering.
(288)
Computer software.
(129)
Information systems.
(127)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
552 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Author 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334870.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Author 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Author 
Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number 
ONLINE(334939.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40395-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Author 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number 
ONLINE(335216.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Author 
Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Author 
Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30633-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Author 
Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author 
Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Author 
Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31202-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Author 
Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25271-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28879-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Author 
Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28891-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action