Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram.

by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4215Source: 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
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang.

by Graf, Susanne [editor.] | Zhang, Wenhui [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4218Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings / edited by Kesav V. Nori.

by Nori, Kesav V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 241Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Ada: Moving Towards 2000 [electronic resource] : 11th Ada-Europe International Conference Zandvoort, The Netherlands, June 1–5, 1992 Proceedings / edited by J. Katwijk.

by Katwijk, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 603Source: 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
A Review of Ada Tasking [electronic resource] / edited by Alan Burns, Andrew M. Lister, Andrew J. Wellings.

by Burns, Alan [editor.] | Lister, Andrew M [editor.] | Wellings, Andrew J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 262Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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 and Information Sciences – ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings / edited by Albert Levi, Erkay Savaş, Hüsnü Yenigün, Selim Balcısoy, Yücel Saygın.

by Levi, Albert [editor.] | Savaş, Erkay [editor.] | Yenigün, Hüsnü [editor.] | Balcısoy, Selim [editor.] | Saygın, Yücel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4263Source: 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
PARLE '92 Parallel Architectures and Languages Europe [electronic resource] : 4th International PARLE Conference Paris, France, June 15–18, 1992 Proceedings / edited by Daniel Etiemble, Jean-Claude Syre.

by Etiemble, Daniel [editor.] | Syre, Jean-Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 605Source: 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
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems [electronic resource] : 5th International Conference, IEA/AIE - 92 Paderborn, Germany, June 9–12, 1992 Proceedings / edited by Fevzi Belli, Franz Josef Radermacher.

by Belli, Fevzi [editor.] | Radermacher, Franz Josef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 604Source: 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
Automated Deduction—CADE-11 [electronic resource] : 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings / edited by Deepak Kapur.

by Kapur, Deepak [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 607Source: 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
Combinators and Functional Programming Languages [electronic resource] : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet.

by Cousineau, Guy [editor.] | Curien, Pierre-Louis [editor.] | Robinet, Bernard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 242Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Intelligent Tutoring Systems [electronic resource] : Second International Conference, ITS '92 Montréal, Canada, June 10–12 1992 Proceedings / edited by Claude Frasson, Gilles Gauthier, Gordon I. McCalla.

by Frasson, Claude [editor.] | Gauthier, Gilles [editor.] | McCalla, Gordon I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 608Source: 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 Petri Nets 1992 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 609Source: 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
Axioms and Hulls [electronic resource] / edited by Donald E. Knuth.

by Knuth, Donald E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 606Source: 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
Object-Based Concurrent Computing [electronic resource] : ECOOP '91 Workshop Geneva, Switzerland, July 15–16, 1991 Proceedings / edited by M. Tokoro, O. Nierstrasz, P. Wegner.

by Tokoro, M [editor.] | Nierstrasz, O [editor.] | Wegner, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 612Source: 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
Coordinating Plans of Autonomous Agents [electronic resource] / by Frank Martial.

by Martial, Frank [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 610Source: 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
The Next Generation of Information Systems: From Data to Knowledge [electronic resource] : A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991 / edited by Michael P. Papazoglou, John Zeleznikow.

by Papazoglou, Michael P [editor.] | Zeleznikow, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 611Source: 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
Constructivity in Computer Science [electronic resource] : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding / edited by J. Paul Myers, Michael J. O'Donnell.

by Myers, J. Paul [editor.] | O'Donnell, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 613Source: 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
Network and Operating System Support for Digital Audio and Video [electronic resource] : Second International Workshop Heidelberg, Germany, November 18–19 1991 Proceedings / edited by R. G. Herrtwich.

by Herrtwich, R. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 614Source: 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
ECOOP ’92 European Conference on Object-Oriented Programming [electronic resource] : Utrecht, The Netherlands, June 29–July 3, 1992 Proceedings / edited by Ole Lehrmann Madsen.

by Madsen, Ole Lehrmann [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 615Source: 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
Application and Theory of Petri Nets 1992 [electronic resource] : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings / edited by K. Jensen.

by Jensen, K [editor.] | SpringerLink (Online service).

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

Powered by Koha