Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.

by Bjørner, Nikolaj [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7180Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Lars Birkedal.

by Birkedal, Lars [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7213Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara König.

by Flanagan, Cormac [editor.] | König, Barbara [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Processign in Cells and Tissues [electronic resource] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 – April 2, 2012. Proceedings / edited by Michael A. Lones, Stephen L. Smith, Sarah Teichmann, Felix Naef, James A. Walker, Martin A. Trefzer.

by Lones, Michael A [editor.] | Smith, Stephen L [editor.] | Teichmann, Sarah [editor.] | Naef, Felix [editor.] | Walker, James A [editor.] | Trefzer, Martin A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7223Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann.

by Sloane, Anthony [editor.] | Aßmann, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6940Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl.

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

Series: Lecture Notes in Computer Science ; 7211Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman.

by Lara, Juan [editor.] | Zisman, Andrea [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7212Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Data Privacy Management and Autonomous Spontaneus Security [electronic resource] : 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Nora Cuppens-Boulahia, Sabrina Capitani di Vimercati.

by Garcia-Alfaro, Joaquin [editor.] | Navarro-Arribas, Guillermo [editor.] | Cuppens-Boulahia, Nora [editor.] | Capitani di Vimercati, Sabrina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7122Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Processing of the Portuguese Language [electronic resource] : 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012. Proceedings / edited by Helena Caseli, Aline Villavicencio, António Teixeira, Fernando Perdigão.

by Caseli, Helena [editor.] | Villavicencio, Aline [editor.] | Teixeira, António [editor.] | Perdigão, Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7243Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person.

by Goodloe, Alwyn E [editor.] | Person, Suzette [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7226Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings / edited by Ronald Cramer.

by Cramer, Ronald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7194Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Critical Infrastructure Protection [electronic resource] : Information Infrastructure Models, Analysis, and Defense / edited by Javier Lopez, Roberto Setola, Stephen D. Wolthusen.

by Lopez, Javier [editor.] | Setola, Roberto [editor.] | Wolthusen, Stephen D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7130Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II / edited by Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho.

by Corchado, Emilio [editor.] | Snášel, Václav [editor.] | Abraham, Ajith [editor.] | Woźniak, Michał [editor.] | Graña, Manuel [editor.] | Cho, Sung-Bae [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7209Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, Jürgen Dix, Peter Novák.

by Collier, Rem [editor.] | Dix, Jürgen [editor.] | Novák, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6599Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I / edited by Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho.

by Corchado, Emilio [editor.] | Snášel, Václav [editor.] | Abraham, Ajith [editor.] | Woźniak, Michał [editor.] | Graña, Manuel [editor.] | Cho, Sung-Bae [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7208Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Information Retrieval [electronic resource] : 34th European Conference on IR Research, ECIR 2012, Barcelona, Spain, April 1-5, 2012. Proceedings / edited by Ricardo Baeza-Yates, Arjen P. Vries, Hugo Zaragoza, B. Barla Cambazoglu, Vanessa Murdock, Ronny Lempel, Fabrizio Silvestri.

by Baeza-Yates, Ricardo [editor.] | Vries, Arjen P [editor.] | Zaragoza, Hugo [editor.] | Cambazoglu, B. Barla [editor.] | Murdock, Vanessa [editor.] | Lempel, Ronny [editor.] | Silvestri, Fabrizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7224Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Cryptology – EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings / edited by David Pointcheval, Thomas Johansson.

by Pointcheval, David [editor.] | Johansson, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7237Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings / edited by Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.

by Yu, Hwanjo [editor.] | Yu, Ge [editor.] | Hsu, Wynne [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7240Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part II / edited by Sang-goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.

by Lee, Sang-goo [editor.] | Peng, Zhiyong [editor.] | Zhou, Xiaofang [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7239Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I / edited by Sang-goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.

by Lee, Sang-goo [editor.] | Peng, Zhiyong [editor.] | Zhou, Xiaofang [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [editor.] | SpringerLink (Online service).

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