|
|
|
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss. by Thomas Schubert, E [editor.] | Windley, Philip J [editor.] | Alves-Foss, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 971Source: 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): .
|
|
|
|
Image Analysis and Processing [electronic resource] : 8th International Conference, ICIAP'95 San Remo, Italy, September 13–15, 1995 Proceedings / edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza. by Braccini, Carlo [editor.] | DeFloriani, Leila [editor.] | Vernazza, Gianni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 974Source: 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): .
|
|
|
|
Computational Science and Its Applications — ICCSA 2003 [electronic resource] : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part I / edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer. by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2667Source: 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): .
|
|
|
|
|
|
|
|
Computational Science and Its Applications — ICCSA 2003 [electronic resource] : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part III / edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer. by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2669Source: 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): .
|
|
|
|
Computational Science and Its Applications — ICCSA 2003 [electronic resource] : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part II / edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer. by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2668Source: 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): .
|
|
|
|
Quality of Service — IWQoS 2003 [electronic resource] : 11th International Workshop Berkeley, CA, USA, June 2–4, 2003 Proceedings / edited by Kevin Jeffay, Ion Stoica, Klaus Wehrle. by Jeffay, Kevin [editor.] | Stoica, Ion [editor.] | Wehrle, Klaus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2707Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Vector and Parallel Processing — VECPAR 2000 [electronic resource] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks / edited by José M. L. M. Palma, Jack Dongarra, Vicente Hernández. by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1981Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
Information Security and Privacy [electronic resource] : 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000. Proceedings / edited by E. P. Dawson, A. Clark, Colin Boyd. by Dawson, E. P [editor.] | Clark, A [editor.] | Boyd, Colin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1841Source: 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): .
|
|
|
|
Digital Rights Management [electronic resource] : Technological, Economic, Legal and Political Aspects / edited by Eberhard Becker, Willms Buhse, Dirk Günnewig, Niels Rump. by Becker, Eberhard [editor.] | Buhse, Willms [editor.] | Günnewig, Dirk [editor.] | Rump, Niels [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2770Source: 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] : 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Information Assurance in Computer Networks [electronic resource] : Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings / edited by Vladimir I. Gorodetski, Victor A. Skormin, Leonard J. Popyack. by Gorodetski, Vladimir I [editor.] | Skormin, Victor A [editor.] | Popyack, Leonard J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2052Source: 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): .
|
|
|
|
|