Your search returned 1266 results.

Not what you expected? Check for suggestions
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
Advances in Grid and Pervasive Computing [electronic resource] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois.

by Li, Ruixuan [editor.] | Cao, Jiannong [editor.] | Bourgeois, Julien [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7296Source: 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
Coordination Models and Languages [electronic resource] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / edited by Marjan Sirjani.

by Sirjani, Marjan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7274Source: 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
Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing.

by Klasing, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7276Source: 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
OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro.

by Chapman, Barbara M [editor.] | Massaioli, Federico [editor.] | Müller, Matthias S [editor.] | Rorro, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7312Source: 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
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen.

by Pankratius, Victor [editor.] | Philippsen, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7303Source: 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
Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski.

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7203Source: 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
Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay.

by Rahaman, Hafizur [editor.] | Chattopadhyay, Sanatan [editor.] | Chattopadhyay, Santanu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7373Source: 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
Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski.

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7204Source: 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
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem.

by Ågotnes, Thomas [editor.] | Broersen, Jan [editor.] | Elgesem, Dag [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7393Source: 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
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.

by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7421Source: 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
Programming Multi-Agent Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini.

by Dennis, Louise [editor.] | Boissier, Olivier [editor.] | Bordini, Rafael H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7217Source: 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
Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi.

by Muggleton, Stephen H [editor.] | Tamaddoni-Nezhad, Alireza [editor.] | Lisi, Francesca A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7207Source: 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
Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / edited by Ricardo Peña, Rex Page.

by Peña, Ricardo [editor.] | Page, Rex [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7193Source: 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
Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer.

by Zsók, Viktória [editor.] | Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7241Source: 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
Generic and Indexed Programming [electronic resource] : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures / edited by Jeremy Gibbons.

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

Series: Lecture Notes in Computer Science ; 7470Source: 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
Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal.

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

Series: Lecture Notes in Computer Science ; 7225Source: 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
Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings / edited by Antonis Bikakis, Adrian Giurca.

by Bikakis, Antonis [editor.] | Giurca, Adrian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7438Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha