Your search returned 3740 results.

Not what you expected? Check for suggestions
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings / edited by Teodor Rus.

by Rus, Teodor [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Theoretical Aspects of Computer Software [electronic resource] : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings / edited by Naoki Kobayashi, Benjamin C. Pierce.

by Kobayashi, Naoki [editor.] | Pierce, Benjamin C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Management of Multimedia on the Internet [electronic resource] : 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001 Chicago, IL, USA, October 29 — November 1, 2001 Proceedings / edited by Ehab S. Al-Shaer, Giovanni Pacifici.

by Al-Shaer, Ehab S [editor.] | Pacifici, Giovanni [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Modeling and Verification of Parallel Processes [electronic resource] : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan.

by Cassez, Franck [editor.] | Jard, Claude [editor.] | Rozoy, Brigitte [editor.] | Ryan, Mark Dermot [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Quality of Service — IWQoS 2001 [electronic resource] : 9th International Workshop Karlsruhe, Germany, June 6–8, 2001 Proceedings / edited by Lars Wolf, David Hutchison, Ralf Steinmetz.

by Wolf, Lars [editor.] | Hutchison, David [editor.] | Steinmetz, Ralf [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Correct Hardware Design and Verification Methods [electronic resource] : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings / edited by Paolo E. Camurati, Hans Eveking.

by Camurati, Paolo E [editor.] | Eveking, Hans [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings / edited by Joseph Sventek, Geoffrey Coulson.

by Sventek, Joseph [editor.] | Coulson, Geoffrey [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Real-World Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight Edinburgh, Scotland, UK, April 17, 2000 Proceedings / edited by Stefano Cagnoni.

by Cagnoni, Stefano [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers / edited by Dines Bjørner, Manfred Broy, Alexandre V. Zamulin.

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

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

Place hold Log in to add tags
E-BOOKS
Conceptual Modeling — ER 2001 [electronic resource] : 20th International Conference on Conceptual Modeling Yokohama, Japan, November 27–30, 2001 Proceedings / edited by Hideko S.Kunii, Sushil Jajodia, Arne Sølvberg.

by S.Kunii, Hideko [editor.] | Jajodia, Sushil [editor.] | Sølvberg, Arne [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha