Your search returned 682 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5751Source: 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
Distributed Computing [electronic resource] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings / edited by Idit Keidar.

by Keidar, Idit [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5805Source: 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
Job Scheduling Strategies for Parallel Processing [electronic resource] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn.

by Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5798Source: 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
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled.

by Bensalem, Saddek [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5779Source: 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
Advances in Information and Computer Security [electronic resource] : 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings / edited by Tsuyoshi Takagi, Masahiro Mambo.

by Takagi, Tsuyoshi [editor.] | Mambo, Masahiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5824Source: 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
IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009. Proceedings / edited by Giorgio Nunzi, Caterina Scoglio, Xing Li.

by Nunzi, Giorgio [editor.] | Scoglio, Caterina [editor.] | Li, Xing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5843Source: 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
Integrated Management of Systems, Services, Processes and People in IT [electronic resource] : 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings / edited by Claudio Bartolini, Luciano Paschoal Gaspary.

by Bartolini, Claudio [editor.] | Gaspary, Luciano Paschoal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5841Source: 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
Robust and Online Large-Scale Optimization [electronic resource] : Models and Techniques for Transportation Systems / edited by Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis.

by Ahuja, Ravindra K [editor.] | Möhring, Rolf H [editor.] | Zaroliagis, Christos D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5868Source: 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
Architecting Dependable Systems VI [electronic resource] / edited by Rogério Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek.

by Lemos, Rogério [editor.] | Fabre, Jean-Charles [editor.] | Gacek, Cristina [editor.] | Gadducci, Fabio [editor.] | Beek, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5835Source: 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
Service-Oriented Computing [electronic resource] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings / edited by Luciano Baresi, Chi-Hung Chi, Jun Suzuki.

by Baresi, Luciano [editor.] | Chi, Chi-Hung [editor.] | Suzuki, Jun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5900Source: 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
Performance Evaluation and Benchmarking [electronic resource] : First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.

by Nambiar, Raghunath [editor.] | Poess, Meikel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5895Source: 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
Middleware 2009 [electronic resource] : ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings / edited by Jean M. Bacon, Brian F. Cooper.

by Bacon, Jean M [editor.] | Cooper, Brian F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5896Source: 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
Future Generation Information Technology [electronic resource] : First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009. Proceedings / edited by Young-hoon Lee, Tai-hoon Kim, Wai-chi Fang, Dominik Ślęzak.

by Lee, Young-hoon [editor.] | Kim, Tai-hoon [editor.] | Fang, Wai-chi [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5899Source: 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
Cloud Computing [electronic resource] : First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings / edited by Martin Gilje Jaatun, Gansen Zhao, Chunming Rong.

by Jaatun, Martin Gilje [editor.] | Zhao, Gansen [editor.] | Rong, Chunming [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5931Source: 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
High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers / edited by Wu Zhang, Zhangxin Chen, Craig C. Douglas, Weiqin Tong.

by Zhang, Wu [editor.] | Chen, Zhangxin [editor.] | Douglas, Craig C [editor.] | Tong, Weiqin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5938Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings / edited by Christian Müller-Schloer, Wolfgang Karl, Sami Yehia.

by Müller-Schloer, Christian [editor.] | Karl, Wolfgang [editor.] | Yehia, Sami [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5974Source: 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
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart.

by Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Caro, Gianni A [editor.] | Ebner, Marc [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Grahl, Jörn [editor.] | Greenfield, Gary [editor.] | Machado, Penousal [editor.] | O’Neill, Michael [editor.] | Tarantino, Ernesto [editor.] | Urquhart, Neil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6025Source: 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
Large-Scale Scientific Computing [electronic resource] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski.

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5910Source: 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
Pervasive Computing [electronic resource] : 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings / edited by Patrik Floréen, Antonio Krüger, Mirjana Spasojevic.

by Floréen, Patrik [editor.] | Krüger, Antonio [editor.] | Spasojevic, Mirjana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6030Source: 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
Progress in Cryptology – AFRICACRYPT 2010 [electronic resource] : Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings / edited by Daniel J. Bernstein, Tanja Lange.

by Bernstein, Daniel J [editor.] | Lange, Tanja [editor.] | SpringerLink (Online service).

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