|
|
|
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): .
|
|
|
|
|
|
|
|
Recent Developments in Nonequilibrium Thermodynamics: Fluids and Related Topics [electronic resource] : Proceedings of the Meeting Held at Bellaterra School of Thermodynamics Autonomous University of Barcelona Sant Feliu de Guíxols, Catalonia, Spain September 16–20, 1985 / edited by José Casas-Vázquez, David Jou, José-Miguel Rubí. by Casas-Vázquez, José [editor.] | Jou, David [editor.] | Rubí, José-Miguel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 253Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
High Performance Computing – HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / edited by David A. Bader, Manish Parashar, Varadarajan Sridhar, Viktor K. Prasanna. by Bader, David A [editor.] | Parashar, Manish [editor.] | Sridhar, Varadarajan [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3769Source: 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): .
|
|
|
|
Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers / edited by Manfred Broy, Alexandre V. Zamulin. by Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2890Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser. by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1885Source: 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): .
|
|
|
|
Computer Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger. by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1102Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings / edited by Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia. by Nielsen, Mogens [editor.] | Kučera, Antonín [editor.] | Miltersen, Peter Bro [editor.] | Palamidessi, Catuscia [editor.] | Tůma, Petr [editor.] | Valencia, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5404Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Web Based Learning – ICWL 2009 [electronic resource] : 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings / edited by Marc Spaniol, Qing Li, Ralf Klamma, Rynson W. H. Lau. by Spaniol, Marc [editor.] | Li, Qing [editor.] | Klamma, Ralf [editor.] | Lau, Rynson W. H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5686Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Brain Function Assessment in Learning [electronic resource] : First International Conference, BFAL 2017, Patras, Greece, September 24-25, 2017, Proceedings / edited by Claude Frasson, George Kostopoulos. by Frasson, Claude [editor.] | Kostopoulos, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10512 | Lecture Notes in Computer Science ; 10512Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design [electronic resource] : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Vincent G. Duffy. by Duffy, Vincent G [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10286 | Lecture Notes in Computer Science ; 10286Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings / edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot. by Liddell, Heather [editor.] | Colbrook, Adrian [editor.] | Hertzberger, Bob [editor.] | Sloot, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1067Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|