Your search returned 349 results.

Not what you expected? Check for suggestions
E-BOOKS
Algorithms — ESA '97 [electronic resource] : 5th Annual European Symposium Graz, Austria, September 15–17, 1997 Proceedings / edited by Rainer Burkard, Gerhard Woeginger.

by Burkard, Rainer [editor.] | Woeginger, Gerhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings / edited by Igor Prívara, Peter Ružička.

by Prívara, Igor [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
STACS 98 [electronic resource] : 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25–27, 1998 Proceedings / edited by Michel Morvan, Christoph Meinel, Daniel Krob.

by Morvan, Michel [editor.] | Meinel, Christoph [editor.] | Krob, Daniel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithmic Aspects in Information and Management [electronic resource] : Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007. Proceedings / edited by Ming-Yang Kao, Xiang-Yang Li.

by Kao, Ming-Yang [editor.] | Li, Xiang-Yang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers / edited by Andreas Brandstädt, Dieter Kratsch, Haiko Müller.

by Brandstädt, Andreas [editor.] | Kratsch, Dieter [editor.] | Müller, Haiko [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graph-Theoretic Concepts in Computer Science [electronic resource] : 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers / edited by Hajo Broersma, Thomas Erlebach, Tom Friedetzky, Daniel Paulusma.

by Broersma, Hajo [editor.] | Erlebach, Thomas [editor.] | Friedetzky, Tom [editor.] | Paulusma, Daniel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Discrete Geometry for Computer Imagery [electronic resource] : 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings / edited by Srečko Brlek, Christophe Reutenauer, Xavier Provençal.

by Brlek, Srečko [editor.] | Reutenauer, Christophe [editor.] | Provençal, Xavier [editor.] | SpringerLink (Online service).

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

E-BOOKS
Integer Programming and Combinatorial Optimization [electronic resource] : 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings / edited by Friedrich Eisenbrand, F. Bruce Shepherd.

by Eisenbrand, Friedrich [editor.] | Shepherd, F. Bruce [editor.] | SpringerLink (Online service).

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

E-BOOKS
Geographic Information Science [electronic resource] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder.

by Fabrikant, Sara Irina [editor.] | Reichenbacher, Tumasch [editor.] | Kreveld, Marc [editor.] | Schlieder, Christoph [editor.] | SpringerLink (Online service).

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

E-BOOKS
Integer Programming and Combinatorial Optimization [electronic resource] : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, José Correa.

by Goemans, Michel [editor.] | Correa, José [editor.] | SpringerLink (Online service).

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

E-BOOKS
Experimental Algorithms [electronic resource] : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings / edited by Evripidis Bampis.

by Bampis, Evripidis [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9125 | Lecture Notes in Computer Science ; 9125Edition: 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
Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira.

by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, José [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9348 | Lecture Notes in Computer Science ; 9348Edition: 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
Integer Programming and Combinatorial Optimization [electronic resource] : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / edited by Quentin Louveaux, Martin Skutella.

by Louveaux, Quentin [editor.] | Skutella, Martin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9682 | Lecture Notes in Computer Science ; 9682Edition: 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
Frontiers in Algorithmics [electronic resource] : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / edited by Jianxin Wang, Chee Yap.

by Wang, Jianxin [editor.] | Yap, Chee [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9130 | Lecture Notes in Computer Science ; 9130Edition: 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
Hybrid Metaheuristics [electronic resource] : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings / edited by Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Alessandro Di Nuovo, Mario Pavone, El-Ghazali Talbi.

by Blesa, Maria J [editor.] | Blum, Christian [editor.] | Cangelosi, Angelo [editor.] | Cutello, Vincenzo [editor.] | Di Nuovo, Alessandro [editor.] | Pavone, Mario [editor.] | Talbi, El-Ghazali [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9668 | Lecture Notes in Computer Science ; 9668Edition: 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
Computer Algebra in Scientific Computing [electronic resource] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9890 | Lecture Notes in Computer Science ; 9890Edition: 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
Frontiers in Algorithmics [electronic resource] : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings / edited by Mingyu Xiao, Frances Rosamond.

by Xiao, Mingyu [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service).

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

E-BOOKS
Digital Libraries: People, Knowledge, and Technology [electronic resource] : 5th International Conference on Asian Digital Libraries, ICADL 2002 Singapore, December 11–14, 2002 Proceedings / edited by Ee- Peng Lim, Schubert Foo, Chris Khoo, Hsinchun Chen, Edward Fox, Shalini Urs, Thanos Costantino.

by Lim, Ee- Peng [editor.] | Foo, Schubert [editor.] | Khoo, Chris [editor.] | Chen, Hsinchun [editor.] | Fox, Edward [editor.] | Urs, Shalini [editor.] | Costantino, Thanos [editor.] | SpringerLink (Online service).

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

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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha