Your search returned 518 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by Giovanni Sommaruga.

by Sommaruga, Giovanni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5363Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / edited by Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martín-Vide.

by Dediu, Adrian Horia [editor.] | Ionescu, Armand Mihai [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5457Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner.

by Grumberg, Orna [editor.] | Kaminski, Michael [editor.] | Katz, Shmuel [editor.] | Wintner, Shuly [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5533Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings / edited by Maria Bras-Amorós, Tom Høholdt.

by Bras-Amorós, Maria [editor.] | Høholdt, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5527Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / edited by Pierre-Louis Curien.

by Curien, Pierre-Louis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5608Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings / edited by Ralf Treinen.

by Treinen, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5595Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro.

by Berardi, Stefano [editor.] | Damiani, Ferruccio [editor.] | de’Liguoro, Ugo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5497Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings / edited by Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt.

by Carette, Jacques [editor.] | Dixon, Lucas [editor.] | Coen, Claudio Sacerdoti [editor.] | Watt, Stephen M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5625Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings / edited by Volker Diekert, Dirk Nowotka.

by Diekert, Volker [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5583Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Rough Sets and Knowledge Technology [electronic resource] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings / edited by Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Yao, Shusaku Tsumoto, Guoyin Wang.

by Wen, Peng [editor.] | Li, Yuefeng [editor.] | Polkowski, Lech [editor.] | Yao, Yiyu [editor.] | Tsumoto, Shusaku [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5589Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Pairing-Based Cryptography – Pairing 2009 [electronic resource] : Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings / edited by Hovav Shacham, Brent Waters.

by Shacham, Hovav [editor.] | Waters, Brent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5671Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Fast Software Encryption [electronic resource] : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / edited by Orr Dunkelman.

by Dunkelman, Orr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5665Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.

by Corradini, Andrea [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5486Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan.

by Leucker, Martin [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5684Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Algebraic Informatics [electronic resource] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings / edited by Symeon Bozapalidis, George Rahonis.

by Bozapalidis, Symeon [editor.] | Rahonis, George [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5725Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings / edited by Irit Dinur, Klaus Jansen, Joseph Naor, José Rolim.

by Dinur, Irit [editor.] | Jansen, Klaus [editor.] | Naor, Joseph [editor.] | Rolim, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5687Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online 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
Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki.

by Kurz, Alexander [editor.] | Lenisa, Marina [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5728Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt.

by Tessaris, Sergio [editor.] | Franconi, Enrico [editor.] | Eiter, Thomas [editor.] | Gutierrez, Claudio [editor.] | Handschuh, Siegfried [editor.] | Rousset, Marie-Christine [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5689Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
String Processing and Information Retrieval [electronic resource] : 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings / edited by Jussi Karlgren, Jorma Tarhio, Heikki Hyyrö.

by Karlgren, Jussi [editor.] | Tarhio, Jorma [editor.] | Hyyrö, Heikki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5721Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks [electronic resource] : Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings / edited by Olivier Markowitch, Angelos Bilas, Jaap-Henk Hoepman, Chris J. Mitchell, Jean-Jacques Quisquater.

by Markowitch, Olivier [editor.] | Bilas, Angelos [editor.] | Hoepman, Jaap-Henk [editor.] | Mitchell, Chris J [editor.] | Quisquater, Jean-Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5746Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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