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

Your search returned 7795 results. Subscribe to this search

|
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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).

Powered by Koha