Limit Search Results
Author
SpringerLink (Online service)
(24)
Maciaszek, Leszek A. editor.
(3)
Filipe, Joaquim. editor.
(2)
Reed, Rick. editor.
(2)
Beckert, Bernhard. editor.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
24 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335217.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45422-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335227.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Author 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333246.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Author 
Jörges, Sven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Author 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number 
ONLINE(334979.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Author 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335141.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Availability 
Online Library~1
Available:
Copies: