Your search returned 611 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic and computation : [electronic resource] proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor.

by Workshop on Logic and Computation (1987 : Carnegie Mellon University) | Sieg, Wilfried, 1945-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 106.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1990Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz.

by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 1st ed. 2017.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, 2017Online 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
Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / edited by Veli Mäkinen, Simon J. Puglisi, Leena Salmela.

by Mäkinen, Veli [editor.] | Puglisi, Simon J [editor.] | Salmela, Leena [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9843 | Lecture Notes in Computer Science ; 9843Edition: 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
E-BOOKS
Descriptional Complexity of Formal Systems [electronic resource] : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / edited by Giovanni Pighizzini, Cezar Câmpeanu.

by Pighizzini, Giovanni [editor.] | Câmpeanu, Cezar [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10316 | Lecture Notes in Computer Science ; 10316Edition: 1st ed. 2017.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, 2017Online 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 Science – Theory and Applications [electronic resource] : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.

by Weil, Pascal [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10304 | Lecture Notes in Computer Science ; 10304Edition: 1st ed. 2017.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, 2017Online 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
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / edited by Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki.

by Murata, Tsuyoshi [editor.] | Mineshima, Koji [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9067 | Lecture Notes in Computer Science ; 9067Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8972 | Lecture Notes in Computer Science ; 8972Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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
Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme.

by Brlek, Srečko [editor.] | Dolce, Francesco [editor.] | Reutenauer, Christophe [editor.] | Vandomme, Élise [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10432 | Lecture Notes in Computer Science ; 10432Edition: 1st ed. 2017.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, 2017Online 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 Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / edited by Isabelle Bloch, Alfredo Petrosino, Andrea G. B. Tettamanzi.

by Bloch, Isabelle [editor.] | Petrosino, Alfredo [editor.] | Tettamanzi, Andrea G. B [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub.

by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5753Source: 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
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.

by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7810Source: 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
Lectures on Formally Real Fields [electronic resource] / by Alexander Prestel.

by Prestel, Alexander [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1093Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi Romijn, Graeme Smith, Jaco Pol.

by Romijn, Judi [editor.] | Smith, Graeme [editor.] | Pol, Jaco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3771Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 Munich Project CIP [electronic resource] / by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner.

by Brauer, F. L [author.] | Berghammer, R [author.] | Dosch, W [author.] | Gnatz, R [author.] | Hangel, E [author.] | Möller, B [author.] | Partsch, H [author.] | Pepper, P [author.] | Samelson, K [author.] | Wössner, H [author.] | Broy, M [author.] | Nickl, F [author.] | Wirsing, M [author.] | Geiselbrechtinger, F [author.] | Hesse, W [author.] | Krieg-Brückner, B [author.] | Laut, A [author.] | Matzner, T [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: By the CIP Language Group.Online 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
Seminar on Concurrency [electronic resource] : Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984 / edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel.

by Brookes, Stephen D [editor.] | Roscoe, Andrew William [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 197Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings / edited by Leo Bachmair.

by Bachmair, Leo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1833Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Combinatorics on Traces [electronic resource] / by Volker Diekert.

by Diekert, Volker [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 454Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh.

by Dolev, D [editor.] | Galil, Z [editor.] | Rodeh, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 601Source: 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
Term Rewriting [electronic resource] : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course / edited by Hubert Comon, Jean-Pierre Jounnaud.

by Comon, Hubert [editor.] | Jounnaud, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 909Source: 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
Over-Constrained Systems [electronic resource] / edited by Michael Jampel, Eugene Freuder, Michael Maher.

by Jampel, Michael [editor.] | Freuder, Eugene [editor.] | Maher, Michael [editor.] | SpringerLink (Online service).

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