|
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin. by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender. by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Remagnino, Paolo [editor.] | Nefian, Ara [editor.] | Meenakshisundaram, Gopi [editor.] | Pascucci, Valerio [editor.] | Zara, Jiri [editor.] | Molineros, Jose [editor.] | Theisel, Holger [editor.] | Malzbender, Tom [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4292Source: 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 Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender. by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Remagnino, Paolo [editor.] | Nefian, Ara [editor.] | Meenakshisundaram, Gopi [editor.] | Pascucci, Valerio [editor.] | Zara, Jiri [editor.] | Molineros, Jose [editor.] | Theisel, Holger [editor.] | Malzbender, Tom [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4291Source: 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): .
|
|
|
|
|
|
|
|
Conceptual Structures: Standards and Practices [electronic resource] : 7th International Conference on Conceptual Structures, ICCS’99 Blacksburg, VA, USA, July 12–15, 1999 Proceedings / edited by William M. Tepfenhart, Walling Cyre. by Tepfenhart, William M [editor.] | Cyre, Walling [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1640Source: 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): .
|
|
|
|
Advances in Computer Games [electronic resource] : 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers / edited by H. Jaap Herik, Shun-Chin Hsu, Tsan-sheng Hsu, H. H. L. M. (Jeroen) Donkers. by Herik, H. Jaap [editor.] | Hsu, Shun-Chin [editor.] | Hsu, Tsan-sheng [editor.] | Donkers, H. H. L. M. (Jeroen) [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4250Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Parallel Problem Solving from Nature — PPSN III [electronic resource] : International Conference on Evolutionary Computation The Third Conference on Parallel Problem Solving from Nature Jerusalem, Israel, October 9–14, 1994 Proceedings / edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer. by Davidor, Yuval [editor.] | Schwefel, Hans-Paul [editor.] | Männer, Reinhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 866Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Machine Learning: ECML-95 [electronic resource] : 8th European Conference on Machine Learning Heraclion, Crete, Greece, April 25–27, 1995 Proceedings / edited by Nada Lavrac, Stefan Wrobel. by Lavrac, Nada [editor.] | Wrobel, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 912Source: 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): .
|
|
|
|
|
|
|
|
Advances in Intelligent Computing — IPMU '94 [electronic resource] : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4–8, 1994 Selected Papers / edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh. by Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [editor.] | Zadeh, Lotfi A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 945Source: 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): .
|
|
|
|
Chinese Spoken Language Processing [electronic resource] : 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings / edited by Qiang Huo, Bin Ma, Eng-Siong Chng, Haizhou Li. by Huo, Qiang [editor.] | Ma, Bin [editor.] | Chng, Eng-Siong [editor.] | Li, Haizhou [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4274Source: 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): .
|