Your search returned 5696 results.

Not what you expected? Check for suggestions
E-BOOKS
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / edited by Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa.

by Goto, Eiichi [editor.] | Furukawa, Koichi [editor.] | Nakajima, Reiji [editor.] | Nakata, Ikuo [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata, Languages and Programming [electronic resource] : 12th Colloquium Nafplion, Greece, July 15–19, 1985 / edited by Wilfried Brauer.

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

Series: Lecture Notes in Computer Science ; 194Source: 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
Algorithms in Bioinformatics [electronic resource] : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Philipp Bücher, Bernard M. E. Moret.

by Bücher, Philipp [editor.] | Moret, Bernard M. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4175Source: 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
Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / edited by Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel.

by Alferes, Jóse Júlio [editor.] | Bailey, James [editor.] | May, Wolfgang [editor.] | Schwertel, Uta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4187Source: 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
Enduser Systems and Their Human Factors [electronic resource] : Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany Heidelberg, March 18, 1983 / edited by Albrecht Blaser, Magdalena Zoeppritz.

by Blaser, Albrecht [editor.] | Zoeppritz, Magdalena [editor.] | SpringerLink (Online service).

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

E-BOOKS
Specification and Design of Software Systems [electronic resource] : Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings / edited by Elöd Knuth, Erich J. Neuhold.

by Knuth, Elöd [editor.] | Neuhold, Erich J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Utilizing Problem Structure in Planning [electronic resource] : A Local Search Approach / by Jörg Hoffmann.

by Hoffmann, Jörg [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2854Source: 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
Algorithmic Learning Theory [electronic resource] : 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003. Proceedings / edited by Ricard Gavaldá, Klaus P. Jantke, Eiji Takimoto.

by Gavaldá, Ricard [editor.] | Jantke, Klaus P [editor.] | Takimoto, Eiji [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2842Source: 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
UbiComp 2006: Ubiquitous Computing [electronic resource] : 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings / edited by Paul Dourish, Adrian Friday.

by Dourish, Paul [editor.] | Friday, Adrian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4206Source: 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
Mobile Agents for Telecommunication Applications [electronic resource] : 5th InternationalWorkshop, MATA 2003, Marrakech, Morocco, October 8-10, 2003. Proceedings / edited by Eric Horlait, Thomas Magedanz, Roch H. Glitho.

by Horlait, Eric [editor.] | Magedanz, Thomas [editor.] | Glitho, Roch H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2881Source: 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
Conceptual Modeling - ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003. Proceedings / edited by Il-Yeol Song, Stephen W. Liddle, Tok-Wang Ling, Peter Scheuermann.

by Song, Il-Yeol [editor.] | Liddle, Stephen W [editor.] | Ling, Tok-Wang [editor.] | Scheuermann, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2813Source: 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
UbiComp 2003: Ubiquitous Computing [electronic resource] : 5th International Conference, Seattle, WA, USA, October 12-15, 2003. Proceedings / edited by Anind K. Dey, Albrecht Schmidt, Joseph F. McCarthy.

by Dey, Anind K [editor.] | Schmidt, Albrecht [editor.] | McCarthy, Joseph F [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms - ESA 2003 [electronic resource] : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings / edited by Giuseppe Battista, Uri Zwick.

by Battista, Giuseppe [editor.] | Zwick, Uri [editor.] | SpringerLink (Online service).

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

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): .

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): .

E-BOOKS
Job Scheduling Strategies for Parallel Processing [electronic resource] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003. Revised Paper / edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn.

by Feitelson, Dror [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computation Theory [electronic resource] : Fifth Symposium, Zaborów, Poland December 3–8, 1984 Proceedings / edited by Andrzej Skowron.

by Skowron, Andrzej [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha