|
|
|
Intelligent Virtual Agents [electronic resource] : 15th International Conference, IVA 2015, Delft, The Netherlands, August 26-28, 2015, Proceedings / edited by Willem-Paul Brinkman, Joost Broekens, Dirk Heylen. by Brinkman, Willem-Paul [editor.] | Broekens, Joost [editor.] | Heylen, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9238 | Lecture Notes in Computer Science ; 9238Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Agents for Games and Simulations [electronic resource] : Trends in Techniques, Concepts and Design / edited by Frank Dignum, Jeff Bradshaw, Barry Silverman, Willem Doesburg. by Dignum, Frank [editor.] | Bradshaw, Jeff [editor.] | Silverman, Barry [editor.] | Doesburg, Willem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5920Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4721Source: 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): .
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4111Source: 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): .
|
|
|
|
Secure Data Management [electronic resource] : VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3178Source: 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): .
|
|
|
|
Secure Data Management [electronic resource] : Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4165Source: 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): .
|
|
|
|
Secure Data Management [electronic resource] : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5159Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Perspectives in Conceptual Modeling [electronic resource] : ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005. Proceedings / edited by Jacky Akoka, Stephen W. Liddle, Il-Yeol Song, Michela Bertolotto, Isabelle Comyn-Wattiau, Willem-Jan Heuvel, Manuel Kolp, Juan Trujillo, Christian Kop, Heinrich C. Mayr. by Akoka, Jacky [editor.] | Liddle, Stephen W [editor.] | Song, Il-Yeol [editor.] | Bertolotto, Michela [editor.] | Comyn-Wattiau, Isabelle [editor.] | Heuvel, Willem-Jan [editor.] | Kolp, Manuel [editor.] | Trujillo, Juan [editor.] | Kop, Christian [editor.] | Mayr, Heinrich C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3770Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser. by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1885Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Differential geometry and mathematical physics / [electronic resource] AMS-CMS Special Session on Geometric Methods in Mathematical Physics, August 15-19, 1993, Vancouver, British Columbia, Canada ; John K. Beem, Krishan L. Duggal, editors. by AMS-CMS Special Session on Geometric Methods in Mathematical Physics (1993 : Vancouver, B.C.) | Beem, John K, 1942- | Duggal, Krishan L, 1929- | American Mathematical Society | Canadian Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 170.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|