Your search returned 495 results.

Not what you expected? Check for suggestions
E-BOOKS
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.

by Beringer, Lennart [editor.] | Felty, Amy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7406Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Unconventional Computation and Natural Computation [electronic resource] : 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings / edited by Jérôme Durand-Lose, Nataša Jonoska.

by Durand-Lose, Jérôme [editor.] | Jonoska, Nataša [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7445Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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 Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori.

by Fisher, Michael [editor.] | Torre, Leon [editor.] | Dastani, Mehdi [editor.] | Governatori, Guido [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7486Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin.

by Kahl, Wolfram [editor.] | Griffin, Timothy G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7560Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / edited by Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin.

by Cerro, Luis Fariñas [editor.] | Herzig, Andreas [editor.] | Mengin, Jérôme [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7519Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / edited by Frank Ortmeier, Peter Daniel.

by Ortmeier, Frank [editor.] | Daniel, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7613Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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 Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe.

by Eleftherakis, George [editor.] | Hinchey, Mike [editor.] | Holcombe, Mike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7504Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7609Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7610Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Algorithmic Learning Theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / edited by Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis, Thomas Zeugmann.

by Bshouty, Nader H [editor.] | Stoltz, Gilles [editor.] | Vayatis, Nicolas [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7568Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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 Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the Representation of Lexicons and Grammars / edited by Luc Steels.

by Steels, Luc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7249Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory.

by Eder, Kerstin [editor.] | Lourenço, João [editor.] | Shehory, Onn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7261Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller.

by Hawblitzel, Chris [editor.] | Miller, Dale [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7679Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.

by Giacobazzi, Roberto [editor.] | Berdine, Josh [editor.] | Mastroeni, Isabella [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7737Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya.

by Lodaya, Kamal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7750Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.

by Bonacina, Maria Paola [editor.] | Stickel, Mark E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7788Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.

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

Series: Lecture Notes in Computer Science ; 7810Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach.

by Voronkov, Andrei [editor.] | Weidenbach, Christoph [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7797Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos.

by Baldoni, Matteo [editor.] | Dennis, Louise [editor.] | Mascardi, Viviana [editor.] | Vasconcelos, Wamberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7784Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert.

by Albert, Elvira [editor.] | SpringerLink (Online service).

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