Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Category Theory and Computer Science [electronic resource] : 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings / edited by Eugenio Moggi, Giuseppe Rosolini.

by Moggi, Eugenio [editor.] | Rosolini, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1290Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford.

by Doherty, Gavin [editor.] | Blandford, Ann [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4323Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / edited by Michael Hanus, Jan Heering, Karl Meinke.

by Hanus, Michael [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1298Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Analysis of Images and Patterns [electronic resource] : 7th International Conference, CAIP '97 Kiel, Germany, September 10–12, 1997 Proceedings / edited by Gerald Sommer, Kostas Daniilidis, Josef Pauli.

by Sommer, Gerald [editor.] | Daniilidis, Kostas [editor.] | Pauli, Josef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1296Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Field-Programmable Logic and Applications [electronic resource] : 7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings / edited by Wayne Luk, Peter Y. K. Cheung, Manfred Glesner.

by Luk, Wayne [editor.] | Cheung, Peter Y. K [editor.] | Glesner, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1304Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Product-Focused Software Process Improvement [electronic resource] : 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / edited by Andreas Jedlitschka, Outi Salo.

by Jedlitschka, Andreas [editor.] | Salo, Outi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5089Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Multimodal Technologies for Perception of Humans [electronic resource] : First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers / edited by Rainer Stiefelhagen, John Garofolo.

by Stiefelhagen, Rainer [editor.] | Garofolo, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4122Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Static Analysis [electronic resource] : 4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1302Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / edited by Thomas Kropf.

by Kropf, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1287Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Evolutionary Computing [electronic resource] : AISB International Workshop Manchester, UK, April 7–8, 1997 Selected Papers / edited by David Corne, Jonathan L. Shapiro.

by Corne, David [editor.] | Shapiro, Jonathan L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1305Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Database and Expert Systems Applications [electronic resource] : 8th International Conference, DEXA '97 Toulouse, France, September 1–5, 1997 Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa.

by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1308Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
KI-97: Advances in Artificial Intelligence [electronic resource] : 21st Annual German Conference on Artificial Intelligence Freiburg, Germany, September 9–12, 1997 Proceedings / edited by Gerhard Brewka, Christopher Habel, Bernhard Nebel.

by Brewka, Gerhard [editor.] | Habel, Christopher [editor.] | Nebel, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1303Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Inductive Logic Programming [electronic resource] : 6th International Workshop, ILP-96 Stockholm, Sweden, August 26–28, 1996 Selected Papers / edited by Stephen Muggleton.

by Muggleton, Stephen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1314Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Image Analysis and Processing [electronic resource] : 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume I / edited by Alberto Bimbo.

by Bimbo, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1310Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Image Analysis and Processing [electronic resource] : 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume II / edited by Alberto Bimbo.

by Bimbo, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1311Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Inductive Logic Programming [electronic resource] : 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings / edited by Nada Lavrač, Sašo Džeroski.

by Lavrač, Nada [editor.] | Džeroski, Sašo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1297Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Rules in Database Systems [electronic resource] : Third International Workshop, RIDS '97 Skövde, Sweden, June 26–28, 1997 Proceedings / edited by Andreas Geppert, Mikael Berndtsson.

by Geppert, Andreas [editor.] | Berndtsson, Mikael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1312Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algebraic Frames for the Perception-Action Cycle [electronic resource] : International Workshop, AFPAC'97 Kiel, Germany, September 8–9, 1997 Proceedings / edited by Gerald Sommer, Jan J. Koenderink.

by Sommer, Gerald [editor.] | Koenderink, Jan J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1315Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Interactive Distributed Multimedia Systems and Telecommunication Services [electronic resource] : 4th International Workshop, IDMS '97 Darmstadt, Germany, September 10–12, 1997 Proceedings / edited by Ralf Steinmetz, Lars C. Wolf.

by Steinmetz, Ralf [editor.] | Wolf, Lars C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1309Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Music, Gestalt, and Computing [electronic resource] : Studies in Cognitive and Systematic Musicology / edited by Marc Leman.

by Leman, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artifical Intelligence ; 1317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha