Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle.

by Etalle, Sandro [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security and Privacy [electronic resource] : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings / edited by Colin Boyd, Juan Manuel González Nieto.

by Boyd, Colin [editor.] | González Nieto, Juan Manuel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings / edited by Pascal Hentenryck.

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

Series: Lecture Notes in Computer Science ; 3819Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / edited by Kousha Etessami, Sriram K. Rajamani.

by Etessami, Kousha [editor.] | Rajamani, Sriram K [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung.

by Caires, Luís [editor.] | Italiano, Giuseppe F [editor.] | Monteiro, Luís [editor.] | Palamidessi, Catuscia [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Machine Learning: ECML 2005 [electronic resource] : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings / edited by João Gama, Rui Camacho, Pavel B. Brazdil, Alípio Mário Jorge, Luís Torgo.

by Gama, João [editor.] | Camacho, Rui [editor.] | Brazdil, Pavel B [editor.] | Jorge, Alípio Mário [editor.] | Torgo, Luís [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Intelligent Data Engineering and Automated Learning - IDEAL 2005 [electronic resource] : 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings / edited by Marcus Gallagher, James P. Hogan, Frederic Maire.

by Gallagher, Marcus [editor.] | Hogan, James P [editor.] | Maire, Frederic [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings / edited by Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita.

by Jain, Sanjay [editor.] | Simon, Hans Ulrich [editor.] | Tomita, Etsuji [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Discovery Science [electronic resource] : 8th International Conference, DS 2005, Singapore, October 8 – 11, 2005. Proceedings / edited by Achim Hoffmann, Hiroshi Motoda, Tobias Scheffer.

by Hoffmann, Achim [editor.] | Motoda, Hiroshi [editor.] | Scheffer, Tobias [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algorithms and Data Structures [electronic resource] : 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings / edited by Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack.

by Dehne, Frank [editor.] | López-Ortiz, Alejandro [editor.] | Sack, Jörg-Rüdiger [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.

by Fitzgerald, John [editor.] | Hayes, Ian J [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Web-Based Learning – ICWL 2005 [electronic resource] : 4th International Conference, Hong Kong, China, July 31 - August 3, 2005. Proceedings / edited by Rynson W. H. Lau, Qing Li, Ronnie Cheung, Wenyin Liu.

by Lau, Rynson W. H [editor.] | Li, Qing [editor.] | Cheung, Ronnie [editor.] | Liu, Wenyin [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Human-Computer Interaction - INTERACT 2005 [electronic resource] : IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Proceedings / edited by Maria Francesca Costabile, Fabio Paternò.

by Costabile, Maria Francesca [editor.] | Paternò, Fabio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Natural Language Processing – IJCNLP 2005 [electronic resource] : Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings / edited by Robert Dale, Kam-Fai Wong, Jian Su, Oi Yee Kwong.

by Dale, Robert [editor.] | Wong, Kam-Fai [editor.] | Su, Jian [editor.] | Kwong, Oi Yee [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / edited by Andrew P. Black.

by Black, Andrew P [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computational Life Sciences [electronic resource] : First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings / edited by Michael R. Berthold, Robert C. Glen, Kay Diederichs, Oliver Kohlbacher, Ingrid Fischer.

by R. Berthold, Michael [editor.] | Glen, Robert C [editor.] | Diederichs, Kay [editor.] | Kohlbacher, Oliver [editor.] | Fischer, Ingrid [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Deterministic and Statistical Methods in Machine Learning [electronic resource] : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures / edited by Joab Winkler, Mahesan Niranjan, Neil Lawrence.

by Winkler, Joab [editor.] | Niranjan, Mahesan [editor.] | Lawrence, Neil [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Database and Expert Systems Applications [electronic resource] : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by Kim Viborg Andersen, John Debenham, Roland Wagner.

by Andersen, Kim Viborg [editor.] | Debenham, John [editor.] | Wagner, Roland [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings / edited by Bernhard Gramlich.

by Gramlich, Bernhard [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Multi-Agent Systems and Applications IV [electronic resource] : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings / edited by Michael Pěchouček, Paolo Petta, László Zsolt Varga.

by Pěchouček, Michael [editor.] | Petta, Paolo [editor.] | Varga, László Zsolt [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha