|
|
|
|
|
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by Meyer, Bertrand [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4171Source: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa. by Ishikawa, Masumi [editor.] | Doya, Kenji [editor.] | Miyamoto, Hiroyuki [editor.] | Yamakawa, Takeshi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4984Source: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa. by Ishikawa, Masumi [editor.] | Doya, Kenji [editor.] | Miyamoto, Hiroyuki [editor.] | Yamakawa, Takeshi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4985Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : First International Conference, ICES96 Tsukuba, Japan, October 7–8, 1996 Proceedings / edited by Tetsuya Higuchi, Masaya Iwata, Weixin Liu. by Higuchi, Tetsuya [editor.] | Iwata, Masaya [editor.] | Liu, Weixin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1259Source: 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): .
|
|
|
|
|
Dialogue Processing in Spoken Language Systems [electronic resource] : ECAI'96 Workshop Budapest, Hungary, August 13, 1996 Revised Papers / edited by Elisabeth Maier, Marion Mast, Susann LuperFoy. by Maier, Elisabeth [editor.] | Mast, Marion [editor.] | LuperFoy, Susann [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1236Source: 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): .
|
|
|
|
|
Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens. by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4342Source: 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): .
|
|
|
|
|
Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata. by Umeda, Masanobu [editor.] | Wolf, Armin [editor.] | Bartenstein, Oskar [editor.] | Geske, Ulrich [editor.] | Seipel, Dietmar [editor.] | Takata, Osamu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4369Source: 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): .
|
|
|
|
|
|
|
|
|
|
Principles of Data Mining and Knowledge Discovery [electronic resource] : First European Symposium, PKDD '97 Trondheim, Norway, June 24–27, 1997 Proceedings / edited by Jan Komorowski, Jan Zytkow. by Komorowski, Jan [editor.] | Zytkow, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1263Source: 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): .
|
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25–27, 1997 Proceedings / edited by David B. Leake, Enric Plaza. by Leake, David B [editor.] | Plaza, Enric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1266Source: 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): .
|
|
|
|
|
Logic Programming And Nonmonotonic Reasoning [electronic resource] : 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings / edited by Jürgen Dix, Ulrich Furbach, Anil Nerode. by Dix, Jürgen [editor.] | Furbach, Ulrich [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1265Source: 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): .
|
|
|
|
|
Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers / edited by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski. by Hinchey, Michael G [editor.] | Rago, Patricia [editor.] | Rash, James L [editor.] | Rouff, Christopher A [editor.] | Sterritt, Roy [editor.] | Truszkowski, Walt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3825Source: 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): .
|
|
|
|
|
Machine Learning for Multimodal Interaction [electronic resource] : Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers / edited by Steve Renals, Samy Bengio, Jonathan G. Fiscus. by Renals, Steve [editor.] | Bengio, Samy [editor.] | Fiscus, Jonathan G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4299Source: 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): .
|
|
|
|
|
|
|
|
|
|
Ubiquitous Intelligence and Computing [electronic resource] : 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008 Proceedings / edited by Frode Eika Sandnes, Yan Zhang, Chunming Rong, Laurence T. Yang, Jianhua Ma. by Sandnes, Frode Eika [editor.] | Zhang, Yan [editor.] | Rong, Chunming [editor.] | Yang, Laurence T [editor.] | Ma, Jianhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5061Source: 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): .
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings / edited by Alan J. Hu, Moshe Y. Vardi. by Hu, Alan J [editor.] | Vardi, Moshe Y [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1427Source: 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): .
|
