Your search returned 606 results.

Not what you expected? Check for suggestions
E-BOOKS
Stochastic Algorithms: Foundations and Applications [electronic resource] : International Symposium, SAGA 2001 Berlin, Germany, December 13–14, 2001 Proceedings / edited by Kathleen Steinhöfel.

by Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2264Source: 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
Euro-Par 2002 Parallel Processing [electronic resource] : 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings / edited by Burkhard Monien, Rainer Feldmann.

by Monien, Burkhard [editor.] | Feldmann, Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2400Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
STACS 2002 [electronic resource] : 19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, France, March 14–16, 2002 Proceedings / edited by Helmut Alt, Afonso Ferreira.

by Alt, Helmut [editor.] | Ferreira, Afonso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2285Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings / edited by David Bustard, Weiru Liu, Roy Sterritt.

by Bustard, David [editor.] | Liu, Weiru [editor.] | Sterritt, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2311Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Quality — ECSQ 2002 [electronic resource] : Quality Connection — 7th European Conference on Software Quality Helsinki, Finland, June 9–13, 2002 Proceedings / edited by Jyrki Kontio, Reidar Conradi.

by Kontio, Jyrki [editor.] | Conradi, Reidar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2349Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online 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
Human Computer Interaction [electronic resource] : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20–22, 1993 Proceedings / edited by Thomas Grechenig, Manfred Tscheligi.

by Grechenig, Thomas [editor.] | Tscheligi, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 733Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies.

by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1708Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings / edited by Laurence Pierre, Thomas Kropf.

by Pierre, Laurence [editor.] | Kropf, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1703Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Education [electronic resource] : 7th SEI CSEE Conference San Antonio, Texas, USA, January 5–7, 1994 Proceedings / edited by Jorge L. Díaz-Herrera.

by Díaz-Herrera, Jorge L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 750Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / edited by Fernando Orejas, Paul G. Spirakis, Jan Leeuwen.

by Orejas, Fernando [editor.] | Spirakis, Paul G [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2076Source: 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
Recent Trends in Algebraic Development Techniques [electronic resource] : 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers / edited by José Luiz Fiadeiro.

by Fiadeiro, José Luiz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1589Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Programming and Automated Reasoning [electronic resource] : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings / edited by Frank Pfenning.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 822Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 ’94 [electronic resource] : 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings / edited by Yvo G. Desmedt.

by Desmedt, Yvo G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 839Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
FME '94: Industrial Benefit of Formal Methods [electronic resource] : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran.

by Naftalin, Maurice [editor.] | Denvir, Tim [editor.] | Bertran, Miquel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 873Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Digital Libraries Current Issues [electronic resource] : Digital Libraries Workshop DL '94 Newark, NJ, USA, May 19–20, 1994 Selected Papers / edited by Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha.

by Adam, Nabil R [editor.] | Bhargava, Bharat K [editor.] | Yesha, Yelena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 916Source: 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
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.

by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 915Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings / edited by Jim Grundy, Malcolm Newey.

by Grundy, Jim [editor.] | Newey, Malcolm [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1479Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / edited by S. Arun-Kumar, Naveen Garg.

by Arun-Kumar, S [editor.] | Garg, Naveen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4337Source: 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
Computer Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger.

by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1102Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
PRICAI'96: Topics in Artificial Intelligence [electronic resource] : 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings / edited by Norman Foo, Randy Goebel.

by Foo, Norman [editor.] | Goebel, Randy [editor.] | SpringerLink (Online service).

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