Your search returned 1180 results.

Not what you expected? Check for suggestions
E-BOOKS
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 448Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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 Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Hung, Mizuhito Ogawa.

by Hung, Dang [editor.] | Ogawa, Mizuhito [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.

by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8244Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita.

by Higashino, Teruo [editor.] | Katayama, Yoshiaki [editor.] | Masuzawa, Toshimitsu [editor.] | Potop-Butucaru, Maria [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8255Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Ambient Assisted Living and Active Aging [electronic resource] : 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Christopher Nugent, Antonio Coronato, José Bravo.

by Nugent, Christopher [editor.] | Coronato, Antonio [editor.] | Bravo, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8277Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [electronic resource] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira.

by Urzaiz, Gabriel [editor.] | Ochoa, Sergio F [editor.] | Bravo, José [editor.] | Chen, Liming Luke [editor.] | Oliveira, Jonice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8276Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash.

by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Dash, Shubhransu Sekhar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8297Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash.

by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Dash, Shubhransu Sekhar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8298Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten Steen.

by Baldoni, Roberto [editor.] | Nisse, Nicolas [editor.] | Steen, Maarten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8304Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I / edited by Joanna Kołodziej, Beniamino Martino, Domenico Talia, Kaiqi Xiong.

by Kołodziej, Joanna [editor.] | Martino, Beniamino [editor.] | Talia, Domenico [editor.] | Xiong, Kaiqi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8285Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Multiple Access Communcations [electronic resource] : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Ninoslav Marina, Desislava Dimitrova, Dieter Fiems.

by Jonsson, Magnus [editor.] | Vinel, Alexey [editor.] | Bellalta, Boris [editor.] | Marina, Ninoslav [editor.] | Dimitrova, Desislava [editor.] | Fiems, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8310Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II / edited by Rocco Aversa, Joanna Kołodziej, Jun Zhang, Flora Amato, Giancarlo Fortino.

by Aversa, Rocco [editor.] | Kołodziej, Joanna [editor.] | Zhang, Jun [editor.] | Amato, Flora [editor.] | Fortino, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8286Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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 Security Applications [electronic resource] : 4th International Workshop, WISA 2003 Jeju Island, Korea, August 25-27, 2003 Revised Papers / edited by Ki-Joon Chae, Moti Yung.

by Chae, Ki-Joon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2908Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 - ICSOC 2003 [electronic resource] : First International Conference, Trento, Italy, December 15-18, 2003. Proceedings / edited by Maria E. Orlowska, Sanjiva Weerawarana, Michael P. Papazoglou, Jian Yang.

by Orlowska, Maria E [editor.] | Weerawarana, Sanjiva [editor.] | Papazoglou, Michael P [editor.] | Yang, Jian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2910Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings / edited by Samir R. Das, Sajal K. Das.

by Das, Samir R [editor.] | Das, Sajal K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2918Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Wireless Sensor Networks [electronic resource] : First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings / edited by Holger Karl, Adam Wolisz, Andreas Willig.

by Karl, Holger [editor.] | Wolisz, Adam [editor.] | Willig, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2920Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Agent Communication [electronic resource] : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers / edited by Frank Dignum.

by Dignum, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2922Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 for Multi-Agent Systems II [electronic resource] : Research Issues and Practical Applications / edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. Alencar.

by Lucena, Carlos [editor.] | Garcia, Alessandro [editor.] | Romanovsky, Alexander [editor.] | Castro, Jaelson [editor.] | Alencar, Paulo S. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2940Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings / edited by Rocco Nicola, Gian-Luigi Ferrari, Greg Meredith.

by Nicola, Rocco [editor.] | Ferrari, Gian-Luigi [editor.] | Meredith, Greg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2949Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Scientific Engineering of Distributed Java Applications [electronic resource] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers / edited by Nicolas Guelfi, Egidio Astesiano, Gianna Reggio.

by Guelfi, Nicolas [editor.] | Astesiano, Egidio [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service).

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