|
|
|
|
|
|
|
Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk. by Kahle, Reinhard [editor.] | Schroeder-Heister, Peter [editor.] | Stärk, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2183Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Analytic Number Theory [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 11–18, 2002 / by J. B. Friedlander, D. R. Heath-Brown, H. Iwaniec, J. Kaczorowski ; edited by Alberto Perelli, Carlo Viola. by Friedlander, J. B [author.] | Heath-Brown, D. R [author.] | Iwaniec, H [author.] | Kaczorowski, J [author.] | Perelli, Alberto [editor.] | Viola, Carlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1891Source: 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): .
|
|
|
|
|
|
|
|
Tensor categories by Etingof, Pavel | Gelaki, Shlomo | Nikshych,Dmitri | Ostrik,Victor. Series: Mathematical surveys and monographs ; 205Edition: Indian EditionMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Providence, Rhode Island American Mathematical Society (AMS) 2017Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section, Shelf No: 3 Call number: 512 ETI.
|
|
|
|
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: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 33 Call number: 681.3.06 BEN.
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 1998 [electronic resource] : 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings / edited by Luboš Brim, Jozef Gruska, Jiří Zlatuška. by Brim, Luboš [editor.] | Gruska, Jozef [editor.] | Zlatuška, Jiří [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1450Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Sheaf Theory by Bredon, Glen.E | Axler, S | Gehring. Series: Graduate Texts in Mathematics ; 170Edition: 2nd;Language: English Language: English Publication details: New York Springer 1997Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): DISPLAY Call number: 513.83 BRE.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hyperbolic Systems of Balance Laws [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 14–21, 2003 / by Alberto Bressan, Denis Serre, Mark Williams, Kevin Zumbrun ; edited by Pierangelo Marcati. by Bressan, Alberto [author.] | Serre, Denis [author.] | Williams, Mark [author.] | Zumbrun, Kevin [author.] | Marcati, Pierangelo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1911Source: 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): .
|
|
|
|
|
|
|
|
Human-Computer Interaction [electronic resource] : 5th International Conference, EWHCI '95 Moscow, Russia, July 3–7 1995 Selected Papers / edited by Brad Blumenthal, Juri Gornostaev, Claus Unger. by Blumenthal, Brad [editor.] | Gornostaev, Juri [editor.] | Unger, Claus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1015Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus [editor.] | Brandt, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4732Source: 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): .
|