Limit Search Results
Author
SpringerLink (Online service)
(72)
Artho, Cyrille. editor.
(2)
De Nicola, Rocco. editor.
(2)
Liu, Shaoying. editor.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Subject
Compilers (Computer programs).
(72)
Compilers and Interpreters.
(72)
Software engineering.
(63)
Computer science.
(56)
Computer Science Logic and Foundations of Programming.
(54)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
72 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49665-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Author 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45943-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Author 
Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-35122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Author 
Lucanu, Dorel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44802-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Author 
Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29473-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Author 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29604-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Author 
Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261 Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Babar, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48992-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Author 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action