|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
High-Performance Computing and Networking [electronic resource] : 9th International Conference, HPCN Europe 2001 Amsterdam, The Netherlands, June 25–27, 2001 Proceedings / edited by Bob Hertzberger, Alfons Hoekstra, Roy Williams. by Hertzberger, Bob [editor.] | Hoekstra, Alfons [editor.] | Williams, Roy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2110Source: 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): .
|
|
|
|
Algorithms and Data Structures [electronic resource] : Workshop WADS '89 Ottawa, Canada, August 17–19, 1989 Proceedings / edited by F. Dehne, J. -R. Sack, N. Santoro. by Dehne, F [editor.] | Sack, J. -R [editor.] | Santoro, N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 382Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
STACS 94 [electronic resource] : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner. by Enjalbert, Patrice [editor.] | Mayr, Ernst W [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 775Source: 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): .
|
|
|
|
Algorithms and Complexity [electronic resource] : Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings / edited by M. Bonuccelli, P. Crescenzi, R. Petreschi. by Bonuccelli, M [editor.] | Crescenzi, P [editor.] | Petreschi, R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 778Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|