|
|
|
Ramanujun 125 : [electronic resource] international conference to commemorate the 125th anniversary of Ramanujan's birth, November 5--7, 2012, University of Florida, Gainesville, Florida / Krishnaswami Alladi, Frank Garvan, Ae Ja Yee, editors. by Alladi, Krishnaswami [editor of compilation.] | Garvan, Frank (Frank G.), 1955- | Yee, Ae Ja, 1971- [editor of compilation.]. Series: Contemporary mathematics ; v. 627Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
LATIN 2016: Theoretical Informatics [electronic resource] : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / edited by Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez. by Kranakis, Evangelos [editor.] | Navarro, Gonzalo [editor.] | Chávez, Edgar [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9644 | Lecture Notes in Computer Science ; 9644Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / edited by Enrico Giunchiglia, Armando Tacchella. by Giunchiglia, Enrico [editor.] | Tacchella, Armando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2919Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Ganter, Bernhard [editor.] | Godin, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3403Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Computing and Combinatorics [electronic resource] : 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25–28, 2003 Proceedings / edited by Tandy Warnow, Binhai Zhu. by Warnow, Tandy [editor.] | Zhu, Binhai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2697Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Discrete Geometry, Combinatorics and Graph Theory [electronic resource] : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers / edited by Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu. by Akiyama, Jin [editor.] | Chen, William Y. C [editor.] | Kano, Mikio [editor.] | Li, Xueliang [editor.] | Yu, Qinglin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4381Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Sequences and Their Applications - SETA 2008 [electronic resource] : 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings / edited by Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof. by Golomb, Solomon W [editor.] | Parker, Matthew G [editor.] | Pott, Alexander [editor.] | Winterhof, Arne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5203Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / edited by Fernando Orejas, Paul G. Spirakis, Jan Leeuwen. by Orejas, Fernando [editor.] | Spirakis, Paul G [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2076Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings / edited by J. Christopher Beck, Barbara M. Smith. by Beck, J. Christopher [editor.] | Smith, Barbara M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3990Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques [electronic resource] : 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeton, NJ, USA, August 24-26, 2003. Proceedings / edited by Sanjeev Arora, Klaus Jansen, José D. P. Rolim, Amit Sahai. by Arora, Sanjeev [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Sahai, Amit [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2764Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|