Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Filtering, Segmentation and Depth [electronic resource] / by Mark Nitzberg, David Mumford, Takahiro Shiota.

by Nitzberg, Mark [author.] | Mumford, David [author.] | Shiota, Takahiro [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 662Source: 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
Computer Aided Verification [electronic resource] : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings / edited by Gregor Bochmann, David Karl Probst.

by Bochmann, Gregor [editor.] | Probst, David Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 663Source: 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
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
Uncertainty in Knowledge Bases [electronic resource] : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90 Paris, France, July 2–6, 1990 Proceedings / edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.

by Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [editor.] | Zadeh, Lotfi A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 521Source: 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
European Workshop on Planning [electronic resource] : EWSP ’91, Sankt Augustin, FRG, March 18–19, 1991 Proceedings / edited by Joachim Hertzberg.

by Hertzberg, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 522Source: 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
Typed Lambda Calculi and Applications [electronic resource] : International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings / edited by Marc Bezem, Jan Friso Groote.

by Bezem, Marc [editor.] | Groote, Jan Friso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 664Source: 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
Semantics: Foundations and Applications [electronic resource] : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 666Source: 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
Machine Learning: ECML-93 [electronic resource] : European Conference on Machine Learning Vienna, Austria, April 5–7, 1993 Proceedings / edited by Pavel B. Brazdil.

by Brazdil, Pavel B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 667Source: 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
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
Functional Programming Languages and Computer Architecture [electronic resource] : 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings / edited by John Hughes.

by Hughes, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 523Source: 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 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
Theoretical Aspects of Computer Software [electronic resource] : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings / edited by Takayasu Ito, Albert R. Meyer.

by Ito, Takayasu [editor.] | Meyer, Albert R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 526Source: 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
Bringing Telecommunication Services to the People — IS&N '95 [electronic resource] : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16–19, 1995 Proceedings / edited by Anne Clarke, Mario Campolargo, Nikos Karatzas.

by Clarke, Anne [editor.] | Campolargo, Mario [editor.] | Karatzas, Nikos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 998Source: 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
FME '93: Industrial-Strength Formal Methods [electronic resource] : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings / edited by James C. P. Woodcock, Peter G. Larsen.

by Woodcock, James C. P [editor.] | Larsen, Peter G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 670Source: 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
The MOSIX Distributed Operating System [electronic resource] : Load Balancing for UNIX / edited by Amnon Barak, Shai Guday, Richard G. Wheeler.

by Barak, Amnon [editor.] | Guday, Shai [editor.] | Wheeler, Richard G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 672Source: 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
GWAI-92: Advances in Artificial Intelligence [electronic resource] : 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings / edited by Hans Jürgen Ohlbach.

by Jürgen Ohlbach, Hans [editor.] | SpringerLink (Online service).

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

Powered by Koha