Limit Search Results
Author
SpringerLink (Online service)
(36)
Peyrin, Thomas. editor.
(4)
Takagi, Tsuyoshi. editor.
(3)
Hirt, Martin. editor.
(2)
Katz, Jonathan. editor.
(2)
Language
Publication Date
-
2016
(21)
2017
(14)
2025
(1)
Subject
Electronic data processing -- Management.
(36)
Computer science.
(22)
Software engineering.
(22)
Computer Science Logic and Foundations of Programming.
(18)
Computer networks .
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Author 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Author 
Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28934-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Author 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers
Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers
Author 
Helfert, Markus. editor. Méndez Muñoz, Víctor. editor. Ferguson, Donald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29582-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I
Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I
Author 
Hirt, Martin. editor. Smith, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53641-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers
Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers
Author 
Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52993-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Author 
Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Author 
Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings
Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings
Author 
Daneva, Maya. editor. Pastor, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Author 
Bonakdarpour, Borzoo. editor. Petit, Franck. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49259-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II
Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II
Author 
Hirt, Martin. editor. Smith, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53644-5
Format: 
Availability 
Online Library~1
Available:
Copies: