Limit Search Results
Author
SpringerLink (Online service)
(96)
Rozenberg, Grzegorz. editor.
(5)
Ehrig, Hartmut. editor.
(4)
Fomin, Fedor V. editor.
(3)
Queiroz, Ruy. editor.
(3)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
96 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
Author 
Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Author 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Author 
Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31570-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
Author 
Yen, Hsu-Chun. editor. Ibarra, Oscar H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31653-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
Author 
Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20877-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Author 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Author 
Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20920-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Author 
Sturm, Thomas. editor. Zengler, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21046-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Author 
Winkler, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
Author 
Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20712-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action