Limit Search Results
Author
SpringerLink (Online service)
(45)
Legay, Axel. editor.
(2)
Son, Tran Cao. editor.
(2)
Abdulla, Parosh Aziz. editor.
(1)
Albert, Elvira. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(45)
Mathematical Logic and Formal Languages.
(43)
Logic design.
(34)
Logics and Meanings of Programs.
(34)
Programming Languages, Compilers, Interpreters.
(25)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
45 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334715.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Author 
Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334985.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40663-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action