Your search returned 1709 results.

Not what you expected? Check for suggestions
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings / edited by Michael Johnson.

by Johnson, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1349Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 Geometry [electronic resource] : International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers / edited by Dongming Wang.

by Wang, Dongming [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1360Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings / edited by Maurice Nivat.

by Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1378Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / edited by Tobias Nipkow.

by Nipkow, Tobias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1379Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998Online 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
Programming Languages and Systems [electronic resource] : 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Chris Hankin.

by Hankin, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1381Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Compiler Construction [electronic resource] : 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Kai Koskimies.

by Koskimies, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1383Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 and Soft Computing – ICAISC 2008 [electronic resource] : 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings / edited by Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.

by Rutkowski, Leszek [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5097Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings / edited by Harrie Swart.

by Swart, Harrie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1397Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Automation of Reasoning with Incomplete Information [electronic resource] : From Semantic Foundations to Efficient Computation / by Torsten Schaub.

by Schaub, Torsten [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1409Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici.

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1289Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith.

by Grumberg, Orna [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5000Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Natural Language and Information Systems [electronic resource] : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings / edited by Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou.

by Kapetanios, Epaminondas [editor.] | Sugumaran, Vijayan [editor.] | Spiliopoulou, Myra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5039Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz.

by Hodges, Wilfrid [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5110Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / edited by Ron Meyden, Leendert Torre.

by Meyden, Ron [editor.] | Torre, Leendert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5076Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik.

by Gupta, Aarti [editor.] | Malik, Sharad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5123Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5117Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring.

by Audebaud, Philippe [editor.] | Paulin-Mohring, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5133Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Conceptual Structures: Knowledge Visualization and Reasoning [electronic resource] : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / edited by Peter Eklund, Ollivier Haemmerlé.

by Eklund, Peter [editor.] | Haemmerlé, Ollivier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5113Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Principles and Practice of Constraint Programming — CP96 [electronic resource] : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings / edited by Eugene C. Freuder.

by Freuder, Eugene C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1118Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Wright, Joakim [editor.] | Grundy, Jim [editor.] | Harrison, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1125Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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