Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Conditional and Typed Rewriting Systems [electronic resource] : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.

by Dershowitz, Nachum [editor.] | Lindenstrauss, Naomi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Engineering of Intelligent Systems [electronic resource] : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4–7, 2001 Proceedings / edited by László Monostori, József Váncza, Moonis Ali.

by Monostori, László [editor.] | Váncza, József [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

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

E-BOOKS
Middleware 2001 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12–16, 2001 Proceedings / edited by Rachid Guerraoui.

by Guerraoui, Rachid [editor.] | SpringerLink (Online service).

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

E-BOOKS
Spatial Information Theory A Theoretical Basis for GIS [electronic resource] : International Conference COSIT '95 Semmering, Austria, September 21–23, 1995 Proceedings / edited by Andrew U. Frank, Werner Kuhn.

by Frank, Andrew U [editor.] | Kuhn, Werner [editor.] | SpringerLink (Online service).

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

E-BOOKS
Cooperative Multimodal Communication [electronic resource] : Second International Conference, CMC’98 Tilburg, The Netherlands, January 28–30, 1998 Selected Papers / edited by Harry Bunt, Robbert -Jan Beun.

by Bunt, Harry [editor.] | Beun, Robbert -Jan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Interactive Systems: Design, Specification, and Verification [electronic resource] : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers / edited by Chris Johnson.

by Johnson, Chris [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multiset Processing [electronic resource] : Mathematical,Computer Science, and Molecular Computing Points of View / edited by Cristian S. Calude, Gheorghe PĂun, Grzegorz Rozenberg, Arto Salomaa.

by Calude, Cristian S [editor.] | PĂun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers / edited by Oliver Boldt, Helmut Jürgensen.

by Boldt, Oliver [editor.] | Jürgensen, Helmut [editor.] | SpringerLink (Online service).

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

E-BOOKS
Integer Programming and Combinatorial Optimization [electronic resource] : 8th International IPCO Conference Utrecht, The Netherlands, June 13–15, 2001 Proceedings / edited by Karen Aardal, Bert Gerards.

by Aardal, Karen [editor.] | Gerards, Bert [editor.] | SpringerLink (Online service).

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

E-BOOKS
Selected Areas in Cryptography [electronic resource] : 8th Annual International Workshop, SAC 2001 Toronto, Ontario, Canada, August 16–17, 2001 Revised Papers / edited by Serge Vaudenay, Amr M. Youssef.

by Vaudenay, Serge [editor.] | Youssef, Amr M [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Cryptology — EUROCRYPT 2000 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14–18, 2000 Proceedings / edited by Bart Preneel.

by Preneel, Bart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1807Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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] : 7th International Workshop, JSSPP 2001 Cambridge, MA, USA, June 16, 2001 Revised Papers / edited by Dror G. Feitelson, Larry Rudolph.

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

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

E-BOOKS
Unifying Petri Nets [electronic resource] : Advances in Petri Nets / edited by Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Padberg, Julia [editor.] | Juhás, Gabriel [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Science — ICCS 2001 [electronic resource] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I / edited by Vassil N. Alexandrov, Jack J. Dongarra, Benjoe A. Juliano, René S. Renner, C. J. Kenneth Tan.

by Alexandrov, Vassil N [editor.] | Dongarra, Jack J [editor.] | Juliano, Benjoe A [editor.] | Renner, René S [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service).

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

E-BOOKS
Networked Group Communication [electronic resource] : Third International COST264 Workshop, NGC 2001 London, UK, November 7–9, 2001 Proceedings / edited by Jon Crowcroft, Markus Hofmann.

by Crowcroft, Jon [editor.] | Hofmann, Markus [editor.] | SpringerLink (Online service).

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

E-BOOKS
Trust in Cyber-societies [electronic resource] : Integrating the Human and Artificial Perspectives / edited by Rino Falcone, Munindar Singh, Yao-Hua Tan.

by Falcone, Rino [editor.] | Singh, Munindar [editor.] | Tan, Yao-Hua [editor.] | SpringerLink (Online service).

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

E-BOOKS
New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2001 Workshop Post-Proceedings / edited by Takao Terano, Yukio Ohsawa, Toyoaki Nishida, Akira Namatame, Syusaku Tsumoto, Takashi Washio.

by Terano, Takao [editor.] | Ohsawa, Yukio [editor.] | Nishida, Toyoaki [editor.] | Namatame, Akira [editor.] | Tsumoto, Syusaku [editor.] | Washio, Takashi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks [electronic resource] : IFIP-TC6/European Commission International Conference Paris, France, May 14–19, 2000 Proceedings / edited by Guy Pujolle, Harry Perros, Serge Fdida, Ulf Körner, Ioannis Stavrakakis.

by Pujolle, Guy [editor.] | Perros, Harry [editor.] | Fdida, Serge [editor.] | Körner, Ulf [editor.] | Stavrakakis, Ioannis [editor.] | SpringerLink (Online service).

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

E-BOOKS
Software Engineering — ESEC '95 [electronic resource] : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings / edited by Wilhelm Schäfer, Pere Botella.

by Schäfer, Wilhelm [editor.] | Botella, Pere [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rough Sets and Current Trends in Computing [electronic resource] : Second International Conference, RSCTC 2000 Banff, Canada, October 16–19, 2000 Revised Papers / edited by Wojciech Ziarko, Yiyu Yao.

by Ziarko, Wojciech [editor.] | Yao, Yiyu [editor.] | SpringerLink (Online service).

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