Your search returned 1708 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.

by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 8941 | Lecture Notes in Computer Science ; 8941Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII [electronic resource] : Selected Papers from FDSE 2014 / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Dang, Tran Khanh [editor.] | Thoai, Nam [editor.] | SpringerLink (Online service).

Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 9480 | Lecture Notes in Computer Science ; 9480Edition: 1st ed. 2016.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, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Database and Expert Systems Applications [electronic resource] : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II / edited by Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner.

by Benslimane, Djamal [editor.] | Damiani, Ernesto [editor.] | Grosky, William I [editor.] | Hameurlain, Abdelkader [editor.] | Sheth, Amit [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10439 | Lecture Notes in Computer Science ; 10439Edition: 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): .

E-BOOKS
Machines, Computations, and Universality [electronic resource] : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.

by Durand-Lose, Jerome [editor.] | Nagy, Benedek [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9288 | Lecture Notes in Computer Science ; 9288Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Mathematics of Program Construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / edited by Ralf Hinze, Janis Voigtländer.

by Hinze, Ralf [editor.] | Voigtländer, Janis [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9129 | Lecture Notes in Computer Science ; 9129Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Andrew Pitts.

by Pitts, Andrew [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9034 | Lecture Notes in Computer Science ; 9034Edition: 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): .

E-BOOKS
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / edited by Marcello Balduccini, Tomi Janhunen.

by Balduccini, Marcello [editor.] | Janhunen, Tomi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Descriptional Complexity of Formal Systems [electronic resource] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit.

by Câmpeanu, Cezar [editor.] | Manea, Florin [editor.] | Shallit, Jeffrey [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9777 | Lecture Notes in Computer Science ; 9777Edition: 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): .

E-BOOKS
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski.

by Calimeri, Francesco [editor.] | Ianni, Giovambattista [editor.] | Truszczynski, Miroslaw [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9345 | Lecture Notes in Computer Science ; 9345Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Unveiling Dynamics and Complexity [electronic resource] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / edited by Jarkko Kari, Florin Manea, Ion Petre.

by Kari, Jarkko [editor.] | Manea, Florin [editor.] | Petre, Ion [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10307 | Lecture Notes in Computer Science ; 10307Edition: 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): .

E-BOOKS
Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma.

by Botana, Francisco [editor.] | Quaresma, Pedro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9201 | Lecture Notes in Computer Science ; 9201Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Automated Deduction – CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / edited by Leonardo de Moura.

by de Moura, Leonardo [editor.] | SpringerLink (Online service).

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

E-BOOKS
Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.

by van der Aalst, Wil [editor.] | Best, Eike [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10258 | Lecture Notes in Computer Science ; 10258Edition: 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): .

E-BOOKS
Static Analysis [electronic resource] : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings / edited by Francesco Ranzato.

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

Series: Programming and Software Engineering ; 10422 | Lecture Notes in Computer Science ; 10422Edition: 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): .

E-BOOKS
Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe.

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

Series: Theoretical Computer Science and General Issues ; 10168 | Lecture Notes in Computer Science ; 10168Edition: 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): .

E-BOOKS
Small Dynamic Complexity Classes [electronic resource] : An Investigation into Dynamic Descriptive Complexity / by Thomas Zeume.

by Zeume, Thomas [author.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10110 | Lecture Notes in Computer Science ; 10110Edition: 1st ed. 2017.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, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / edited by Pavel Král, Carlos Martín-Vide.

by Král, Pavel [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service).

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

E-BOOKS
Combinatorial Algorithms [electronic resource] : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / edited by Kratochvíl Jan, Mirka Miller, Dalibor Froncek.

by Jan, Kratochvíl [editor.] | Miller, Mirka [editor.] | Froncek, Dalibor [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8986 | Lecture Notes in Computer Science ; 8986Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Dorel Lucanu.

by Lucanu, Dorel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9942 | Lecture Notes in Computer Science ; 9942Edition: 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): .

E-BOOKS
Foundations of Biomedical Knowledge Representation [electronic resource] : Methods and Applications / edited by Arjen Hommersom, Peter J.F. Lucas.

by Hommersom, Arjen [editor.] | Lucas, Peter J.F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9521 | Lecture Notes in Computer Science ; 9521Edition: 1st ed. 2015.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, 2015Online 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