Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Representing Plans Under Uncertainty [electronic resource] : A Logic of Time, Chance, and Action / edited by Peter Haddawy.

by Haddawy, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 770Source: 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
Modeling and Using Context [electronic resource] : Second International and Interdisciplinary Conference,CONTEXT’99 Trento, Italy, September 9–11, 1999 Proceedings / edited by Paolo Bouquet, Massimo Benerecetti, Luciano Serafini, Patrick Brézillon, Francesca Castellani.

by Bouquet, Paolo [editor.] | Benerecetti, Massimo [editor.] | Serafini, Luciano [editor.] | Brézillon, Patrick [editor.] | Castellani, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1688Source: 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
Focusing Solutions for Data Mining [electronic resource] : Analytical Studies and Experimental Results in Real-World Domains / edited by Thomas Reinartz.

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

Series: Lecture Notes in Computer Science ; 1623Source: 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
Artificial Intelligence Today [electronic resource] : Recent Trends and Developments / edited by Michael J. Wooldridge, Manuela Veloso.

by Wooldridge, Michael J [editor.] | Veloso, Manuela [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1600Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Algorithm Engineering [electronic resource] : 3rd International Workshop, WAE’99 London, UK, July 19–21, 1999 Proceedings / edited by Jeffrey S. Vitter, Christos D. Zaroliagis.

by Vitter, Jeffrey S [editor.] | Zaroliagis, Christos D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1668Source: 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
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
CONCUR’99 Concurrency Theory [electronic resource] : 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings / edited by Jos C. M. Baeten, Sjouke Mauw.

by Baeten, Jos C. M [editor.] | Mauw, Sjouke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1664Source: 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
Fundamentals of Computation Theory [electronic resource] : 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings / edited by Gabriel Ciobanu, Gheorghe Păun.

by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1684Source: 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
Visualization of Scientific Parallel Programs [electronic resource] / edited by Gerald Tomas, Christoph W. Ueberhuber.

by Tomas, Gerald [editor.] | Ueberhuber, Christoph W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 771Source: 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
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’ 93 [electronic resource] : 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22–26, 1993 Proceedings / edited by Douglas R. Stinson.

by Stinson, Douglas R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 773Source: 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
Hardware and Software Architectures for Fault Tolerance [electronic resource] : Experiences and Perspectives / edited by Michel Banâtre, Peter A. Lee.

by Banâtre, Michel [editor.] | Lee, Peter A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 774Source: 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
STACS 94 [electronic resource] : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner.

by Enjalbert, Patrice [editor.] | Mayr, Ernst W [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 775Source: 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
Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings / edited by Hans Jürgen Schneider, Hartmut Ehrig.

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

Series: Lecture Notes in Computer Science ; 776Source: 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
Management and Processing of Complex Data Structures [electronic resource] : Third Workshop on Information Systems and Artificial Intelligence Hamburg, Germany, February 28–March 2, 1994 Proceedings / edited by Kai Luck, Heinz Marburger.

by Luck, Kai [editor.] | Marburger, Heinz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 777Source: 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
Algorithms and Complexity [electronic resource] : Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings / edited by M. Bonuccelli, P. Crescenzi, R. Petreschi.

by Bonuccelli, M [editor.] | Crescenzi, P [editor.] | Petreschi, R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 778Source: 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
Mathematical Foundations of Computer Science 1999 [electronic resource] : 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings / edited by Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki.

by Kutyłowski, Mirosław [editor.] | Pacholski, Leszek [editor.] | Wierzbicki, Tomasz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1672Source: 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
Advances in Database Technology — EDBT '94 [electronic resource] : 4th International Conference on Extending Database Technology Cambridge, United Kingdom, March 28–31, 1994 Proceedings / edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.

by Jarke, Matthias [editor.] | Bubenko, Janis [editor.] | Jeffery, Keith [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 779Source: 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
Spatio-Temporal Database Management [electronic resource] : International Workshop STDBM’99 Edinburgh, Scotland, September 10–11, 1999 Proceedings / edited by Michael H. Böhlen, Christian S. Jensen, Michel O. Scholl.

by Böhlen, Michael H [editor.] | Jensen, Christian S [editor.] | Scholl, Michel O [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1678Source: 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger.

by Joyce, Jeffrey J [editor.] | Seger, Carl-Johan H [editor.] | SpringerLink (Online service).

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

Powered by Koha