|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele. by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings / edited by Michael Anderson, Peter Cheng, Volker Haarslev. by Anderson, Michael [editor.] | Cheng, Peter [editor.] | Haarslev, Volker [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1889Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Spatial Cognition III [electronic resource] : Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender. by Freksa, Christian [editor.] | Brauer, Wilfried [editor.] | Habel, Christopher [editor.] | Wender, Karl F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2685Source: 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): .
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings / edited by Ugo Montanari, José D. P. Rolim, Emo Welzl. by Montanari, Ugo [editor.] | Rolim, José D. P [editor.] | Welzl, Emo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1853Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings / edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger. by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2719Source: 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): .
|
|
|
|
|
|
|
|
High Performance Computing — HiPC 2001 [electronic resource] : 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings / edited by Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam. by Monien, Burkhard [editor.] | Prasanna, Viktor K [editor.] | Vajapeyam, Sriram [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2228Source: 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): .
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers / edited by Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov. by Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2179Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Graphics Recognition Algorithms and Applications [electronic resource] : 4th International Workshop, GREC 2001 Kingston, Ontario, Canada, September 7–8, 2001 Selected Papers / edited by Dorothea Blostein, Young-Bin Kwon. by Blostein, Dorothea [editor.] | Kwon, Young-Bin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2390Source: 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): .
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan. by Hegarty, Mary [editor.] | Meyer, Bernd [editor.] | Narayanan, N. Hari [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2317Source: 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): .
|
|
|
|
|
|
|
|
Discrete and Computational Geometry [electronic resource] : Japanese Conference, JCDCG’98 Tokyo, Japan, December 9-12, 1998. Revised Papers / edited by Jin Akiyama, Mikio Kano, Masatsugu Urabe. by Akiyama, Jin [editor.] | Kano, Mikio [editor.] | Urabe, Masatsugu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1763Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|