Limit Search Results
Author
SpringerLink (Online service)
(27)
Meseguer, José. editor.
(2)
Autexier, Serge. editor.
(1)
Baek, Joonsang. editor.
(1)
Bao, Feng. editor.
(1)
Language
Subject
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Author 
Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Author 
Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
Author 
Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69499-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70590-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Author 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Coding Theory and Applications Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings
Coding Theory and Applications Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings
Author 
Barbero, Ángela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87448-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Author 
Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
Author 
Lucks, Stefan. editor. Sadeghi, Ahmad-Reza. editor. Wolf, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Author 
Baek, Joonsang. editor. Bao, Feng. editor. Chen, Kefei. editor. Lai, Xuejia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88733-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
Author 
Marinaro, Maria. editor. Scarpetta, Silvia. editor. Yamaguchi, Yoko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88853-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
Author 
Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68103-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
Author 
Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79456-1
Format: 
Availability 
Online Library~1
Available:
Copies: