Your search returned 1709 results.

Not what you expected? Check for suggestions
E-BOOKS
Part-Whole Reasoning in an Object-Centered Framework [electronic resource] / by Patrick Lambrix.

by Lambrix, Patrick [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1771Source: 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
Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Kreowski, Hans-Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1764Source: 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
Automated Deduction in Classical and Non-Classical Logics [electronic resource] : Selected Papers / edited by Ricardo Caferra, Gernot Salzer.

by Caferra, Ricardo [editor.] | Salzer, Gernot [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1761Source: 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
TAPSOFT '91 [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 / edited by S. Abramsky, T. S. E. Maibaum.

by Abramsky, S [editor.] | Maibaum, T. S. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 493Source: 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
Generalized Quantifiers and Computation [electronic resource] : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures / edited by Jouko Väänänen.

by Väänänen, Jouko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1754Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 11th Conference, New Delhi, India December 17–19, 1991 Proceedings / edited by Somenath Biswas, Kesav V. Nori.

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

Series: Lecture Notes in Computer Science ; 560Source: 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
Grading Knowledge [electronic resource] : Extracting Degree Information from Texts / by Steffen Staab.

by Staab, Steffen [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1744Source: 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
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
Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings / edited by José L. Balcázar, Philip M. Long, Frank Stephan.

by Balcázar, José L [editor.] | Long, Philip M [editor.] | Stephan, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4264Source: 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
Logic Programming '88 [electronic resource] : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 383Source: 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
Parallelism, Learning, Evolution [electronic resource] : Workshop on Evolutionary Models and Strategies Neubiberg, Germany, March 10–11, 1989 Workshop on Parallel Processing: Logic, Organization, and Technology — WOPPLOT 89 Wildbad Kreuth, Germany, July 24–28, 1989 Proceedings / edited by J. D. Becker, I. Eisele, F. W. Mündemann.

by Becker, J. D [editor.] | Eisele, I [editor.] | Mündemann, F. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 565Source: 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
Attribute Grammars and their Applications [electronic resource] : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings / edited by P. Deransart, M. Jourdan.

by Deransart, P [editor.] | Jourdan, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 461Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: Proceedings.Online 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 Resolution Principle for a Logic with Restricted Quantifiers [electronic resource] / edited by H. -J. Bürckert.

by Bürckert, H. -J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 568Source: 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
Parallel Execution of Logic Programs [electronic resource] : ICLP '91 Pre-Conference Workshop Paris, June 24, 1991 Proceedings / edited by A. Beaumont, G. Gupta.

by Beaumont, A [editor.] | Gupta, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 569Source: 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
Advances in Computing Science — ASIAN’99 [electronic resource] : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings / edited by P. S. Thiagarajan, Roland Yap.

by Thiagarajan, P. S [editor.] | Yap, Roland [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1742Source: 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
ICDT '90 [electronic resource] : Third International Conference on Database Theory Paris, France, December 12–14, 1990 Proceedings / edited by Serge Abiteboul, Paris C. Kanellakis.

by Abiteboul, Serge [editor.] | Kanellakis, Paris C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 470Source: 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
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings / edited by Jan Vytopil.

by Vytopil, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 571Source: 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
Formal Properties of Finite Automata and Applications [electronic resource] : LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings / edited by J. E. Pin.

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

Series: Lecture Notes in Computer Science ; 386Source: 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
CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 385Source: 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
Word Equations and Related Topics [electronic resource] : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings / edited by K. U. Schulz.

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

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