|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 [electronic resource] : 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part II / edited by Rasmus Larsen, Mads Nielsen, Jon Sporring. by Larsen, Rasmus [editor.] | Nielsen, Mads [editor.] | Sporring, Jon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4191Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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): .
|
|
|
|
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): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
Principles of Data Mining and Knowledge Discovery [electronic resource] : 5th European Conference, PKDD 2001, Freiburg, Germany, September 3–5, 2001 Proceedings / edited by Luc Raedt, Arno Siebes. by Raedt, Luc [editor.] | Siebes, Arno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2168Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Other title: Dedicated to Jan Zytkow.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham. by Margaria, Tiziana [editor.] | Melham, Tom [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2144Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 4th International Conference, TSD 2001 železná Ruda, Czech Republic, September 11–13, 2001, Proceedings / edited by Václav Matoušek, Pavel Mautner, Roman Mouček, Karel Taušer. by Matoušek, Václav [editor.] | Mautner, Pavel [editor.] | Mouček, Roman [editor.] | Taušer, Karel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2166Source: 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): .
|
|
|
|
Technologies for E-Services [electronic resource] : Second International Workshop, TES 2001 Rome, Italy, September 14–15, 2001 Proceedings / edited by Fabio Casati, Ming-Chien Shan, Dimitrios Georgakopoulos. by Casati, Fabio [editor.] | Shan, Ming-Chien [editor.] | Georgakopoulos, Dimitrios [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2193Source: 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): .
|
|
|
|
|