|
|
|
Modeling and Verification of Parallel Processes [electronic resource] : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan. by Cassez, Franck [editor.] | Jard, Claude [editor.] | Rozoy, Brigitte [editor.] | Ryan, Mark Dermot [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2067Source: 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): .
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio. by Vallecillo, Antonio [editor.] | Gray, Jeff [editor.] | Pierantonio, Alfonso [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5063Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Group Theoretical Methods in Physics [electronic resource] : Seventh International Colloquium and Integrative Conference on Group Theory and Mathematical Physics, Held in Austin, Texas, September 11–16, 1978 / edited by Wolf Beiglböck, Arno Böhm, E. Takasugi. by Beiglböck, Wolf [editor.] | Böhm, Arno [editor.] | Takasugi, E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 94Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II / edited by Shipeng Li, Abdulmotaleb Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin. by Li, Shipeng [editor.] | Saddik, Abdulmotaleb [editor.] | Wang, Meng [editor.] | Mei, Tao [editor.] | Sebe, Nicu [editor.] | Yan, Shuicheng [editor.] | Hong, Richang [editor.] | Gurrin, Cathal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7733Source: 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): .
|
|
|
|
|
|
|
|
Renormalization of Quantum Field Theories with Non-linear Field Transformations [electronic resource] : Proceedings of a Workshop, Held at Ringberg Castle Tegernsee, FRG, February 16–20, 1987 / edited by Peter Breitenlohner, Dieter Maison, Klaus Sibold. by Breitenlohner, Peter [editor.] | Maison, Dieter [editor.] | Sibold, Klaus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 303Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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): .
|
|
|
|
Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram. by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4215Source: 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): .
|
|
|
|
|
|
|
|
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by Brocke, Jan [editor.] | Hekkala, Riitta [editor.] | Ram, Sudha [editor.] | Rossi, Matti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7939Source: 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): .
|
|
|
|
Differential Geometrical Methods in Mathematical Physics [electronic resource] : Proceedings of the Conferences Held at Aix-en-Provence, September 3 – 7, 1979 and Salamanca, September 10 – 14, 1979 / edited by P. L. García, A. Pérez-Rendón, J. M. Souriau. by García, P. L [editor.] | Pérez-Rendón, A [editor.] | Souriau, J. M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 836Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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): .
|
|
|
|
|