Your search returned 89 results.

Not what you expected? Check for suggestions
E-BOOKS
Logical Aspects of Computational Linguistics [electronic resource] : First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers / edited by Christian Retoré.

by Retoré, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1328Source: 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
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode.

by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9537 | Lecture Notes in Computer Science ; 9537Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2

by Gabbay, Dov M | Reynolds, Mark A | Finger, Marcelo.

Series: Oxford Logic Guides : 40Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Oxford University Press 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

Place hold Log in to add tags
E-BOOKS
Word Equations and Related Topics [electronic resource] : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings / edited by K. U. Schulz.

by Schulz, K. U [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 572Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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] : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings / edited by L. Budach.

by Budach, L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 529Source: 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
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem.

by Ågotnes, Thomas [editor.] | Broersen, Jan [editor.] | Elgesem, Dag [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7393Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof.

by Morrill, Glyn [editor.] | Nederhof, Mark-Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8036Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 2001 [electronic resource] : 18th Annual Symposium on Theoretical Aspects of Computer Science Dresden, Germany, February 15–17, 2001 Proceedings / edited by Afonso Ferreira, Horst Reichel.

by Ferreira, Afonso [editor.] | Reichel, Horst [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2010Source: 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
CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 329Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 '91 [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 / edited by S. Abramsky, T. S. E. Maibaum.

by Abramsky, S [editor.] | Maibaum, T. S. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 493Source: 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
Automata, Languages and Programming [electronic resource] : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings / edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson.

by Lingas, Andrzej [editor.] | Karlsson, Rolf [editor.] | Carlsson, Svante [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 700Source: 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 97 [electronic resource] : 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings / edited by Rüdiger Reischuk, Michel Morvan.

by Reischuk, Rüdiger [editor.] | Morvan, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1200Source: 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
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz.

by Leivant, Daniel [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4576Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings / edited by Farhad Arbab, Marjan Sirjani.

by Arbab, Farhad [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4767Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 [electronic resource] : 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974 / edited by A. Blikle.

by Blikle, A [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Recent Trends in Algebraic Development Techniques [electronic resource] : 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers / edited by Francesco Parisi Presicce.

by Presicce, Francesco Parisi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1376Source: 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
Distributed Algorithms [electronic resource] : 10th International Workshop, WDAG '96 Bologna, Italy, October 9–11, 1996 Proceedings / edited by Özalp Babaoğlu, Keith Marzullo.

by Babaoğlu, Özalp [editor.] | Marzullo, Keith [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1151Source: 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
Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada.

by Cortier, Véronique [editor.] | Kirchner, Claude [editor.] | Okada, Mitsuhiro [editor.] | Sakurada, Hideki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5458Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Linear Logic in Computer Science / Edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott.

by Ehrhard, Thomas [editor of compilation.] | Girard, Jean-Yves [editor of compilation.] | Ruet, Paul [editor of compilation.] | Scott, Philip [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 316Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2004Online 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