Your search returned 138 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Concept Analysis [electronic resource] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / edited by Sébastien Ferré, Sebastian Rudolph.

by Ferré, Sébastien [editor.] | Rudolph, Sebastian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5548Source: 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
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
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
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
Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle.

by Grädel, Erich [editor.] | Kahle, Reinhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5771Source: 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
Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg.

by Palsberg, Jens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5700Source: 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
Algorithmic Decision Theory [electronic resource] : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings / edited by Francesca Rossi, Alexis Tsoukias.

by Rossi, Francesca [editor.] | Tsoukias, Alexis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5783Source: 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
Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller.

by Berghammer, Rudolf [editor.] | Jaoua, Ali Mohamed [editor.] | Möller, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5827Source: 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
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit.

by He, Xiangdong [editor.] | Horty, John [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5834Source: 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
Combinatorial Algorithms [electronic resource] : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers / edited by Jiří Fiala, Jan Kratochvíl, Mirka Miller.

by Fiala, Jiří [editor.] | Kratochvíl, Jan [editor.] | Miller, Mirka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5874Source: 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
Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings / edited by Léonard Kwuida, Barış Sertkaya.

by Kwuida, Léonard [editor.] | Sertkaya, Barış [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5986Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz.

by Dawar, Anuj [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6188Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.

by Aloni, Maria [editor.] | Bastiaanse, Harald [editor.] | Jager, Tikitu [editor.] | Schulz, Katrin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6042Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
The Mathematics of Language [electronic resource] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis.

by Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | Michaelis, Jens [editor.] | SpringerLink (Online service).

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