Limit Search Results
Author
SpringerLink (Online service)
(227)
Bonsangue, Marcello M. editor.
(9)
de Boer, Frank S. editor.
(6)
Romanovsky, Alexander. editor.
(5)
Barthès, Jean-Paul A. editor.
(4)
Language
Publication Date
-
2005
(48)
2006
(41)
2007
(29)
2008
(26)
2013
(22)
Subject
Operating Systems.
(227)
Software engineering.
(199)
Computer networks .
(145)
Computer Communication Networks.
(134)
Computer science.
(72)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
227 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings
Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings
by 
Fraser, Gordon. editor.
https://doi.org/10.1007/978-3-642-33119-0
Format: 
Excerpt: 
Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda
38. 
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
by 
Pankratius, Victor. editor.
https://doi.org/10.1007/978-3-642-31202-1
Format: 
Excerpt: 
Multicore Software Engineering, Performance and Tools International Conference, MSEPT 2012, Prague
39. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34032-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
40. 
Cover image for Software Engineering for Resilient Systems Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings
Software Engineering for Resilient Systems Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings
by 
Avgeriou, Paris. editor.
https://doi.org/10.1007/978-3-642-33176-3
Format: 
Excerpt: 
Software Engineering for Resilient Systems Fourth International Workshop, SERENE 2012, Pisa, Italy
41. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
by 
Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-642-25271-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
42. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34026-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
43. 
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
by 
Goodloe, Alwyn. editor.
https://doi.org/10.1007/978-3-642-28891-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
44. 
Cover image for Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings
Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings
by 
Park, James J. editor.
https://doi.org/10.1007/978-3-642-35606-3
Format: 
Excerpt: 
Theoretical Computer Science and General Issues,
45. 
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
by 
Li, Ruixuan. editor. (orcid)0000-0002-7791-5511
https://doi.org/10.1007/978-3-642-30767-6
Format: 
Excerpt: 
Theoretical Computer Science and General Issues,
46. 
Cover image for Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge
Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge
by 
Czernohous, Christoph. author.
https://doi.org/10.1007/978-3-540-68426-8
Format: 
Excerpt: 
Computer System Implementation.
47. 
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
by 
Sadre, Ramin. editor.
https://doi.org/10.1007/978-3-642-30633-4
Format: 
Excerpt: 
Computer Communication Networks and Telecommunications,
48. 
Cover image for Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011, Proceedings
Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011, Proceedings
by 
Chrisment, Isabelle. editor.
https://doi.org/10.1007/978-3-642-21484-4
Format: 
Excerpt: 
Computer Communication Networks and Telecommunications,
Select an Action