|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto. by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | Miyamoto, Sadaaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3558Source: 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): .
|
|
|
|
|
|
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 9th Conference on Artificial Intelligence, in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003. Proceedings / edited by Michel Dojat, Elpida T. Keravnou, Pedro Barahona. by Dojat, Michel [editor.] | Keravnou, Elpida T [editor.] | Barahona, Pedro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2780Source: 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): .
|
|
|
|
|
|
|
|
|
|
Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings / edited by Cristiano Castelfranchi, Yves Lespérance. by Castelfranchi, Cristiano [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1986Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003. Proceedings / edited by Vladimír Mařík, Duncan McFarlane, Paul Valckenaers. by Mařík, Vladimír [editor.] | McFarlane, Duncan [editor.] | Valckenaers, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2744Source: 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): .
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings / edited by Peter Widmayer, Stephan Eidenbenz, Francisco Triguero, Rafael Morales, Ricardo Conejo, Matthew Hennessy. by Widmayer, Peter [editor.] | Eidenbenz, Stephan [editor.] | Triguero, Francisco [editor.] | Morales, Rafael [editor.] | Conejo, Ricardo [editor.] | Hennessy, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2380Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire. by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2178Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings / edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther. by Barstow, D [editor.] | Brauer, W [editor.] | Brinch Hansen, P [editor.] | Gries, D [editor.] | Luckham, D [editor.] | Moler, C [editor.] | Pnueli, A [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | Günther, Christoph G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 330Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Computing and Information — ICCI '90 [electronic resource] : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings / edited by S. G. Akl, F. Fiala, W. W. Koczkodaj. by Akl, S. G [editor.] | Fiala, F [editor.] | Koczkodaj, W. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 468Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1709Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematical Foundations of Computer Science 1998 [electronic resource] : 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings / edited by Luboš Brim, Jozef Gruska, Jiří Zlatuška. by Brim, Luboš [editor.] | Gruska, Jozef [editor.] | Zlatuška, Jiří [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1450Source: 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): .
|
|
|
|
|
Empirical Software Engineering Issues. Critical Assessment and Future Directions [electronic resource] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers / edited by Victor R. Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard W. Selby. by Basili, Victor R [editor.] | Rombach, Dieter [editor.] | Schneider, Kurt [editor.] | Kitchenham, Barbara [editor.] | Pfahl, Dietmar [editor.] | Selby, Richard W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4336Source: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi Sing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7663Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Dynamics and control of multibody systems : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held July 30-August 5, 1988, with support from the National Science Foundation / J.E. Marsden, P.S. Krishnaprasad, and J.C. Simo, editors. by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Control Theory and Multibody Systems (1988 : Bowdoin College) | Marsden, Jerrold E | Krishnaprasad, P. S. (Perinkulam Sambamurthy), 1949- | Simo, J. C. (Juan C.), 1952-. Series: Contemporary Mathematics (American Mathematical Society) ; v.97.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Modern Advanced Mathematics for Engineers by Mitin, Vladimir V | Romanov, Dmitri A | Polis, Michael P. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York John Wiley & Sons 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 15 Call number: 51 MIT.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Calculus of Variations and Geometric Evolution Problems [electronic resource] : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, June 15–22, 1996 / by Fabrice Bethuel, Gerhard Huisken, Stefan Müller, Klaus Steffen ; edited by Stefan Hildebrandt, Michael Struwe. by Bethuel, Fabrice [author.] | Huisken, Gerhard [author.] | Müller, Stefan [author.] | Steffen, Klaus [author.] | Hildebrandt, Stefan [editor.] | Struwe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1713Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
