|
|
|
|
|
|
|
|
|
CONCUR 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns. by Baier, Christel [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4137Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
