Your search returned 638 results.

Not what you expected? Check for suggestions
E-BOOKS
Perspectives of System Informatics [electronic resource] : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin.

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

Series: Lecture Notes in Computer Science ; 1755Source: 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
Deductive and Object-Oriented Databases [electronic resource] : Second International Conference, DOOD '91 Munich, Germany, December 16–18, 1991 Proceedings / edited by C. Delobel, M. Kifer, Y. Masunaga.

by Delobel, C [editor.] | Kifer, M [editor.] | Masunaga, Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 566Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
ESEC '89 [electronic resource] : 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings / edited by C. Ghezzi, J. A. McDermid.

by Ghezzi, C [editor.] | McDermid, J. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 387Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Advanced Information Systems Engineering [electronic resource] : 4th International Conference CAiSE '92 Manchester, UK, May 12–15, 1992 Proceedings / edited by Pericles Loucopoulos.

by Loucopoulos, Pericles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 593Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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] : 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings / edited by Michael S. Paterson.

by Paterson, Michael S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 443Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Advanced Database Systems [electronic resource] : 10th British National Conference on Databases, BNCOD 10 Aberdeen, Scotland, July 6–8, 1992 Proceedings / edited by Peter M. D. Gray, Rob J. Lucas.

by Gray, Peter M. D [editor.] | Lucas, Rob J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 618Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Web-Age Information Management [electronic resource] : Second International Conference, WAIM 2001 Xi’an, China, July 9–11, 2001 Proceedings / edited by X. Sean Wang, Ge Yu, Hongjun Lu.

by Wang, X. Sean [editor.] | Yu, Ge [editor.] | Lu, Hongjun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2118Source: 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 — ICN 2001 [electronic resource] : First International Conference on Networking Colmar, France, July 9–13, 2001 Proceedings, Part II / by Pascal Lorenz.

by Lorenz, Pascal [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2094Source: 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
The Semantic Web — ISWC 2002 [electronic resource] : First International Semantic Web Conference Sardinia, Italy, June 9–12, 2002 Proceedings / edited by Ian Horrocks, James Hendler.

by Horrocks, Ian [editor.] | Hendler, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2342Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 11th International Workshop, LCPC’98 Chapel Hill, NC, USA, August 7–9, 1998 Proceedings / edited by Siddhartha Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante, Zhiyuan Li, David Sehr, Pen-Chung Yew.

by Chatterjee, Siddhartha [editor.] | Prins, Jan F [editor.] | Carter, Larry [editor.] | Ferrante, Jeanne [editor.] | Li, Zhiyuan [editor.] | Sehr, David [editor.] | Yew, Pen-Chung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1656Source: 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 Process Technology [electronic resource] : Third European Workshop, EWSPT '94 Villard de Lans, France, February 7–9, 1994 Proceedings / edited by Brian C. Warboys.

by Warboys, Brian C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 772Source: 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’ 99 [electronic resource] : 19th Annual International Cryptology Conference Santa Barbara, California, USA, August 15–19, 1999 Proceedings / edited by Michael Wiener.

by Wiener, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1666Source: 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
Knowledge Acquisition, Modeling and Management [electronic resource] : 11th European Workshop, EKAW’99 Dagstuhl Castle, Germany, May 26–29, 1999 Proceedings / edited by Dieter Fensel, Rudi Studer.

by Fensel, Dieter [editor.] | Studer, Rudi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1621Source: 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
The World Wide Web and Databases [electronic resource] : International Workshop WebDB’98, Valencia, Spain, March 27- 28, 1998. Selected Papers / edited by Paolo Atzeni, Alberto Mendelzon, Giansalvatore Mecca.

by Atzeni, Paolo [editor.] | Mendelzon, Alberto [editor.] | Mecca, Giansalvatore [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1590Source: 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
Computer Aided Verification [electronic resource] : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings / edited by Pierre Wolper.

by Wolper, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 939Source: 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
Formal Methods in Computer-Aided Design [electronic resource] : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri.

by Srivas, Mandayam [editor.] | Camilleri, Albert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1166Source: 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
KI-98: Advances in Artificial Intelligence [electronic resource] : 22nd Annual German Conference on Artificial Intelligence Bremen, Germany, September 15–17, 1998 Proceedings / edited by Otthein Herzog, Andreas Günter.

by Herzog, Otthein [editor.] | Günter, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1504Source: 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
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff.

by Havelund, Klaus [editor.] | Núñez, Manuel [editor.] | Roşu, Grigore [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4262Source: 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
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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha