|
|
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (editors). by TYPES 2004 (2004 : Jouy-en-Josas, France) | Filliâtre, Jean-Christophe [editor.] | Paulin-Mohring, Christine, 1962- [editor.] | Werner, Benjamin [editor.]. Publisher: New York : Springer, 2006Other title: TYPES 2004.Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 005.131 T98 2006]
(1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computers and games : 4th international conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004 : revised papers / H. Jaap van den Herik, Yngvi Björnsson, Nathan S. Netanyahu (eds.). by CG 2004 (2004 : Ramat-Gan, Israel) | Herik, Jaap van den | Björnsson, Yngvi, 1964- | Netanyahu, Nathan S. Publisher: Berlin, New York : Springer Wien, c2006Online access: Publisher description | Table of contents only Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 794.81526 C739 2006]
(1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Smart sensors and systems : innovations for medical, environmental, and IoT applications / edited by Chong-Min Kyung, Hiroto Yasuura, Yongpan Liu, Youn-Long Lin. by Kyung, Chong-Min [editor.] | Lin, Youn-Long [editor.] | Liu, Yongpan [editor.] | Yasuura, Hiroto [editor.]. Edition: 1st ed. 2017.Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Full text available at Wiley Online Library Click here to view Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 621.3815 Sm27 2020]
(1).
|