|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Ball, Thomas [editor.] | Jones, Robert B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4144Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pattern Recognition in Bioinformatics [electronic resource] : International Workshop, PRIB 2006, Hong Kong, China, August 20, 2006. Proceedings / edited by Jagath C. Rajapakse, Limsoon Wong, Raj Acharya. by Rajapakse, Jagath C [editor.] | Wong, Limsoon [editor.] | Acharya, Raj [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4146Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Software Engineering [electronic resource] : An Advanced Course / edited by F. L. Bauer, J. B. Dennis, W. M. Waite, C. C. Gotlieb, R. M. Graham, M. Griffiths, H. J. Helms, B. Morton, P. C. Poole, D. Tsichritzis. by Bauer, F. L [editor.] | Dennis, J. B [editor.] | Waite, W. M [editor.] | Gotlieb, C. C [editor.] | Graham, R. M [editor.] | Griffiths, M [editor.] | Helms, H. J [editor.] | Morton, B [editor.] | Poole, P. C [editor.] | Tsichritzis, D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 30Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Intelligent Virtual Agents [electronic resource] : 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006. Proceedings / edited by Jonathan Gratch, Michael Young, Ruth Aylett, Daniel Ballin, Patrick Olivier. by Gratch, Jonathan [editor.] | Young, Michael [editor.] | Aylett, Ruth [editor.] | Ballin, Daniel [editor.] | Olivier, Patrick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4133Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Haptic and Audio Interaction Design [electronic resource] : First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006. Proceedings / edited by David McGookin, Stephen Brewster. by McGookin, David [editor.] | Brewster, Stephen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4129Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Machine Vision, Image Processing, and Pattern Analysis [electronic resource] : International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings / edited by Nanning Zheng, Xiaoyi Jiang, Xuguang Lan. by Zheng, Nanning [editor.] | Jiang, Xiaoyi [editor.] | Lan, Xuguang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4153Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Smart Graphics [electronic resource] : Third International Symposium on Smart Graphics, SG 2003 Heidelberg, Germany, July 2–4, 2003 Proceedings / edited by Andreas Butz, Antonio Krüger, Patrick Olivier. by Butz, Andreas [editor.] | Krüger, Antonio [editor.] | Olivier, Patrick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2733Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Software Security - Theories and Systems [electronic resource] : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers / edited by Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki. by Futatsugi, Kokichi [editor.] | Mizoguchi, Fumio [editor.] | Yonezaki, Naoki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3233Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
