|
|
|
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): .
|
|
|
|
|
|
|
|
Intelligent Virtual Agents [electronic resource] : Third International Workshop, IVA 2001 Madrid, Spain, September 10–11, 2001 Proceedings / edited by Angélica Antonio, Ruth Aylett, Daniel Ballin. by Antonio, Angélica [editor.] | Aylett, Ruth [editor.] | Ballin, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2190Source: 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): .
|
|
|
|
Advances in Learning Software Organizations [electronic resource] : Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings / edited by Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller. by Althoff, Klaus-Dieter [editor.] | Feldmann, Raimund L [editor.] | Müller, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2176Source: 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): .
|
|
|
|
Advances in Intelligent Data Analysis [electronic resource] : 4th International Conference, IDA 2001 Cascais, Portugal, September 13–15, 2001 Proceedings / edited by Frank Hoffmann, David J. Hand, Niall Adams, Douglas Fisher, Gabriela Guimaraes. by Hoffmann, Frank [editor.] | Hand, David J [editor.] | Adams, Niall [editor.] | Fisher, Douglas [editor.] | Guimaraes, Gabriela [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2189Source: 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): .
|
|
|
|
|