Limit Search Results
Author
SpringerLink (Online service)
(149)
Legay, Axel. editor.
(4)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(4)
Artho, Cyrille. editor.
(3)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Language
English
(150)
Publication Date
-
Subject
Compilers (Computer programs).
(149)
Compilers and Interpreters.
(149)
Computer science.
(101)
Computer Science Logic and Foundations of Programming.
(90)
Formal Languages and Automata Theory.
(69)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
150 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Author 
Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61473-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
Author 
Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56856-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61482-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Author 
Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59746-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Author 
Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67531-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Author 
Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66902-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Author 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Author 
Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Software Engineering: Specification, Implementation, Verification
Software Engineering: Specification, Implementation, Verification
Author 
Alagić, Suad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61518-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action