Your search returned 5 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. Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by Bjørner, D. (Dines), 1937- | Zhou, Chaochen, 1937- | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F67 F524 2007.
3. 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.
4. Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / Zhiming Liu, Jifeng He (eds.).

by International Conference on Formal Engineering Methods (8th : 2006 : Macau, China) | Liu, Zhiming, 1961- | He, Jifeng, 1943-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: 8th International Conference on Formal Engineering Methods | Eighth International Conference on Formal Engineering Methods | International Conference on Formal Engineering Methods | ICFEM 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F67 I5788 2006.
5. Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers / Zhiming Liu, Keijiro Araki (eds.).

by ICTAC 2004 (2004 : Guiyang Shi, China) | Liu, Zhiming, 1961- | Araki, Keijirō, 1954-.

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