|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni. by Inoue, Katsumi [editor.] | Satoh, Ken [editor.] | Toni, Francesca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4371Source: 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): .
|
|
|
|
Artificial Neural Networks — ICANN'97 [electronic resource] : 7th International Conference Lausanne, Switzerland, October 8–10, 1997 Proceeedings / edited by Wulfram Gerstner, Alain Germond, Martin Hasler, Jean-Daniel Nicoud. by Gerstner, Wulfram [editor.] | Germond, Alain [editor.] | Hasler, Martin [editor.] | Nicoud, Jean-Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1327Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Security Protocols [electronic resource] : 5th International Workshop Paris, France, April 7–9, 1997 Proceedings / edited by Bruce Christianson, Bruno Crispo, Mark Lomas, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Lomas, Mark [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1361Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Network-Based Parallel Computing Communication, Architecture, and Applications [electronic resource] : Second International Workshop, CANPC '98 Las Vegas, Nevada, USA, January 31–February 1, 1998 Proceedings / edited by Dhabaleswar K. Panda, Craig B. Stunkel. by Panda, Dhabaleswar K [editor.] | Stunkel, Craig B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1362Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Agents IV Agent Theories, Architectures, and Languages [electronic resource] : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24–26, 1997 Proceedings / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge. by Singh, Munindar P [editor.] | Rao, Anand [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1365Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Worldwide Computing and Its Applications — WWCA'98 [electronic resource] : Second International Conference Tsukuba, Japan, March 4–5, 1998 Proceedings / edited by Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto. by Masunaga, Yoshifumi [editor.] | Katayama, Takuya [editor.] | Tsukamoto, Michiharu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1368Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / edited by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | Rückert, Roland [editor.] | Posegga, Joachim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1385Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Information Security [electronic resource] : First International Workshop, ISW'97 Tatsunokuchi, Ishikawa, Japan September 17–19, 1997 Proceedings / edited by Eiji Okamoto, George Davida, Masahiro Mambo. by Okamoto, Eiji [editor.] | Davida, George [editor.] | Mambo, Masahiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1396Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|