|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk. by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2646Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings / edited by Ming Li, Akira Maruoka. by Li, Ming [editor.] | Maruoka, Akira [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1316Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
Sequences, Subsequences, and Consequences [electronic resource] : International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers / edited by Solomon W. Golomb, Guang Gong, Tor Helleseth, Hong-Yeop Song. by Golomb, Solomon W [editor.] | Gong, Guang [editor.] | Helleseth, Tor [editor.] | Song, Hong-Yeop [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4893Source: 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): .
|
|
|
|
|
Computational Geometry and Graph Theory [electronic resource] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers / edited by Hiro Ito, Mikio Kano, Naoki Katoh, Yushi Uno. by Ito, Hiro [editor.] | Kano, Mikio [editor.] | Katoh, Naoki [editor.] | Uno, Yushi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4535Source: 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): .
|
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers / edited by Roberto Maria Avanzi, Liam Keliher, Francesco Sica. by Avanzi, Roberto Maria [editor.] | Keliher, Liam [editor.] | Sica, Francesco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5381Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Algorithmic Game Theory [electronic resource] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings / edited by Marios Mavronicolas, Vicky G. Papadopoulou. by Mavronicolas, Marios [editor.] | Papadopoulou, Vicky G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5814Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematics for computation (M4C) by Benini, Marco | Beyersdorff, Olaf | Rathjen, Michael | Schuster, Peter. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Jersey World Scientific 2023Availability: No items available : Checked out (1).
|
|
|
|
|
Walk through combinatorics : An introduction to enumeration and graph theory by Bona, Miklos. Edition: 5th ed.Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Jersey World Scientific 2024Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 15 Call number: 511 BONA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Recent Progress in Many-Body Theories [electronic resource] : Proceedings of the Second International Conference Held at Oaxtepec, Mexico, January 12–17, 1981 / edited by J. G. Zabolitzky, M. Llano, M. Fortes, J. W. Clark. by Zabolitzky, J. G [editor.] | Llano, M [editor.] | Fortes, M [editor.] | Clark, J. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 142Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
