Theoretical aspects of computing -- ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Theoretical aspects of computing - ICTAC 2008 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2008. This title can be found in 1 Iowa libraries.
Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
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.
Theoretical aspects of computing ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings /Publisher: New York : New York : Springer,
Date: c2006. This title can be found in 2 Iowa libraries.
Theoretical aspects of computing--ICTAC 2006 third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings /Format: [electronic resources] :
Publisher: New York : Springer,
Date: c2006. This title can be found in 1 Iowa libraries.
Theoretical aspects of computing, ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers /Publisher: New York : New York : Springer,
Date: c2005. This title can be found in 1 Iowa libraries.
Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings /Publisher: New York : New York : Springer,
Date: c2005. This title can be found in 2 Iowa libraries.
Theoretical aspects of computing ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2005. This title can be found in 1 Iowa libraries.
Theoretical aspects of computing -- ICTAC 2005 second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2005. 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.