|
|
|
|
|
|
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers / edited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack. by Callaghan, Paul [editor.] | Luo, Zhaohui [editor.] | McKinna, James [editor.] | Pollack, Robert [editor.] | Pollack, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2277Source: 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): .
|
|
|
|
Hypermedia: Openness, Structural Awareness, and Adaptivity [electronic resource] : International Workshops OHS-7, SC-3, and AH-3 Aarhus, Denmark, August 14–18, 2001 Revised Papers / edited by Siegfried Reich, Manolis M. Tzagarakis, Paul M. E. Bra. by Reich, Siegfried [editor.] | Tzagarakis, Manolis M [editor.] | Bra, Paul M. E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2266Source: 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): .
|
|
|
|
Graph Drawing [electronic resource] : 9th International Symposium, GD 2001 Vienna, Austria, September 23–26, 2001 Revised Papers / edited by Petra Mutzel, Michael Jünger, Sebastian Leipert. by Mutzel, Petra [editor.] | Jünger, Michael [editor.] | Leipert, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2265Source: 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): .
|
|
|
|
Computer Security — ESORICS 2002 [electronic resource] : 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14–16, 2002 Proceedings / edited by Dieter Gollmann, Günther Karjoth, Michael Waidner. by Gollmann, Dieter [editor.] | Karjoth, Günther [editor.] | Waidner, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2502Source: 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): .
|
|
|
|
|
|
|
|
From QoS Provisioning to QoS Charging [electronic resource] : Third COST 263 International Workshop on Quality of Future Internet Services, QofIS 2002 and Second International Workshop on Internet Charging and QoS Technologies, ICQT 2002 Zurich, Switzerland, October 16–18, 2002 Proceedings / edited by Burkhard Stiller, Michael Smirnow, Martin Karsten, Peter Reichl. by Stiller, Burkhard [editor.] | Smirnow, Michael [editor.] | Karsten, Martin [editor.] | Reichl, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2511Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
Document Analysis Systems V [electronic resource] : 5th International Workshop, DAS 2002 Princeton, NJ, USA, August 19–21, 2002 Proceedings / edited by Daniel Lopresti, Jianying Hu, Ramanujan Kashi. by Lopresti, Daniel [editor.] | Hu, Jianying [editor.] | Kashi, Ramanujan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2423Source: 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): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings / edited by Claire J. Tomlin, Mark R. Greenstreet. by Tomlin, Claire J [editor.] | Greenstreet, Mark R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2289Source: 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): .
|
|
|
|
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation — SAMOS / edited by Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis. by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2268Source: 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 Database Technology — EDBT 2002 [electronic resource] : 8th International Conference on Extending Database Technology Prague, Czech Republic, March 25–27, 2002 Proceedings / edited by Christian S. Jensen, Simonas Šaltenis, Keith G. Jeffery, Jaroslav Pokorny, Elisa Bertino, Klemens Böhn, Matthias Jarke. by Jensen, Christian S [editor.] | Šaltenis, Simonas [editor.] | Jeffery, Keith G [editor.] | Pokorny, Jaroslav [editor.] | Bertino, Elisa [editor.] | Böhn, Klemens [editor.] | Jarke, Matthias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2287Source: 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 Information Retrieval [electronic resource] : 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25–27, 2002 Proceedings / edited by Fabio Crestani, Mark Girolami, Cornelis Joost Rijsbergen. by Crestani, Fabio [editor.] | Girolami, Mark [editor.] | Rijsbergen, Cornelis Joost [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2291Source: 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): .
|