Your search returned 3740 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2852Source: 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
High Performance Computing [electronic resource] : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003. Proceedings 13 / edited by Alex Veidenbaum, Kazuki Joe, Hideharu Amano, Hideo Aiso.

by Veidenbaum, Alex [editor.] | Joe, Kazuki [editor.] | Amano, Hideharu [editor.] | Aiso, Hideo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2858Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings / edited by S. N. Maheshwari.

by Maheshwari, S. N [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings / edited by Daniel Geist, Enrico Tronci.

by Geist, Daniel [editor.] | Tronci, Enrico [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2860Source: 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
Computer and Information Sciences - ISCIS 2003 [electronic resource] : 18th International Symposium, Antalya, Turkey, November 3-5, 2003. Proceedings / edited by Adnan Yazıcı, Cevat Şener.

by Yazıcı, Adnan [editor.] | Şener, Cevat [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2869Source: 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
Programs as Data Objects [electronic resource] : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985 / edited by Harald Ganzinger, Neil D. Jones.

by Ganzinger, Harald [editor.] | Jones, Neil D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 217Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Visual Content Processing and Representation [electronic resource] : 8th International Workshop, VLBV 2003, Madrid, Spain, September 18-19, 2003. Proceedings / edited by Narciso García, Luis Salgado, José M. Martínez.

by García, Narciso [editor.] | Salgado, Luis [editor.] | Martínez, José M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2849Source: 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
Advances in Cryptology — CRYPTO ’85 Proceedings [electronic resource] / edited by Hugh C. Williams.

by Williams, Hugh C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 218Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Other title: A Conference on the Theory and Application of Cryptographic Techniques, Held at he University of California, Santa Barbara, through the Co-operation of the Computer Science Department, August 18 - 220, 1985.Online 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 Software Architectures [electronic resource] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures / edited by Marco Bernardo, Paola Inverardi.

by Bernardo, Marco [editor.] | Inverardi, Paola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2804Source: 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
RIMS Symposia on Software Science and Engineering II [electronic resource] : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan / edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

by Goto, Eichi [editor.] | Araki, Keijiro [editor.] | Yuasa, Taiichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 220Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings / edited by Moshe Y. Vardi, Andrei Voronkov.

by Vardi, Moshe Y [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2850Source: 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
Generative Programming and Component Engineering [electronic resource] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings / edited by Frank Pfenning, Yannis Smaragdakis.

by Pfenning, Frank [editor.] | Smaragdakis, Yannis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2830Source: 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
Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings / edited by Jacques Calmet.

by Calmet, Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 229Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 Intelligence [electronic resource] : First European Symposium, EUSAI 2003, Veldhoven,The Netherlands,November 3-4, 2003. Proceedings / edited by Emile Aarts, René W. Collier, Evert Loenen, Boris Ruyter.

by Aarts, Emile [editor.] | Collier, René W [editor.] | Loenen, Evert [editor.] | Ruyter, Boris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2875Source: 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
Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers / edited by Manfred Broy, Alexandre V. Zamulin.

by Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2890Source: 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
Personal Wireless Communications [electronic resource] : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings / edited by Marco Conti, Silvia Giordano, Enrico Gregori, Stephan Olariu.

by Conti, Marco [editor.] | Giordano, Silvia [editor.] | Gregori, Enrico [editor.] | Olariu, Stephan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2775Source: 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
Multiagent System Technologies [electronic resource] : First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings / edited by Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield.

by Schillo, Michael [editor.] | Klusch, Matthias [editor.] | Müller, Jörg [editor.] | Tianfield, Huaglory [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2831Source: 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
Web Services - ICWS-Europe 2003 [electronic resource] / edited by Mario Jeckle, Liang-Jie Zhang.

by Jeckle, Mario [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2853Source: 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
Computer Safety, Reliability, and Security [electronic resource] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings / edited by Stuart Anderson, Massimo Felici, Bev Littlewood.

by Anderson, Stuart [editor.] | Felici, Massimo [editor.] | Littlewood, Bev [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2788Source: 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
Security in Pervasive Computing [electronic resource] : First International Conference, Boppard, Germany, March 12-14, 2003. Revised Papers / edited by Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann.

by Hutter, Dieter [editor.] | Müller, Günter [editor.] | Stephan, Werner [editor.] | Ullmann, Markus [editor.] | SpringerLink (Online service).

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