Your search returned 2 results. Subscribe to this search

|
1. Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC 2007 (2007 : Macau, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Duration caculus.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.54 .I577 2007.
2. Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by ICTAC 2007 (2007 : Macau, China) | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ICTAC 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5 .I135 2007.