Limit Search Results
Author
SpringerLink (Online service)
(35)
Ehrig, Hartmut. editor.
(3)
Rozenberg, Grzegorz. editor.
(3)
Schürr, Andy. editor. (orcid)0000-0001-8100-1109
(3)
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
35 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
by 
Banda, Maria Garcia. editor.
https://doi.org/10.1007/978-3-540-89982-2
Format: 
Excerpt: 
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008
2. 
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
by 
Giese, Holger. editor.
https://doi.org/10.1007/978-3-319-09108-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
by 
Colom, Jose-Manuel. editor.
https://doi.org/10.1007/978-3-642-38697-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Ordnungen und Verbände Grundlagen, Vorgehensweisen und Anwendungen
Ordnungen und Verbände Grundlagen, Vorgehensweisen und Anwendungen
by 
Berghammer, Rudolf. author.
https://doi.org/10.1007/978-3-658-02711-7
Format: 
Excerpt: 
Computer arithmetic and logic units.
5. 
Cover image for Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
by 
Böckenhauer, Hans-Joachim. author.
https://doi.org/10.1007/978-3-658-00725-6
Format: 
Excerpt: 
Logic design.
6. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
by 
Schürr, Andy. editor. (orcid)0000-0001-8100-1109
https://doi.org/10.1007/978-3-642-34176-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
by 
Haddad, Serge. editor.
https://doi.org/10.1007/978-3-642-31131-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for Generic and Indexed Programming
Generic and Indexed Programming
by 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-642-32202-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
by 
Ehrig, Hartmut. editor.
https://doi.org/10.1007/978-3-642-33654-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
by 
Peña, Ricardo. editor.
https://doi.org/10.1007/978-3-642-32037-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
by 
Bouchou-Markhoff, Béatrice. editor.
https://doi.org/10.1007/978-3-642-22256-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Implementation and Application of Automata 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
Implementation and Application of Automata 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
by 
Domaratzki, Michael. editor.
https://doi.org/10.1007/978-3-642-18098-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.