Algebra and coalgebra in computer science third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2005. This title can be found in 1 Iowa libraries.
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /Publisher: New York : New York : Springer,
Date: c2005. This title can be found in 2 Iowa libraries.
Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /Publisher: Berlin ; Springer,
Date: c2004. This title can be found in 1 Iowa libraries.
Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers /Publisher: New York : New York : Springer-Verlag,
Date: c1995. This title can be found in 2 Iowa libraries.
Recent tends in data type specification : 5th Workshop on Specification of Abstract Data Types : Gullane, Scotland, September 1-4, 1987 : selected papers /Publisher: New York : New York : Springer-Verlag,
Date: 1988. This title can be found in 2 Iowa libraries.
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1987 : selected papers /Publisher: New York : New York : Springer-Verlag,
Date: c1988. This title can be found in 1 Iowa libraries.
YOU MAY BORROW ITEMS YOU FIND IN THE SILO LOCATOR THROUGH YOUR
LOCAL PUBLIC LIBRARY.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.