FME '97 : industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings /Publisher: New York : New York : Springer,
Date: c1997. This title can be found in 1 Iowa libraries.
Proceedings : International Conference and Workshop on Engineering of Computer-Based Systems : March 24-28, 1997, Monterey, California /Publisher: Los Alamitos, Calif. : IEEE Computer Society Press,
Date: c1997. This title can be found in 1 Iowa libraries.
IEEE Symposium and Workshop on Engineering of Computer-Based Systems : proceedings, March 11-15, 1996, Friedrichshafen, Germany /Publisher: Los Alamitos, Calif. : IEEE Computer Society Press,
Date: c1996. This title can be found in 1 Iowa libraries.
Education for system designer/user cooperation : proceedings of the IFIP TC3/TC9 Working Conference on Education for System Designer/User Cooperation, Salzburg, Austria, 11-13 April, 1983 /Publisher: New York, N.Y., U.S.A. : New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Date: 1985. This title can be found in 1 Iowa libraries.
Automated tools for information systems design : proceedings of the IFIP WG 8.1 Working Conference on Automated Tools for Information Systems Design and Development, New Orleans, U.S.A., 26-28 January, 1982 /Publisher: New York : New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
Date: 1982. This title can be found in 2 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.