Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Orders, Algorithms, and Applications [electronic resource] : International Workshop ORDAL '94 Lyon, France, July 4–8, 1994 Proceedings / edited by Vincent Bouchitté, Michel Morvan.

by Bouchitté, Vincent [editor.] | Morvan, Michel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke.

by Börger, Egon [editor.] | Gurevich, Yuri [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fuzzy Logic and Fuzzy Control [electronic resource] : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control Sydney, Australia, August 24, 1991 Proceedings / edited by Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu.

by Driankov, Dimiter [editor.] | Eklund, Peter W [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 833Source: 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): .

E-BOOKS
Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender.

by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Remagnino, Paolo [editor.] | Nefian, Ara [editor.] | Meenakshisundaram, Gopi [editor.] | Pascucci, Valerio [editor.] | Zara, Jiri [editor.] | Molineros, Jose [editor.] | Theisel, Holger [editor.] | Malzbender, Tom [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender.

by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Remagnino, Paolo [editor.] | Nefian, Ara [editor.] | Meenakshisundaram, Gopi [editor.] | Pascucci, Valerio [editor.] | Zara, Jiri [editor.] | Molineros, Jose [editor.] | Theisel, Holger [editor.] | Malzbender, Tom [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms and Computation [electronic resource] : 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings / edited by Ding-Zhu Du, Xiang-Sun Zhang.

by Du, Ding-Zhu [editor.] | Zhang, Xiang-Sun [editor.] | SpringerLink (Online service).

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

E-BOOKS
CONCUR ’94: Concurrency Theory [electronic resource] : 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings / edited by Bengt Jonsson, Joachim Parrow.

by Jonsson, Bengt [editor.] | Parrow, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 836Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Topics in Case-Based Reasoning [electronic resource] : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers / edited by Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter.

by Wess, Stefan [editor.] | Althoff, Klaus-Dieter [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 837Source: 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): .

E-BOOKS
Logics in Artificial Intelligence [electronic resource] : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings / edited by Craig MacNish, David Pearce, Luís Moniz Pereira.

by MacNish, Craig [editor.] | Pearce, David [editor.] | Pereira, Luís Moniz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 838Source: 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): .

E-BOOKS
Advances in Cryptology — CRYPTO ’94 [electronic resource] : 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings / edited by Yvo G. Desmedt.

by Desmedt, Yvo G [editor.] | SpringerLink (Online service).

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

E-BOOKS
Conceptual Structures: Standards and Practices [electronic resource] : 7th International Conference on Conceptual Structures, ICCS’99 Blacksburg, VA, USA, July 12–15, 1999 Proceedings / edited by William M. Tepfenhart, Walling Cyre.

by Tepfenhart, William M [editor.] | Cyre, Walling [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Deduction — CADE-16 [electronic resource] : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings / by Harald Ganzinger.

by Ganzinger, Harald [author.] | SpringerLink (Online service).

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

E-BOOKS
The Traveling Salesman [electronic resource] : Computational Solutions for TSP Applications / by Gerhard Reinelt.

by Reinelt, Gerhard [author.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička.

by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Turing Machines with Sublogarithmic Space [electronic resource] / edited by Andrzej Szepietowski.

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

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

E-BOOKS
Treewidth [electronic resource] : Computations and Approximations / edited by Ton Kloks.

by Kloks, Ton [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Aided Verification [electronic resource] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings / edited by Nicolas Halbwachs, Doron Peled.

by Halbwachs, Nicolas [editor.] | Peled, Doron [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings / edited by Paliath Narendran, Michael Rusinowitch.

by Narendran, Paliath [editor.] | Rusinowitch, Michael [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computing and Combinatorics [electronic resource] : 5th Annual International Conference, COCOON’99 Tokyo, Japan, July 26–28, 1999 Proceedings / edited by Takano Asano, Hideki Imai, D. T. Lee, Shin-ichi Nakano, Takeshi Tokuyama.

by Asano, Takano [editor.] | Imai, Hideki [editor.] | Lee, D. T [editor.] | Nakano, Shin-ichi [editor.] | Tokuyama, Takeshi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Programming Language Implementation and Logic Programming [electronic resource] : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Manuel Hermenegildo, Jaan Penjam.

by Hermenegildo, Manuel [editor.] | Penjam, Jaan [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha