Limit Search Results
Author
SpringerLink (Online service)
(100)
Aldini, Alessandro. editor.
(4)
Gorrieri, Roberto. editor.
(4)
Maciaszek, Leszek A. editor.
(4)
Reed, Rick. editor.
(4)
Language
English
(100)
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
100 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Author 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79108-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
Author 
Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Author 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334691.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Author 
Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334562.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38230-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Author 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Drira, Khalil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334714.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Author 
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number 
ONLINE(335120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41533-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets