Limit Search Results
Author
SpringerLink (Online service)
(59)
Giannakopoulou, Dimitra. editor.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Schaefer, Ina. editor.
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Language
Publication Date
-
2014
(40)
2019
(19)
2012
(1)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Author 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Author 
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31038-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Author 
Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Author 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31517-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Author 
Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19052-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Author 
Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Author 
Garrigue, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12736-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Author 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action