Your search returned 1605 results.

Not what you expected? Check for suggestions
E-BOOKS
Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand.

by Brucker, Achim D [editor.] | Julliand, Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7305Source: 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 and Practice of Model Transformations [electronic resource] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / edited by Zhenjiang Hu, Juan Lara.

by Hu, Zhenjiang [editor.] | Lara, Juan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7307Source: 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
Objects, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz.

by Furia, Carlo A [editor.] | Nanz, Sebastian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7304Source: 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 Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book.

by Gschwind, Thomas [editor.] | Paoli, Flavio [editor.] | Gruhn, Volker [editor.] | Book, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7306Source: 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
Reliable Software Technologies – Ada-Europe 2012 [electronic resource] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / edited by Mats Brorsson, Luís Miguel Pinho.

by Brorsson, Mats [editor.] | Pinho, Luís Miguel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7308Source: 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
Computer Science – Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / edited by Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii.

by Hirsch, Edward A [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Prilutskii, Michail [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7353Source: 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
Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne.

by Derrick, John [editor.] | Gnesi, Stefania [editor.] | Latella, Diego [editor.] | Treharne, Helen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7321Source: 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
Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce.

by Erdem, Esra [editor.] | Lee, Joohyung [editor.] | Lierler, Yuliya [editor.] | Pearce, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7265Source: 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
Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu.

by Giese, Holger [editor.] | Rosu, Grigore [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7273Source: 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 Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday / edited by Maritta Heisel.

by Heisel, Maritta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7365Source: 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
Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

by Derrick, John [editor.] | Fitzgerald, John [editor.] | Gnesi, Stefania [editor.] | Khurshid, Sarfraz [editor.] | Leuschel, Michael [editor.] | Reeves, Steve [editor.] | Riccobene, Elvinia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7316Source: 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
The Multivariate Algorithmic Revolution and Beyond [electronic resource] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx.

by Bodlaender, Hans L [editor.] | Downey, Rod [editor.] | Fomin, Fedor V [editor.] | Marx, Dániel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7370Source: 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
ECOOP 2012 – Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings / edited by James Noble.

by Noble, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7313Source: 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
Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira.

by Gibbons, Jeremy [editor.] | Nogueira, Pablo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7342Source: 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
Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello.

by Haddad, Serge [editor.] | Pomello, Lucia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7347Source: 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
Logical Aspects of Computational Linguistics [electronic resource] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings / edited by Denis Béchet, Alexander Dikovsky.

by Béchet, Denis [editor.] | Dikovsky, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7351Source: 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
Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler.

by Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Uli [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7364Source: 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
Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge.

by Jeuring, Johan [editor.] | Campbell, John A [editor.] | Carette, Jacques [editor.] | Reis, Gabriel [editor.] | Sojka, Petr [editor.] | Wenzel, Makarius [editor.] | Sorge, Volker [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7362Source: 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
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia.

by Madhusudan, P [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7358Source: 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
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko.

by Bezhanishvili, Nick [editor.] | Goranko, Valentin [editor.] | SpringerLink (Online service).

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