Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Duration calculus : a formal approach to real-time systems /Author: Zhou, Chaochen,
Publisher: Berlin ; Springer,
Date: [2004] This title can be found in 1 Iowa libraries.
Lunar exploration : human pioneers and robotic surveyors /Author: Ulivi, Paolo,
Publisher: London ; Springer-Verlag ;
Date: c2004. 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.