Your search returned 2929 results.

Not what you expected? Check for suggestions
E-BOOKS
Instantiation Theory [electronic resource] : On the Foundations of Automated Deduction / by James G. Williams.

by Williams, James G [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lectures Notes in Artificial Intelligence ; 518Source: 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
Algorithms and Data Structures [electronic resource] : 2nd Workshop, WADS '91 Ottawa, Canada, August 14–16, 1991 Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro.

by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Santoro, Nicola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 519Source: 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
STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner.

by Enjalbert, P [editor.] | Finkel, A [editor.] | Wagner, K. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 665Source: 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
Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / edited by Andrzej Tarlecki.

by Tarlecki, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 520Source: 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
TAPSOFT'93: Theory and Practice of Software Development [electronic resource] : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings / edited by M. -C. Gaudel, J. -P. Jouannaud.

by Gaudel, M. -C [editor.] | Jouannaud, J. -P [editor.] | SpringerLink (Online service).

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

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

Series: Lecture Notes in Computer Science ; 524Source: 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
Mathematics of Program Construction [electronic resource] : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings / edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock.

by Bird, R. S [editor.] | Morgan, C. C [editor.] | Woodcock, J. C. P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 669Source: 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
Advances in Spatial Databases [electronic resource] : 2nd Symposium, SSD '91 Zurich, Switzerland, August 28–30, 1991 Proceedings / edited by Oliver Günther, Hans-Jörg Schek.

by Günther, Oliver [editor.] | Schek, Hans-Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 525Source: 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings / edited by Gérard Cohen, Teo Mora, Oscar Moreno.

by Cohen, Gérard [editor.] | Mora, Teo [editor.] | Moreno, Oscar [editor.] | SpringerLink (Online service).

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

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

Series: Lecture Notes in Computer Science ; 674Source: 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
Parallel Architectures and Their Efficient Use [electronic resource] : First Heinz Nixdorf Symposium Paderborn, Germany, November 11–13, 1992 Proceedings / edited by F. Meyer, B. Monien, A. L. Rosenberg.

by Meyer, F [editor.] | Monien, B [editor.] | Rosenberg, A. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 678Source: 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
Discrete Geometry for Computer Imagery [electronic resource] : 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings / edited by Attila Kuba, László G. Nyúl, Kálmán Palágyi.

by Kuba, Attila [editor.] | Nyúl, László G [editor.] | Palágyi, Kálmán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4245Source: 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
Advances in Information and Computer Security [electronic resource] : First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings / edited by Hiroshi Yoshiura, Kouichi Sakurai, Kai Rannenberg, Yuko Murayama, Shinichi Kawamura.

by Yoshiura, Hiroshi [editor.] | Sakurai, Kouichi [editor.] | Rannenberg, Kai [editor.] | Murayama, Yuko [editor.] | Kawamura, Shinichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4266Source: 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
Information Security and Privacy [electronic resource] : 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11–13, 2001 Proceedings / edited by Vijay Varadharajan, Yi Mu.

by Varadharajan, Vijay [editor.] | Mu, Yi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2119Source: 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
Combinatorial Pattern Matching [electronic resource] : 4th Annual Symposium, CPM 93 Padova, Italy, June 2–4, 1993 Proceedings / edited by Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber.

by Apostolico, Alberto [editor.] | Crochemore, Maxime [editor.] | Galil, Zvi [editor.] | Manber, Udi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 684Source: 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
Discrete and Computational Geometry [electronic resource] : Japanese Conference, JCDCG 2000 Tokyo, Japan, November 22–25, 2000 Revised Papers / edited by Jin Akiyama, Mikio Kano, Masatsugu Urabe.

by Akiyama, Jin [editor.] | Kano, Mikio [editor.] | Urabe, Masatsugu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2098Source: 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
Automata, Languages and Programming [electronic resource] : 14th International Colloquium Karlsruhe, Federal Republic of Germany, July 13–17, 1987 Proceedings / edited by Thomas Ottmann.

by Ottmann, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 267Source: 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
Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings / edited by Marco Ajmone Marsan.

by Ajmone Marsan, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 691Source: 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
Algorithms and Computations [electronic resource] : 6th International Symposium, ISAAC '95 Cairns, Australia, December 4–6, 1995 Proceedings / edited by John Staples, Peter Eades, Naoki Katoh, Alistair Moffat.

by Staples, John [editor.] | Eades, Peter [editor.] | Katoh, Naoki [editor.] | Moffat, Alistair [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1004Source: 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
Information Security [electronic resource] : Second InternationalWorkshop, ISW’99 Kuala Lumpur, Malaysia, November 6-7, 1999 Proceedings / by Masahiro Mambo, Yuliang Zheng.

by Mambo, Masahiro [author.] | Zheng, Yuliang [author.] | SpringerLink (Online service).

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

Powered by Koha