Limit Search Results
Author
SpringerLink (Online service)
(65)
Fiadeiro, José Luiz. editor.
(3)
Horimoto, Katsuhisa. editor.
(3)
Queiroz, Ruy. editor.
(3)
Rahonis, George. editor.
(3)
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
65 Results Found Subscribe to search results
00000DEFAULT
Print
61. 
Cover image for Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Author 
Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617990
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
Author 
Giesl, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135673
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
Author 
Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136292
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Author 
Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11548133
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107129
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets