|
|
961.
|
A course in mathematical and statistical ecology
by Gore, Anil | Paranjpe, Sharayu. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xi, 286p.Publisher: Dordrecht Kluwer Academic Publishers 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 577.0151 G66c] (1).
|
|
|
962.
|
Aspects of aristotle`s logic of modalities
by Rijen, Jeroen Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 238p.Publisher: Dordrecht Kluwer Academic Publishers 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 R449a] (1).
|
|
|
963.
|
Effective inquiry for innovative engineering design
by Eris, Ozgur. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 154p.Publisher: Boston Kluwer Academic Publishers 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.0042 Er47e] (1).
|
|
|
964.
|
Dynamo and dynamics
: a mathematical challenge
by | Chossat, P., Ed | Ambruster, D., Ed | Oprea, I.,Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 390p.Publisher: Dordrecht Kluwer Academic Publishers 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 532.01886 C456] (1).
|
|
|
965.
|
An introduction to nonlinear analysis
: applications
by Denkowski, Zdzislaw | Migorski, Stanislaw. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 821p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.35 D417i] (1).
|
|
|
966.
|
Computational algorithms for fingerprint recognition
by Bhanu, Bir | Tan, Xuejun. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 191p.Publisher: Boston Kluwer Academic Publishers 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.4 B469c] (1).
|
|
|
967.
|
Simulation-based optimization
: parametric optimization techniques and reinforcement learning
by Gosavi, Abhijit. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 554p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.2 G69s] (1).
|
|
|
968.
|
Learning search control knowledge
by Minton, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 214p.Publisher: Boston Kluwer Academic Publishers 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M668l] (1).
|
|
|
969.
|
Jaakko Hintikka [6vols set]
: selected papers
by Hintikka, Jaakko. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 6v.(various pagings).Publisher: Dordrecht Kluwer Academic Publishers 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192 H596j v.1] (6).
|
|
|
970.
|
Stochastically-based semantic analysis
by Minker, Wolfgang | Waibel, Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 221p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 M665s] (1).
|
|
|
971.
|
A knowledge-based approach to program understanding
by Abd-El-Hafiz, Salwa K | Basili, Victor R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 119p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 Ab31k] (1).
|
|
|
972.
|
Effective polynomial computation
by Zippel, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 363p.Publisher: Boston Kluwer Academic Publishers 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.920285 Z68e] (1).
|
|
|
973.
|
Timed boolean functions
: a unified formalism for exact timing analysis
by Lam, William K. C | Brayton, Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 273p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L16t] (1).
|
|
|
974.
|
Verification by error modeling
: using testing techniques in hardware verification
by Radecka, Katarzyna | Zilic, Zeljko. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 216p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R117v] (1).
|
|
|
975.
|
Distributed and parallel database object management
: an international journal [v.2, no. 1 (1994)]
by | Bertino, Elisa, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 126p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.758 D633] (1).
|
|
|
976.
|
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).
|
|
|
977.
|
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).
|
|
|
978.
|
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).
|
|
|
979.
|
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).
|
|
|
980.
|
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).
|
