|
|
Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : Selected revised papers / Wendy MacCaull, Michael Winter, and Ivo Düntsch (eds.). by International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.) | MacCaull, Wendy | Winter, Michael, Ph. D | Düntsch, Ivo | European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.) | International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.). Publisher: Berlin : Springer, c2006Online access: Click here to access online | Publisher description | Table of contents only Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 004 R279 2006]
(1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
High performance embedded architectures and compilers : First international conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005 : proceedings / Tom Conte, Nacho Navarro, Wen-mei W. Hwu, Mateo Valero, and Theo Ungerer (Editors) by HiPEAC 2005 (2005 : Barcelona, Spain) | Conte, Tom. Publisher: Berlin : Springer, c2005Other title: HiPEAC 2005.Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 004.3 H537 2005]
(1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|