Your search returned 1527 results.

Not what you expected? Check for suggestions
E-BOOKS
Learning Classifier Systems [electronic resource] : International Workshops, IWLCS 2003-2005, Revised Selected Papers / edited by Tim Kovacs, Xavier Llorà, Keiki Takadama, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson.

by Kovacs, Tim [editor.] | Llorà, Xavier [editor.] | Takadama, Keiki [editor.] | Lanzi, Pier Luca [editor.] | Stolzmann, Wolfgang [editor.] | Wilson, Stewart W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4399Source: 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): .

Place hold Log in to add tags
E-BOOKS
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jörg Bauer.

by Reps, Thomas [editor.] | Sagiv, Mooly [editor.] | Bauer, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4444Source: 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): .

Place hold Log in to add tags
E-BOOKS
Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings / edited by Helmut Seidl.

by Seidl, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4423Source: 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): .

Place hold Log in to add tags
E-BOOKS
Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla.

by Puebla, Germán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4407Source: 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): .

Place hold Log in to add tags
E-BOOKS
Anaphora: Analysis, Algorithms and Applications [electronic resource] : 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers / edited by António Branco.

by Branco, António [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4410Source: 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): .

Place hold Log in to add tags
E-BOOKS
Transactions on Rough Sets VII [electronic resource] : Commemorating the Life and Work of Zdzisław Pawlak, Part II / edited by James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orłowska, Roman Słowiński, Wojciech Ziarko.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Marek, Victor W [editor.] | Orłowska, Ewa [editor.] | Słowiński, Roman [editor.] | Ziarko, Wojciech [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4400Source: 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): .

Place hold Log in to add tags
E-BOOKS
Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens.

by Fiadeiro, José Luiz [editor.] | Schobbens, Pierre-Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4409Source: 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): .

Place hold Log in to add tags
E-BOOKS
All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott.

by Clavel, Manuel [author.] | Durán, Francisco [author.] | Eker, Steven [author.] | Lincoln, Patrick [author.] | Martí-Oliet, Narciso [author.] | Meseguer, José [author.] | Talcott, Carolyn [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4350Source: 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): .

Place hold Log in to add tags
E-BOOKS
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf.

by Baral, Chitta [editor.] | Brewka, Gerhard [editor.] | Schlipf, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4483Source: 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): .

Place hold Log in to add tags
E-BOOKS
Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick J. Cercone, Dominik Ślȩzak.

by Yao, JingTao [editor.] | Lingras, Pawan [editor.] | Wu, Wei-Zhi [editor.] | Szczuka, Marcin [editor.] | Cercone, Nick J [editor.] | Ślȩzak, Dominik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4481Source: 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): .

Place hold Log in to add tags
E-BOOKS
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by Aijun An, Jerzy Stefanowski, Sheela Ramanna, Cory J. Butz, Witold Pedrycz, Guoyin Wang.

by An, Aijun [editor.] | Stefanowski, Jerzy [editor.] | Ramanna, Sheela [editor.] | Butz, Cory J [editor.] | Pedrycz, Witold [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4482Source: 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): .

Place hold Log in to add tags
E-BOOKS
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode.

by Artemov, Sergei N [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4514Source: 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): .

Place hold Log in to add tags
E-BOOKS
Theory and Applications of Satisfiability Testing – SAT 2007 [electronic resource] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah.

by Marques-Silva, João [editor.] | Sakallah, Karem A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4501Source: 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): .

Place hold Log in to add tags
E-BOOKS
Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings / edited by Nader H. Bshouty, Claudio Gentile.

by Bshouty, Nader H [editor.] | Gentile, Claudio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4539Source: 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): .

Place hold Log in to add tags
E-BOOKS
Foundations of Fuzzy Logic and Soft Computing [electronic resource] : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings / edited by Patricia Melin, Oscar Castillo, Luis T. Aguilar, Janusz Kacprzyk, Witold Pedrycz.

by Melin, Patricia [editor.] | Castillo, Oscar [editor.] | Aguilar, Luis T [editor.] | Kacprzyk, Janusz [editor.] | Pedrycz, Witold [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4529Source: 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): .

Place hold Log in to add tags
E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti.

by Olivetti, Nicola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4548Source: 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): .

Place hold Log in to add tags
E-BOOKS
Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner.

by Comon-Lundh, Hubert [editor.] | Kirchner, Claude [editor.] | Kirchner, Hélène [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4600Source: 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): .

Place hold Log in to add tags
E-BOOKS
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.

by Harju, Tero [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4588Source: 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): .

Place hold Log in to add tags
E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca.

by Rocca, Simona Ronchi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4583Source: 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): .

Place hold Log in to add tags
E-BOOKS
Natural Language Processing and Information Systems [electronic resource] : 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings / edited by Zoubida Kedad, Nadira Lammari, Elisabeth Métais, Farid Meziane, Yacine Rezgui.

by Kedad, Zoubida [editor.] | Lammari, Nadira [editor.] | Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Rezgui, Yacine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4592Source: 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): .

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

Powered by Koha