Limit Search Results
Author
SpringerLink (Online service)
(43)
Avgeriou, Paris. editor.
(2)
Cuzzocrea, Alfredo. editor.
(2)
Damiani, Ernesto. editor.
(2)
Dillon, Tharam. editor.
(2)
Language
Subject
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18070-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Author 
Strang, Thomas. editor. Festag, Andreas. editor. Vinel, Alexey. editor. Mehmood, Rashid. editor. Rico Garcia, Cristina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19786-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19811-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Author 
Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19829-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Author 
Butler, Michael. editor. Schulte, Wolfram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21437-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
Author 
France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21470-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for End-User Development Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings
End-User Development Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings
Author 
Costabile, Maria Francesca. editor. Dittrich, Yvonne. editor. Fischer, Gerhard. editor. Piccinno, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21530-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Transactions on Aspect-Oriented Software Development VIII
Transactions on Aspect-Oriented Software Development VIII
Author 
Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Towards a Service-Based Internet. ServiceWave 2010 Workshops International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
Towards a Service-Based Internet. ServiceWave 2010 Workshops International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
Author 
Cezon, Michel. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22760-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23391-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithms and Architectures for Parallel Processing 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I
Author 
Xiang, Yang. editor. Cuzzocrea, Alfredo. editor. Hobbs, Michael. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24650-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Algorithms and Architectures for Parallel Processing 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
Author 
Xiang, Yang. editor. Cuzzocrea, Alfredo. editor. Hobbs, Michael. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24669-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action