|
|
|
Bernoulli Potential in Superconductors [electronic resource] / by P. Lipavský, Jan Koláček, Klaus Morawetz, Ernst Helmut Brandt, Tzong-Jer Yang. by Lipavský, P [author.] | Koláček, Jan [author.] | Morawetz, Klaus [author.] | Brandt, Ernst Helmut [author.] | Yang, Tzong-Jer [author.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 733Source: 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): .
|
|
|
|
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): .
|
|
|
|
Secondary calculus and cohomological physics : [electronic resource] proceedings of a Conference on Secondary Calculus and Cohomological Physics, August 24-31, 1997, Moscow, Russia / Marc Henneaux, Joseph Krasil�shchik, Alexandre Vinogradov, editors. by Conference on Secondary Calculus and Cohomological Physics (1997 : Moscow, Russia) | Henneaux, Marc | Krasil�shchik, I. S. (Iosif Semenovich) | Vinogradov, A. M. (Aleksandr Mikha�ilovich). Series: Contemporary mathematics (American Mathematical Society) ; v. 219.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|