|
|
|
Computation and Proof Theory [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / edited by Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas. by Börger, Egon [editor.] | Oberschelp, Walter [editor.] | Richter, Michael M [editor.] | Schinzel, Brigitta [editor.] | Thomas, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1104Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Stochastic Methods in Finance [electronic resource] : Lectures given at the C.I.M.E.-E.M.S. Summer School held in Bressanone/Brixen, Italy, July 6-12, 2003 / by Kerry Back, Tomasz R. Bielecki, Christian Hipp, Shige Peng, Walter Schachermayer. by Back, Kerry [author.] | Bielecki, Tomasz R [author.] | Hipp, Christian [author.] | Peng, Shige [author.] | Schachermayer, Walter [author.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics, Fondazione C.I.M.E., Firenze ; 1856Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsoukiàs, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8176Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Numbers, Sets and Axioms : The Apparatus of Mathematics (PB) by Hamilton, A. G. ;Language: English Language: English Publication details: Cambridge Cambridge University Press 1982Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 42 Call number: 510 HAM.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Analogue Gravity Phenomenology [electronic resource] : Analogue Spacetimes and Horizons, from Theory to Experiment / edited by Daniele Faccio, Francesco Belgiorno, Sergio Cacciatori, Vittorio Gorini, Stefano Liberati, Ugo Moschella. by Faccio, Daniele [editor.] | Belgiorno, Francesco [editor.] | Cacciatori, Sergio [editor.] | Gorini, Vittorio [editor.] | Liberati, Stefano [editor.] | Moschella, Ugo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 870Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Medical Imaging and Augmented Reality [electronic resource] : Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004. Proceedings / edited by Guang-Zhong Yang, Tian-Zi Jiang. by Yang, Guang-Zhong [editor.] | Jiang, Tian-Zi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3150Source: 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): .
|