Your search returned 1180 results.

Not what you expected? Check for suggestions
E-BOOKS
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 4th International Workshop, LCR’ 98 Pittsburgh, PA, USA, May 28–30, 1998 Selected Papers / edited by David R. O’Hallaron.

by O’Hallaron, David R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1511Source: 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
Formal Methods for Industrial Applications [electronic resource] : Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond [editor.] | Börger, Egon [editor.] | Langmaack, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1165Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / edited by Manfred Broy, Stephan Merz, Katharina Spies.

by Broy, Manfred [editor.] | Merz, Stephan [editor.] | Spies, Katharina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1169Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
SOFSEM'96: Theory and Practice of Informatics [electronic resource] : 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings / edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek.

by Jeffery, Keith G [editor.] | Král, Jaroslav [editor.] | Bartošek, Miroslav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1175Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Agents II Agent Theories, Architectures, and Languages [electronic resource] : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings / edited by Michael Wooldridge, Jörg P. Müller, Milind Tambe.

by Wooldridge, Michael [editor.] | Müller, Jörg P [editor.] | Tambe, Milind [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1037Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Breaking Away [electronic resource] : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings / edited by Walter Velde, John W. Perram.

by Velde, Walter [editor.] | Perram, John W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1038Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Broadband Communications Networks, Services, Applications, Future Directions [electronic resource] : 1996 International Zurich Seminar on Digital Communications, IZS'96 Zurich, Switzerland, February 21–23, 1996 Proceedings / edited by Bernhard Plattner.

by Plattner, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1044Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Mobile Agents [electronic resource] : Second International Workshop, MA’98 Stuttgart, Germany, September 9–11, 1998 Proceedings / edited by Kurt Rothermel, Fritz Hohl.

by Rothermel, Kurt [editor.] | Hohl, Fritz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1477Source: 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
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu.

by Datta, Ajoy K [editor.] | Gradinariu, Maria [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4280Source: 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
Teleservices and Multimedia Communications [electronic resource] : Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings / edited by David Hutchison, Henning Christiansen, Geoff Coulson, André Danthine.

by Hutchison, David [editor.] | Christiansen, Henning [editor.] | Coulson, Geoff [editor.] | Danthine, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1052Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops [electronic resource] : ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings / edited by Geyong Min, Beniamino Martino, Laurence T. Yang, Minyi Guo, Gudula Rünger.

by Min, Geyong [editor.] | Martino, Beniamino [editor.] | Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Rünger, Gudula [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4331Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1055Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Communication and Cooperation in Agent Systems [electronic resource] : A Pragmatic Theory / edited by Afsaneh Haddadi.

by Haddadi, Afsaneh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1056Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 Networking [electronic resource] : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings / edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot.

by Liddell, Heather [editor.] | Colbrook, Adrian [editor.] | Hertzberger, Bob [editor.] | Sloot, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1067Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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] : 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings / edited by Mariam Momenzadeh Alexander A. Shvartsman.

by Shvartsman, Mariam Momenzadeh Alexander A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4305Source: 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
Intelligent Agents III Agent Theories, Architectures, and Languages [electronic resource] : ECAI'96 Workshop (ATAL) Budapest, Hungary, August 12–13, 1996 Proceedings / edited by Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings.

by Müller, Jörg P [editor.] | Wooldridge, Michael J [editor.] | Jennings, Nicholas R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1193Source: 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
Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings / edited by Minyi Guo, Laurence T. Yang, Beniamino Martino, Hans P. Zima, Jack Dongarra, Feilong Tang.

by Guo, Minyi [editor.] | Yang, Laurence T [editor.] | Martino, Beniamino [editor.] | Zima, Hans P [editor.] | Dongarra, Jack [editor.] | Tang, Feilong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4330Source: 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
Software Agents and Soft Computing Towards Enhancing Machine Intelligence [electronic resource] : Concepts and Applications / edited by Hyacinth S. Nwana, Nader Azarmi.

by Nwana, Hyacinth S [editor.] | Azarmi, Nader [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1198Source: 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
Advances in Grid and Pervasive Computing [electronic resource] : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings / edited by Song Wu, Laurence T. Yang, Tony Li Xu.

by Wu, Song [editor.] | Yang, Laurence T [editor.] | Xu, Tony Li [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5036Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski.

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

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