Your search returned 3730 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue.

by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7542Source: 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
Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers / edited by Roberto Pietro, Javier Herranz, Ernesto Damiani, Radu State.

by Pietro, Roberto [editor.] | Herranz, Javier [editor.] | Damiani, Ernesto [editor.] | State, Radu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7731Source: 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
Selected Areas in Cryptography [electronic resource] : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers / edited by Lars R. Knudsen, Huapeng Wu.

by Knudsen, Lars R [editor.] | Wu, Huapeng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7707Source: 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
Semantics in Data and Knowledge Bases [electronic resource] : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim.

by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7693Source: 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
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš.

by Kučera, Antonín [editor.] | Henzinger, Thomas A [editor.] | Nešetřil, Jaroslav [editor.] | Vojnar, Tomáš [editor.] | Antoš, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7721Source: 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
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures / edited by Andrea Lucia, Filomena Ferrucci.

by Lucia, Andrea [editor.] | Ferrucci, Filomena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7171Source: 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
Distributed Computing and Internet Technology [electronic resource] : 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings / edited by Chittaranjan Hota, Pradip K. Srimani.

by Hota, Chittaranjan [editor.] | Srimani, Pradip K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7753Source: 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
Citizen in Sensor Networks [electronic resource] : First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers / edited by Jordi Nin, Daniel Villatoro.

by Nin, Jordi [editor.] | Villatoro, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7685Source: 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
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin.

by Czarnecki, Krzysztof [editor.] | Hedin, Görel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7745Source: 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
Construction and Evolution of Code Generators [electronic resource] : A Model-Driven and Service-Oriented Approach / by Sven Jörges.

by Jörges, Sven [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7747Source: 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
Radio Frequency Identification. Security and Privacy Issues [electronic resource] : 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers / edited by Jaap-Henk Hoepman, Ingrid Verbauwhede.

by Hoepman, Jaap-Henk [editor.] | Verbauwhede, Ingrid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7739Source: 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
Security Protocols XVII [electronic resource] : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe.

by Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Matyáš, Vashek [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7028Source: 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
Agents and Data Mining Interaction [electronic resource] : 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers / edited by Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir I. Gorodetsky, Philip S. Yu, Munindar P Singh.

by Cao, Longbing [editor.] | Zeng, Yifeng [editor.] | Symeonidis, Andreas L [editor.] | Gorodetsky, Vladimir I [editor.] | Yu, Philip S [editor.] | Singh, Munindar P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7607Source: 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
Public-Key Cryptography – PKC 2013 [electronic resource] : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings / edited by Kaoru Kurosawa, Goichiro Hanaoka.

by Kurosawa, Kaoru [editor.] | Hanaoka, Goichiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7778Source: 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
Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal.

by Kirchner, Matthias [editor.] | Ghosal, Dipak [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7692Source: 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
Information Retrieval Meets Information Visualization [electronic resource] : PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures / edited by Maristella Agosti, Nicola Ferro, Pamela Forner, Henning Müller, Giuseppe Santucci.

by Agosti, Maristella [editor.] | Ferro, Nicola [editor.] | Forner, Pamela [editor.] | Müller, Henning [editor.] | Santucci, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7757Source: 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
Architecture of Computing Systems – ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings / edited by Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick.

by Kubátová, Hana [editor.] | Hochberger, Christian [editor.] | Daněk, Martin [editor.] | Sick, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7767Source: 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
Process Support and Knowledge Representation in Health Care [electronic resource] : BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers / edited by Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, David Riaño, Annette Teije.

by Lenz, Richard [editor.] | Miksch, Silvia [editor.] | Peleg, Mor [editor.] | Reichert, Manfred [editor.] | Riaño, David [editor.] | Teije, Annette [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7738Source: 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
Intelligent Information and Database Systems [electronic resource] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II / edited by Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron.

by Selamat, Ali [editor.] | Nguyen, Ngoc Thanh [editor.] | Haron, Habibollah [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7803Source: 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
Intelligent Information and Database Systems [electronic resource] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I / edited by Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron.

by Selamat, Ali [editor.] | Nguyen, Ngoc Thanh [editor.] | Haron, Habibollah [editor.] | SpringerLink (Online service).

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