|
|
13741.
|
Lecture notes in physics [v.188] gauge symmetries and fibre bundles
: applications to particle dynamics
by Balachandran, A. P. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: iv, 140p.Publisher: Berlin New York Springer-Verlag 1983Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516 v.188] (1).
|
|
|
13742.
|
Lecture notes in physics [v.277] molecular dynamics and relaxation phenomena in glasses :
: proceedings of a workshop held at the Zentrum für Interdisziplinäre Forschung Universität Bielefeld, Bielefeld, FRG, November 11-13, 1985 /
by Dorfmüller, Th. [ed.] | Williams, G [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v, 218 p.Publisher: Berlin New York Springer-Verlag 1987Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516 v.277] (1).
|
|
|
13743.
|
Lecture notes in physics [v.136] the role of coherent structures in modelling turbulence and mixing
: proceedings of the international conference, Madrid, Spain, June 25-27, 1980 /
by Jimenez, J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 393 p.Publisher: Berlin New York Springer-Verlag 1981Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516 v.136] (1).
|
|
|
13744.
|
Lecture notes in physics [v.181] gauge theories of the eighties
: proceedings of the Arctic School of Physics, 1982, held in Äkäslompolo, Finland, August 1-13, 1982 /
by Arctic School of Physics Äkäslompolo, Finland) (1982 : | Raitio, R [ed.] | Lindfors, J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 644 p.Publisher: Berlin New York Springer 1983Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516 v.181] (1).
|
|
|
13745.
|
Lecture notes in biomathematics [v.12] models of the stochastic activity of neurones
by Holden, Arun V | Bossert, W [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 368p.Publisher: Verlag Springer 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 574.0151 L497 v.12] (1).
|
|
|
13746.
|
Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic
by Dix, J [ed.] | Jantke, K. P, [ed.] | Schmitt, P. H [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 243p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.543] (1).
|
|
|
13747.
|
Lecture notes in artificial intelligence [v.481] modelling spatial knowledge on a linguistic basis
by Lang, Ewald | Carstensen, Kai-Uwe | Simmons, Geoffrey | Siekmann, J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 137p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.481] (1).
|
|
|
13748.
|
Lecture notes in artificial intelligence [v.476] natural language processing
by Siekmann, J [ed.] | Filgueiras, M [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 253p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.476] (1).
|
|
|
13749.
|
Lecture notes in artificial intelligence [v.513] an approach to knowledge base management
by Mattos, Nelson Mendonca. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 247p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.513] (1).
|
|
|
13750.
|
Lecture notes in artificial intelligence [v.535] fundamentals of artificial intelligence research
by Jorrand, Ph. [ed.] | Kelemen, Jozef [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 255p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.535] (1).
|
|
|
13751.
|
Lecture notes in artificial intelligence [v.418] sorts and types in artificial intelligence
by Siekmann, J [ed.] | Blasius, K. H, [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 307p.Publisher: Verlag Springer 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.418] (1).
|
|
|
13752.
|
Lecture notes in artificial intelligence [v.518] Instantiation theory on the foundations of automated deduction
by Wliiliams, J. G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 133p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.518] (1).
|
|
|
13753.
|
Lecture notes in artificial intelligence [v.546] text understanding in LILOG integrating computational linguistics and artificial intelligence
by Herzog, J [ed.] | Rollinger, C - R [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 738p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.546] (1).
|
|
|
13754.
|
Lecture notes in artificial intelligence [v.541] EPIA '91
by Barahona, P [ed.] | Pereira, Luís Moniz [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 292p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.541] (1).
|
|
|
13755.
|
Lecture notes in artificial intelligence [v.565] parallelism, learning, evolution
by Becker, J. D [ed.] | Eisele, I [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 525p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.565] (1).
|
|
|
13756.
|
Lecture notes in artificial intelligence [v.542] methodologies for intelligent systems
by Ras, Z. W [ed.] | Zemankova, M [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 644p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.542] (1).
|
|
|
13757.
|
Lecture notes in computer science (v.416) Parallel computing, 1988
by Shell Conference Amsterdam, Netherlands 1988 | Zee, G. A. van | Vorst, J. G. G. van de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 135 p.Publisher: New York : Springer-Verlag, c1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.416] (1).
|
|
|
13758.
|
Lecture notes in computer science (v.384)Parallel computing, 1988
by Shell Conference Amsterdam, Netherlands 1988 | Zee, G. A. van | Vorst, J. G. G. van de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 135 p.Publisher: New York Springer-Verlag 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.384] (1).
|
|
|
13759.
|
Lecture notes in computer science ESEC '89
: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
by (2nd : European Software Engineering Conference University of Warwick) 1989 : | Ghezzi, Carlo | McDermid, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 496 p.Publisher: Berlin ; Springer-Verlag, c1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.387] (1).
|
|
|
13760.
|
A formal model of visualization in computer graphics systems
by Onodera, Tamiya | Kawai, Satoru. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 100 p.Publisher: Berlin ; New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.421] (1).
|
