Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings / edited by Tarmo Uustalu.

by Uustalu, Tarmo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4014Source: 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
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages [electronic resource] / by Neil D. Jones, Steven S. Muchnick.

by Jones, Neil D [author.] | Muchnick, Steven S [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 66Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.

by Johnson, Michael [editor.] | Vene, Varmo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4019Source: 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
Advances in Computer Graphics [electronic resource] : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings / edited by Tomoyuki Nishita, Qunsheng Peng, Hans-Peter Seidel.

by Nishita, Tomoyuki [editor.] | Peng, Qunsheng [editor.] | Seidel, Hans-Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4035Source: 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
Biomedical Image Registration [electronic resource] : Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006. Proceedings / edited by Josien P. W. Pluim, Boštjan Likar, Frans A. Gerritsen.

by Pluim, Josien P. W [editor.] | Likar, Boštjan [editor.] | Gerritsen, Frans A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4057Source: 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
ECOOP 2006 – Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings / edited by Dave Thomas.

by Thomas, Dave [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4067Source: 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
Information Systems Methodology [electronic resource] : Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10–12, 1978 / edited by Giampio Bracchi, Peter Christian Lockemann.

by Bracchi, Giampio [editor.] | Lockemann, Peter Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 65Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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
Artificial Intelligence and Soft Computing – ICAISC 2006 [electronic resource] : 8th International Conference, Zakopane, Poland, June 25-29, 2006. Proceedings / edited by Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Żurada.

by Rutkowski, Leszek [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Żurada, Jacek M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4029Source: 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
Algorithm Theory – SWAT 2006 [electronic resource] : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings / edited by Lars Arge, Rusins Freivalds.

by Arge, Lars [editor.] | Freivalds, Rusins [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4059Source: 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
Mathematical Foundations of Computer Science 1978 [electronic resource] : Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978 / edited by J. Winkowski.

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

Series: Lecture Notes in Computer Science ; 64Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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
Natural Language Communication with Computers [electronic resource] / edited by Leonard Bolc.

by Bolc, Leonard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 63Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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
Languages and Compilers for Parallel Computing [electronic resource] : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001 Revised Papers / edited by Henry G. Dietz.

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

Series: Lecture Notes in Computer Science ; 2624Source: 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
Automata, Languages and Programming [electronic resource] : Fifth Colloquium, Udine, Italy, July 17–21, 1978 / edited by Giorgio Ausiello, Corrado Böhm.

by Ausiello, Giorgio [editor.] | Böhm, Corrado [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 62Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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 Large-Scale Multi-Agent Systems [electronic resource] : Research Issues and Practical Applications / edited by Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro.

by Garcia, Alessandro [editor.] | Lucena, Carlos [editor.] | Zambonelli, Franco [editor.] | Omicini, Andrea [editor.] | Castro, Jaelson [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2603Source: 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
Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.

by Reussner, Ralf H [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3938Source: 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
The Vienna Development Method: The Meta-Language [electronic resource] / edited by Dines Bjørner, Cliff B. Jones.

by Bjørner, Dines [editor.] | Jones, Cliff B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 61Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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
Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings / edited by Lou Goble, John-Jules Ch. Meyer.

by Goble, Lou [editor.] | Meyer, John-Jules Ch [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4048Source: 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
Operating Systems [electronic resource] : An Advanced Course / edited by R. Bayer, R. M. Graham, G. Seegmüller.

by Bayer, R [editor.] | Graham, R. M [editor.] | Seegmüller, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 60Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online 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
Conceptual Structures: Inspiration and Application [electronic resource] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings / edited by Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm.

by Schärfe, Henrik [editor.] | Hitzler, Pascal [editor.] | Øhrstrøm, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4068Source: 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
Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener.

by Bugliesi, Michele [editor.] | Preneel, Bart [editor.] | Sassone, Vladimiro [editor.] | Wegener, Ingo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4051Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha