Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Your search returned 1147 results. Subscribe to this search

|
961. A course in mathematical and statistical ecology

by Gore, Anil | Paranjpe, Sharayu.

Material type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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).

Powered by Koha