|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Decoherence: Theoretical, Experimental, and Conceptual Problems [electronic resource] : Proceeding of a Workshop Held at Bielefeld, Germany, 10–14 November 1998 / edited by Philippe Blanchard, Erich Joos, Domenico Giulini, Clau Kiefer, Ion-Olimpiu Stamatescu. by Blanchard, Philippe [editor.] | Joos, Erich [editor.] | Giulini, Domenico [editor.] | Kiefer, Clau [editor.] | Stamatescu, Ion-Olimpiu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 538Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / edited by Mario Coppo, Elena Lodi, G. Michele Pinna. by Coppo, Mario [editor.] | Lodi, Elena [editor.] | Pinna, G. Michele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3701Source: 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): .
|
|
|
|
|
Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings / edited by Oleg B. Lupanov, Oktay M. Kasim-Zade, Alexander V. Chaskin, Kathleen Steinhöfel. by Lupanov, Oleg B [editor.] | Kasim-Zade, Oktay M [editor.] | Chaskin, Alexander V [editor.] | Steinhöfel, Kathleen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3777Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Recent advances in the theory and applications of mass transport : [electronic resource] summer school on mass transportation methods in kinetic theory and hydrodynamics, September 4-9, 2000, Ponta Delgada, Azores, Portugal / M.C. Carvalho, J.F. Rodrigues, editors. by Carvalho, M. C. (Maria da Conceicao Vieira de), 1956- | Rodrigues, Jos�e-Francisco. Series: Contemporary mathematics (American Mathematical Society) ; v. 353.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Probability in von Neumann Algebras by Madhushree Basu [author]. Material type: Text Publication details: 2013Dissertation Note: 2013 ; Ph.D ; HBNIAdvisor(s): Sunder, V.S.; Vijay Kodiyalam.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th57 .
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [editor.] | Zhang, Xingyuan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9236 | Lecture Notes in Computer Science ; 9236Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
Topology An Invitation by Parthasarathy, K. Series: Unitext ; 134;Language: English Language: English Publication details: Singapore Springer 2022Availability: Items available for loan: IMSc Library (2). Location(s): First Floor Rack No:31 Shelf No:25 Call number: 515.1 PAR.
|
|
|
|
|
Lagrangian and hamiltonian mechanics by Calkin, M.G. ;Language: English Language: English Publication details: London World Scientific 2020Availability: Items available for loan: IMSc Library (1). Location(s): DISPLAY Call number: 531 CAL.
|
|
|
|
|
Topology An Invitation by Parthasarathy, K. Series: Unitext ; 134Edition: Indian Edition;Language: English Language: English Publication details: Singapore Springer 2024Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section Call number: 515.1 PAR.
|
|
|
|
|
A Graduate Course in Probability by Nicolaescu, Liviu I. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Singapore World Scientific 2023Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 35, Shelf No: 26 Call number: 519.21 NIC .
|
|
|
|
|
|
