|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Resolution Methods for the Decision Problem [electronic resource] / edited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov. by Fermüller, C [editor.] | Leitsch, A [editor.] | Tammet, T [editor.] | Zamov, N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 679Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
IPMU '92—Advanced Methods in Artificial Intelligence [electronic resource] : 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Palma de Mallorca, Spain, July 6–10, 1992 Proceedings / edited by Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager. by Bouchon-Meunier, Bernadette [editor.] | Valverde, Llorenç [editor.] | Yager, Ronald R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 682Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Information Systems – WISE 2006 Workshops [electronic resource] : WISE 2006 International Workshops, Wuhan, China, October 23-26, 2006. Proceedings / edited by Ling Feng, Guoren Wang, Cheng Zeng, Ruhua Huang. by Feng, Ling [editor.] | Wang, Guoren [editor.] | Zeng, Cheng [editor.] | Huang, Ruhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4256Source: 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): .
|
|
|
|
|
Semantics, Web and Mining [electronic resource] : Joint International Workshops, EWMF 2005 and KDO 2005, Porto, Portugal, October 3-7, 2005, Revised Selected Papers / edited by Markus Ackermann, Bettina Berendt, Marko Grobelnik, Andreas Hotho, Dunja Mladenič, Giovanni Semeraro, Myra Spiliopoulou, Gerd Stumme, Vojtěch Svátek, Maarten Someren. by Ackermann, Markus [editor.] | Berendt, Bettina [editor.] | Grobelnik, Marko [editor.] | Hotho, Andreas [editor.] | Mladenič, Dunja [editor.] | Semeraro, Giovanni [editor.] | Spiliopoulou, Myra [editor.] | Stumme, Gerd [editor.] | Svátek, Vojtěch [editor.] | Someren, Maarten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4289Source: 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): .
|
|
|
|
|
Advances in Conceptual Modeling - Theory and Practice [electronic resource] : ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by John F. Roddick, V. Richard Benjamins, Samira Si-said Cherfi, Roger Chiang, Christophe Claramunt, Ramez A. Elmasri, Fabio Grandi, Hyoil Han, Martin Hepp, Miltiadis D. Lytras, Vojislav B. Mišić, Geert Poels, Il-Yeol Song, Juan Trujillo, Christelle Vangenot. by Roddick, John F [editor.] | Benjamins, V. Richard [editor.] | Si-said Cherfi, Samira [editor.] | Chiang, Roger [editor.] | Claramunt, Christophe [editor.] | Elmasri, Ramez A [editor.] | Grandi, Fabio [editor.] | Han, Hyoil [editor.] | Hepp, Martin [editor.] | Lytras, Miltiadis D [editor.] | Mišić, Vojislav B [editor.] | Poels, Geert [editor.] | Song, Il-Yeol [editor.] | Trujillo, Juan [editor.] | Vangenot, Christelle [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4231Source: 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): .
|
|
|
|
|
|
|
|
|
|
Advances in Spatial and Temporal Databases [electronic resource] : 7th International Symposium, SSTD 2001 Redondo Beach, CA, USA, July 12–15, 2001 Proceedings / edited by Christian S. Jensen, Markus Schneider, Bernhard Seeger, Vassilis J. Tsotras. by Jensen, Christian S [editor.] | Schneider, Markus [editor.] | Seeger, Bernhard [editor.] | Tsotras, Vassilis J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2121Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
New Trends in Neural Computation [electronic resource] : International Workshop on Artificial Neural Networks, IWANN '93 Sitges, Spain, June 9–11, 1993 Proceedings / edited by José Mira, Joan Cabestany, Alberto Prieto. by Mira, José [editor.] | Cabestany, Joan [editor.] | Prieto, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 686Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Processing in Medical Imaging [electronic resource] : 13th International Conference, IPMI '93 Flagstaff, Arizona, USA, June 14–18, 1993 Proceedings / edited by Harrison H. Barrett, A. F. Gmitro. by Barrett, Harrison H [editor.] | Gmitro, A. F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 687Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multi-Agent Systems and Applications [electronic resource] : 9th ECCAI Advanced Course, ACAI 2001 and Agent Link’s 3rd European Agent Systems Summer School, EASSS 2001 Prague, Czech Republic, July 2–13, 2001 Selected Tutorial Papers / edited by Michael Luck, Vladimír Mařík, Olga Štěpánková, Robert Trappl. by Luck, Michael [editor.] | Mařík, Vladimír [editor.] | Štěpánková, Olga [editor.] | Trappl, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2086Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Methodologies for Intelligent Systems [electronic resource] : 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings / edited by Jan Komorowski, Zbigniew W. Raś. by Komorowski, Jan [editor.] | Raś, Zbigniew W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 689Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers / edited by Peter Dybjer, Bengt Nordström, Jan Smith. by Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 996Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems [electronic resource] : International Workshop on Infrastructure for Scalable Multi-Agent Systems Barcelona, Spain, June 3–7, 2000 Revised Papers / edited by Tom Wagner, Omer F. Rana. by Wagner, Tom [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1887Source: 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): .
|
