|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings / edited by Robert Nieuwenhuis, Andrei Voronkov. by Nieuwenhuis, Robert [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2250Source: 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): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings / edited by Victor A. Carreño, César A. Muñoz, Sofiène Tahar. by Carreño, Victor A [editor.] | Muñoz, César A [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2410Source: 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): .
|
|
|
|
Advances in Web-Based Learning [electronic resource] : First International Conference, ICWL 2002 Hong Kong, China, August 17–19, 2002 Proceedings / edited by Joseph Fong, Chu Ting Cheung, Hong Va Leong, Qing Li. by Fong, Joseph [editor.] | Cheung, Chu Ting [editor.] | Leong, Hong Va [editor.] | Li, Qing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2436Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Parallel Problem Solving from Nature — PPSN VII [electronic resource] : 7th International Conference Granada, Spain, September 7–11, 2002 Proceedings / edited by Juan Julián Merelo Guervós, Panagiotis Adamidis, Hans-Georg Beyer, Hans-Paul Schwefel, José-Luis Fernández-Villacañas. by Guervós, Juan Julián Merelo [editor.] | Adamidis, Panagiotis [editor.] | Beyer, Hans-Georg [editor.] | Schwefel, Hans-Paul [editor.] | Fernández-Villacañas, José-Luis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2439Source: 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): .
|
|
|
|
Computational Science - ICCS 2001 [electronic resource] : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II / edited by Vassil N. Alexandrov, Jack J. Dongarra, Benjoe A. Juliano, René S. Renner, C. J. Kenneth Tan. by Alexandrov, Vassil N [editor.] | Dongarra, Jack J [editor.] | Juliano, Benjoe A [editor.] | Renner, René S [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2074Source: 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): .
|