|
13761.
|
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).
|
|
13762.
|
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).
|
|
13763.
|
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).
|
|
13764.
|
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).
|
|
13765.
|
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).
|
|
13766.
|
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).
|
|
13767.
|
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).
|
|
13768.
|
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).
|
|
13769.
|
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).
|
|
13770.
|
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).
|
|
13771.
|
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).
|
|
13772.
|
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).
|
|
13773.
|
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).
|
|
13774.
|
Lecture notes in computer science CSL '88
: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 399 p.Publisher: Berlin ; 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.385] (1).
|
|
13775.
|
Quantum information theory
: mathematical foundation
by Hayashi, Masahito. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xli, 636p.Publisher: Berlin Springer 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530 H323q2] (1).
|
|
13776.
|
Electromagnetic acoustic transducers
: noncontacting ultrasonic measurements using EMATs
by Hirao, Masahiko. Edition: 2nd Description: xvi, 380p.Publisher: Japan Springer 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3 H613e2] (1).
|
|
13777.
|
Nonlinear optics
: principles and applications
by Li, Chunfei. Description: xvii, 386p.Publisher: Singapore Springer 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3694 L612n] (1).
|
|
13778.
|
Coding theorems of information theory
by Wolfowitz, Jacob. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 154p.Publisher: New York Springer 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.5 W833c3] (1).
|
|
13779.
|
Numerical algorithms for modern parallel computer architectures
by Schultz, Martin H. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 232 p.Publisher: New York Springer-Verlag 1988Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 N917a] (1).
|
|
13780.
|
Essentials of modern optical fiber communication
by Noe, Reinhold. Edition: 2nd Description: viii, 337p.Publisher: Berlin Springer 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38275 N68e2] (1).
|