Limit Search Results
Author
SpringerLink (Online service)
(43)
Noble, James. editor.
(2)
Albert, Elvira. editor.
(1)
Barnes, John. author.
(1)
Bensalem, Saddek. editor.
(1)
Language
Publication Date
-
2013
(43)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Author 
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334069.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35861-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Author 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Transactions on Aspect-Oriented Software Development X
Transactions on Aspect-Oriented Software Development X
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334333.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334652.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38700-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Author 
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334706.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334711.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action