|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algorithms and Computation [electronic resource] : 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, D. T. Lee, Shang-Hua Teng. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Lee, D. T [editor.] | Teng, Shang-Hua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1969Source: 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): .
|
|
|
|
|
|
|
|
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency [electronic resource] : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 354Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers / edited by Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk. by Brandstädt, Andreas [editor.] | Jansen, Klaus [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8165Source: 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): .
|
|
|
|
Group Theoretical Methods in Physics [electronic resource] : Proceedings of the XIIth International Colloquium Held at the International Centre for Theoretical Physics, Trieste, Italy, September 5–11, 1983 / edited by G. Denardo, G. Ghirardi, T. Weber. by Denardo, G [editor.] | Ghirardi, G [editor.] | Weber, T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 201Source: 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): .
|
|
|
|
Functional Analysis, Holomorphy, and Approximation Theory [electronic resource] : Proceedings of the Seminário de Análise Funcional, Holomorfia e Teoria da Aproximação, Universidade Federal do Rio de Janeiro, Brazil, August 7 – 11, 1978 / edited by Silvio Machado. by Machado, Silvio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 843Source: 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): .
|
|
|
|
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): .
|
|
|
|
|