|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Bruce Schneier. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Schneier, Bruce [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1978Source: 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): .
|
|
|
|
Cryptographic Hardware and Embedded Systems — CHES 2001 [electronic resource] : Third International Workshop Paris, France, May 14–16, 2001 Proceedings / edited by Çetin K. Koç, David Naccache, Christof Paar. by Koç, Çetin K [editor.] | Naccache, David [editor.] | Paar, Christof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2162Source: 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): .
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : First International Conference, EMO 2001 Zurich, Switzerland, March 7–9, 2001 Proceedings / edited by Eckart Zitzler, Lothar Thiele, Kalyanmoy Deb, Carlos Artemio Coello Coello, David Corne. by Zitzler, Eckart [editor.] | Thiele, Lothar [editor.] | Deb, Kalyanmoy [editor.] | Coello Coello, Carlos Artemio [editor.] | Corne, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1993Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : Third International Workshop, EMMCVPR 2001 Sophia Antipolis, France, September 3–5, 2001 Proceedings / edited by Mário Figueiredo, Josiane Zerubia, Anil K. Jain. by Figueiredo, Mário [editor.] | Zerubia, Josiane [editor.] | Jain, Anil K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2134Source: 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] : 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings / edited by Selim G. Akl, Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro. by Akl, Selim G [editor.] | Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Santoro, Nicola [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 955Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / edited by Richard J. Boulton, Paul B. Jackson. by Boulton, Richard J [editor.] | Jackson, Paul B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2152Source: 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): .
|
|
|
|
|
|
|
|
EURO-PAR '95 Parallel Processing [electronic resource] : First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings / edited by Seif Haridi, Khayri Ali, Peter Magnusson. by Haridi, Seif [editor.] | Ali, Khayri [editor.] | Magnusson, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 966Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|