Your search returned 414 results.

Not what you expected? Check for suggestions
E-BOOKS
Transactional Memory. Foundations, Algorithms, Tools, and Applications [electronic resource] : COST Action Euro-TM IC1001 / edited by Rachid Guerraoui, Paolo Romano.

by Guerraoui, Rachid [editor.] | Romano, Paolo [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8913 | Lecture Notes in Computer Science ; 8913Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.

by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Montanari, Ugo [editor.] | Ribeiro, Leila [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4178Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Engineering Human Computer Interaction and Interactive Systems [electronic resource] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers / edited by Rémi Bastide, Philippe Palanque, Jörg Roth.

by Bastide, Rémi [editor.] | Palanque, Philippe [editor.] | Roth, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3425Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Requirements Targeting Software and Systems Engineering [electronic resource] : International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997 / edited by Manfred Broy, Bernhard Rumpe.

by Broy, Manfred [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1526Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Case-Based Reasoning Technology [electronic resource] : From Foundations to Applications / edited by Mario Lenz, Hans-Dieter Burkhard, Brigitte Bartsch-Spörl, Stefan Wess.

by Lenz, Mario [editor.] | Burkhard, Hans-Dieter [editor.] | Bartsch-Spörl, Brigitte [editor.] | Wess, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1400Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Computational Mathematics, Santander 2005 / Edited by Luis M. Pardo, Allan Pinkus, Endre Suli, Michael J. Todd.

by Pardo, Luis M [editor of compilation.] | Pinkus, Allan [editor of compilation.] | Suli, Endre [editor of compilation.] | Todd, Michael J [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 331Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
The Good state On the principles of democracy

by Grayling, A. C.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: London Oneworld Publication 2020Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 2, Shelf No: 9 Call number: 328 GRA.

Place hold Log in to add tags
E-BOOKS
Brain Informatics and Health [electronic resource] : 8th International Conference, BIH 2015, London, UK, August 30 - September 2, 2015. Proceedings / edited by Yike Guo, Karl Friston, Faisal Aldo, Sean Hill, Hanchuan Peng.

by Guo, Yike [editor.] | Friston, Karl [editor.] | Aldo, Faisal [editor.] | Hill, Sean [editor.] | Peng, Hanchuan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9250 | Lecture Notes in Computer Science ; 9250Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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
Introducing Molecular Electronics [electronic resource] / edited by Gianaurelio Cuniberti, Klaus Richter, Giorgos Fagas.

by Cuniberti, Gianaurelio [editor.] | Richter, Klaus [editor.] | Fagas, Giorgos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 680Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Symmetries and Semiclassical Features of Nuclear Dynamics [electronic resource] : Invited Lectures of the 1986 International Summer School, Held at Poiana Brasov, Romania, September 1–13, 1986 / edited by A. A. Raduta.

by Raduta, A. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 279Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Theoretical Foundations of Quantum Information Processing and Communication [electronic resource] : Selected Topics / edited by Erwin Brüning, Francesco Petruccione.

by Brüning, Erwin [editor.] | Petruccione, Francesco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 787Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Digital Rights Management. Technologies, Issues, Challenges and Systems [electronic resource] : First International Conference, DRMTICS 2005, Sydney, Australia, October 31 - November 2, 2005. Revised Selected Papers / edited by Reihaneh Safavi-Naini, Moti Yung.

by Safavi-Naini, Reihaneh [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3919Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers / edited by Jens Blanck, Vasco Brattka, Peter Hertling.

by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2064Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Agent-Oriented Information Systems III [electronic resource] : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers / edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff.

by Kolp, Manuel [editor.] | Bresciani, Paolo [editor.] | Henderson-Sellers, Brian [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3529Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Human-Computer Interaction [electronic resource] : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers / edited by Brad Blumenthal, Juri Gornostaev, Claus Unger.

by Blumenthal, Brad [editor.] | Gornostaev, Juri [editor.] | Unger, Claus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 876Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings / edited by Igor Prívara, Peter Ružička.

by Prívara, Igor [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1295Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt.

by Tessaris, Sergio [editor.] | Franconi, Enrico [editor.] | Eiter, Thomas [editor.] | Gutierrez, Claudio [editor.] | Handschuh, Siegfried [editor.] | Rousset, Marie-Christine [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5689Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef.

by Abran, Alain [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Cuadrado-Gallego, Juan J [editor.] | Brunekreef, Jacob [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5891Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz.

by Dawar, Anuj [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6188Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.

by Blass, Andreas [editor.] | Dershowitz, Nachum [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service).

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