|
|
|
|
|
|
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford. by Doherty, Gavin [editor.] | Blandford, Ann [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4323Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / edited by Michael Hanus, Jan Heering, Karl Meinke. by Hanus, Michael [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1298Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 7th International Conference, CAIP '97 Kiel, Germany, September 10–12, 1997 Proceedings / edited by Gerald Sommer, Kostas Daniilidis, Josef Pauli. by Sommer, Gerald [editor.] | Daniilidis, Kostas [editor.] | Pauli, Josef [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1296Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Field-Programmable Logic and Applications [electronic resource] : 7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings / edited by Wayne Luk, Peter Y. K. Cheung, Manfred Glesner. by Luk, Wayne [editor.] | Cheung, Peter Y. K [editor.] | Glesner, Manfred [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1304Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Multimodal Technologies for Perception of Humans [electronic resource] : First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers / edited by Rainer Stiefelhagen, John Garofolo. by Stiefelhagen, Rainer [editor.] | Garofolo, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4122Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
KI-97: Advances in Artificial Intelligence [electronic resource] : 21st Annual German Conference on Artificial Intelligence Freiburg, Germany, September 9–12, 1997 Proceedings / edited by Gerhard Brewka, Christopher Habel, Bernhard Nebel. by Brewka, Gerhard [editor.] | Habel, Christopher [editor.] | Nebel, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1303Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|