Limit Search Results
Author
SpringerLink (Online service)
(51)
Aguilar, Jose. editor. (orcid)0000-0003-4194-6882
(2)
Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781
(2)
Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029
(2)
Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747
(2)
Language
Publication Date
-
Subject
Computer science.
(23)
Artificial intelligence.
(16)
Compilers (Computer programs).
(12)
Compilers and Interpreters.
(12)
Computer Science Logic and Foundations of Programming.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Author 
Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40530-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author 
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Author 
Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Author 
Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Author 
Schreye, Danny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12592-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings
Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings
Author 
Harmsen, Frank. editor. Proper, Erik. editor. Schalkwijk, Frank. editor. Barjis, Joseph. editor. Overbeek, Sietse. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16770-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for QVT - Operational Mappings Modellierung mit der Query Views Transformation
QVT - Operational Mappings Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92293-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for QVT - Relations Language Modellierung mit der Query Views Transformation
QVT - Relations Language Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings
Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings
Author 
Proper, Erik. editor. Harmsen, Frank. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01859-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action