Limit Search Results
Author
SpringerLink (Online service)
(24)
Abdulla, Parosh Aziz. editor.
(1)
Bensalem, Saddek. editor.
(1)
Blazy, Sandrine. editor.
(1)
Bollig, Benedikt. author.
(1)
Language
Publication Date
-
2013
(23)
2006
(1)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
24 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Author 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Author 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Author 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335046.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Author 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335202.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Author 
Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334666.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38771-5
Format: 
Availability 
Online Library~1
Available:
Copies: