|
|
5521.
|
Computations with Markov chains
: proceedings...
by 2nd International Workshop on the Numerical Solution of Markov Chains North Carolina State University 1990 | Stewart, William J., ed. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xvi,600p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.233 In8 1990] (1).
|
|
|
5522.
|
Software engineering with OBJ
: algebraic specification in action
by | Goguen, Joseph., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi, 410p.Publisher: Boston Kluwer Academic 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 So23] (1).
|
|
|
5523.
|
Resolution proof systems
: an algebraic theory
by Stachniak, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 206p.Publisher: Dordrecht Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St12r] (1).
|
|
|
5524.
|
Quantitative Pareto analysis by cone separation technique
by Kaliszewski, Ignacy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 160p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.56 K156q] (1).
|
|
|
5525.
|
Advanced optimization techniques in electromagnetics
: antennas and space applications
by Carrubba, Elisa. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 202p.Publisher: Germany Lap Lambert Academic Publishing 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3824 C237a] (1).
|
|
|
5526.
|
Microwave imaging of biological structures
: applications to breast cancer detection and imaging of the knee
by Salvador, Sara Marina. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 136p.Publisher: Germany Lap Lambert Academic Publishing 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.367 Sa38m] (1).
|
|
|
5527.
|
Non-stationary signal analysis
: methods based on fourier-bessel representation
by Pachori, Ram Bilas | Sircar, P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iii, 131p.Publisher: Germany Lap Lambert Academic Publishing 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3822015195 P117n] (1).
|
|
|
5528.
|
Understanding molecular simulation
by Frenkel, Daan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 443p.Publisher: San Diego Academic Press 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 539.60113 F887u] (1).
|
|
|
5529.
|
Multithreaded computer architecture
: a summary of the state of the art
by | Iannucci, Robert A., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 400p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.32 M919] (1).
|
|
|
5530.
|
A formal approach to hardware design
by Staunstrup, Jorgen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 232p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 St29f] (1).
|
|
|
5531.
|
The knowledge acquisition and representation language, KARL
by Fensel, Dieter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 238p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 F366k] (1).
|
|
|
5532.
|
Foundations of knowledge acquisition
: machine learning
by | Meyrowitz, Alan L., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 334p.Publisher: Boston Kluwer Academic Publishers 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 F825] (1).
|
|
|
5533.
|
Artificial neural networks for modelling and control of non-linear systems
by Suykens, Johan A.K | Vandewalle, Joos P.L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 235p.Publisher: Boston Kluwer Academic Publishers 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.75028563 Su97a] (1).
|
|
|
5534.
|
The design and implementation of a log-structured file system
by Rosenblum, Mendel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 144p.Publisher: Massachusetts Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.43 R723d] (1).
|
|
|
5535.
|
Mobile computing
by Imielinski, Tomasz [ed.] | Korth, Henry F [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 728p.Publisher: Boston Kluwer Academic Publishers 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 M713] (1).
|
|
|
5536.
|
Software performability: from concepts to applications
by Tai, Ann T | Meyer, John F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 201p.Publisher: Boston Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 T131s] (1).
|
|
|
5537.
|
Parallel algorithms for irregular problems
: state of the art
by | Ferreira, Afonso, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 338p.Publisher: Dordrecht Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.2 P212] (1).
|
|
|
5538.
|
Neural network simulation environments
by | Skrzypek, Josef, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 251p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 N398] (1).
|
|
|
5539.
|
Handbook of environmentally conscious manufacturing
by | Madu, Christian N., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 488p.Publisher: Boston Kluwer Academic Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.5 H191] (1).
|
|
|
5540.
|
Machine learning
: a guide to current research
by | Mitchell, Tom M., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 429p.Publisher: Boston Kluwer Academic Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 M184] (1).
|
