|
|
|
Artificial Intelligence in Medicine [electronic resource] : 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1–4, 2001, Proceedings / edited by Silvana Quaglini, Pedro Barahona, Steen Andreassen. by Quaglini, Silvana [editor.] | Barahona, Pedro [editor.] | Andreassen, Steen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2101Source: 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): .
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings / edited by Carlo Combi, Yuval Shahar, Ameen Abu-Hanna. by Combi, Carlo [editor.] | Shahar, Yuval [editor.] | Abu-Hanna, Ameen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5651Source: 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): .
|
|
|
|
Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV / 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 ; 7666Source: 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): .
|
|
|
|
CONCUR 2007 – Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by Luís Caires, Vasco T. Vasconcelos. by Caires, Luís [editor.] | Vasconcelos, Vasco T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4703Source: 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): .
|
|
|
|
|
|
|
|
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II / edited by Robert Meersman, Zahir Tari. by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3761Source: 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): .
|
|
|
|
Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers / edited by Vito Gesú, Francesco Masulli, Alfredo Petrosino. by Gesú, Vito [editor.] | Masulli, Francesco [editor.] | Petrosino, Alfredo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2955Source: 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): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: 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): .
|
|
|
|
Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers / edited by Dines Bjørner, Manfred Broy, Alexandre V. Zamulin. by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2244Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Expert Systems in Engineering Principles and Applications [electronic resource] : International Workshop Vienna, Austria, September 24–26, 1990 Proceedings / edited by Georg Gottlob, Wolfgang Nejdl. by Gottlob, Georg [editor.] | Nejdl, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 462Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: International Workshop. Vienna, Austria, September 24-26, 1990. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Vision — ECCV 2002 [electronic resource] : 7th European Conference on Computer Vision Copenhagen, Denmark, May 28–31, 2002 Proceedings, Part II / edited by Anders Heyden, Gunnar Sparr, Mads Nielsen, Peter Johansen. by Heyden, Anders [editor.] | Sparr, Gunnar [editor.] | Nielsen, Mads [editor.] | Johansen, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2351Source: 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): .
|
|
|
|
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach. by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings / edited by Christine Froidevaux, Jürg Kohlas. by Froidevaux, Christine [editor.] | Kohlas, Jürg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 946Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Multi-Agent Systems and Applications V [electronic resource] : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings / edited by Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga. by Burkhard, Hans-Dieter [editor.] | Lindemann, Gabriela [editor.] | Verbrugge, Rineke [editor.] | Varga, László Zsolt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4696Source: 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): .
|