Limit Search Results
Author
SpringerLink (Online service)
(124)
Crespi Reghizzi, Stefano. author.
(3)
Martín-Vide, Carlos. editor.
(3)
Baldoni, Matteo. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(108)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial intelligence.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
152 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Author 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Author 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Author 
Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334580.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38317-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Author 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334617.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Author 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334626.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38574-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action