|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
Cooperative Information Systems [electronic resource] : 9th International Conference, CoopIS 2001 Trento, Italy, September 5–7, 2001 Proceedings / edited by Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella. by Batini, Carlo [editor.] | Giunchiglia, Fausto [editor.] | Giorgini, Paolo [editor.] | Mecella, Massimo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2172Source: 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): .
|
|
|
|
|
|
|
|
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): .
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 12th International Conference, DEXA 2001 Munich, Germany, September 3–5, 2001 Proceedings / edited by Heinrich C. Mayr, Jiri Lazansky, Gerald Quirchmayr, Pavel Vogel. by Mayr, Heinrich C [editor.] | Lazansky, Jiri [editor.] | Quirchmayr, Gerald [editor.] | Vogel, Pavel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2113Source: 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): .
|
|
|
|
Interactive Distributed Multimedia Systems [electronic resource] : 8th International Workshop, IDMS 2001 Lancaster, UK, September 4–7, 2001 Proceedings / edited by Doug Shepherd, Joe Finney, Laurent Mathy, Nicholas Race. by Shepherd, Doug [editor.] | Finney, Joe [editor.] | Mathy, Laurent [editor.] | Race, Nicholas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2158Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|