Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Database and XML Technologies [electronic resource] : 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings / edited by Sihem Amer-Yahia, Zohra Bellahsène, Ela Hunt, Rainer Unland, Jeffrey Xu Yu.

by Amer-Yahia, Sihem [editor.] | Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Unland, Rainer [editor.] | Yu, Jeffrey Xu [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / edited by Thomas Philip Runarsson, Hans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós, L. Darrell Whitley, Xin Yao.

by Runarsson, Thomas Philip [editor.] | Beyer, Hans-Georg [editor.] | Burke, Edmund [editor.] | Merelo-Guervós, Juan J [editor.] | Whitley, L. Darrell [editor.] | Yao, Xin [editor.] | SpringerLink (Online service).

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

E-BOOKS
Ada Software Tools Interfaces [electronic resource] : Workshop, Bath, July 13–15, 1983 Proceedings / edited by Peter J. L. Wallis.

by Wallis, Peter J. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 180Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Fourth Conference, Bangalore, India December 13–15, 1984 Proceedings / edited by Mathai Joseph, Rudrapatna Shyamasundar.

by Joseph, Mathai [editor.] | Shyamasundar, Rudrapatna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 181Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Engineering Societies in the Agents World III [electronic resource] : Third International Workshop, ESAW 2002 Madrid, Spain, September 16–17, 2002 Revised Papers / edited by Paolo Petta, Robert Tolksdorf, Franco Zambonelli.

by Petta, Paolo [editor.] | Tolksdorf, Robert [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

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

E-BOOKS
Program Specification [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, August 1981 / edited by Jørgen Staunstrup.

by Staunstrup, Jørgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 134Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Experiences with Distributed Systems [electronic resource] : International Workshop Kaiserslautern, FRG, September 28–30, 1987 Proceedings / edited by J. Nehmer.

by Nehmer, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 309Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Other title: Organizers: Sonderforschungsbereich 124, Universität Kaiserslautern, IBM European Network Center, Heidelberg.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Software Configuration Management [electronic resource] : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14–15, 2001 and Portland, OR, USA, May 9–10, 2003. Selected Papers / edited by Bernhard Westfechtel, André Hoek.

by Westfechtel, Bernhard [editor.] | Hoek, André [editor.] | SpringerLink (Online service).

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

E-BOOKS
The Munich Project CIP [electronic resource] / by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner.

by Brauer, F. L [author.] | Berghammer, R [author.] | Dosch, W [author.] | Gnatz, R [author.] | Hangel, E [author.] | Möller, B [author.] | Partsch, H [author.] | Pepper, P [author.] | Samelson, K [author.] | Wössner, H [author.] | Broy, M [author.] | Nickl, F [author.] | Wirsing, M [author.] | Geiselbrechtinger, F [author.] | Hesse, W [author.] | Krieg-Brückner, B [author.] | Laut, A [author.] | Matzner, T [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: By the CIP Language Group.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
An Attribute Grammar for the Semantic Analysis of Ada [electronic resource] / edited by Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner.

by Uhl, Jürgen [editor.] | Drossopoulou, Sophia [editor.] | Persch, Guido [editor.] | Goos, Gerhard [editor.] | Dausmann, Manfred [editor.] | Winterstein, Georg [editor.] | Kirchgässner, Walter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 139Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 185Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 186Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Advances in Petri Nets 1984 [electronic resource] / edited by G. Rozenberg.

by Rozenberg, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 188Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Net Theory and Applications [electronic resource] : Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8–19, 1979 / edited by Wilfried Brauer.

by Brauer, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 84Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Paragon [electronic resource] : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types / by Mark Steven Sherman.

by Sherman, Mark Steven [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 189Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
High Performance Computing and Communications [electronic resource] : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings / edited by Michael Gerndt, Dieter Kranzlmüller.

by Gerndt, Michael [editor.] | Kranzlmüller, Dieter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Group Communications and Charges. Technology and Business Models [electronic resource] : 5th COST 264 International Workshop on Networked Group Communications, NGC 2003 and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003. Proceedings / edited by Burkhard Stiller, Georg Carle, Martin Karsten, Peter Reichl.

by Stiller, Burkhard [editor.] | Carle, Georg [editor.] | Karsten, Martin [editor.] | Reichl, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
A Survey of Verification Techniques for Parallel Programs [electronic resource] / by Howard Barringer.

by Barringer, Howard [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 191Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Advanced Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings / edited by Xingming Zhou, Ming Xu, Stefan Jähnichen, Jiannong Cao.

by Zhou, Xingming [editor.] | Xu, Ming [editor.] | Jähnichen, Stefan [editor.] | Cao, Jiannong [editor.] | SpringerLink (Online service).

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

E-BOOKS
Database and XML Technologies [electronic resource] : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 2003, Proceedings / edited by Zohra Bellahsène, Akmal B. Chaudhri, Erhard Rahm, Michael Rys, Rainer Unland.

by Bellahsène, Zohra [editor.] | Chaudhri, Akmal B [editor.] | Rahm, Erhard [editor.] | Rys, Michael [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha