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

Your search returned 7492 results. Subscribe to this search

|
2641. Science studies as naturalized philosophy

by Collin, Finn.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 247p.Publisher: Dordrecht Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 507.1 C691s] (1).

2642. Discrete calculus : applied analysis on graphs for computational science

by Grady, Leo J | Polimeni, Jonathan R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 366p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 518.1 G178d] (1).

2643. Hybrid logic and its proof-theory

by Brauner, Torben.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 231p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B738h] (1).

2644. Mathematical modeling : for the scientific method

by Pravica, D.W | Spurr, Michael J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxx, 490p.Publisher: Usa Jones And Bartlett 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.420151 P891m] (1).

2645. Relational mathematics

by Schmidt, Gunther.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 567p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 Sch53r] (1).

2646. Handbook of natural language processing

by | Indurkhya, Nitin, Ed.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxiii, 678p.Publisher: Boca Raton Crc Press 2010Availability: No items available Checked out (1).

2647. Complex intelligent systems and their applications

by | Xhafa, Fatos, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 271p.Publisher: New York Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 C738] (1).

2648. Neural-based orthogonal data fitting : the EXIN neural networks

by Cirrincione, Giansalvo | Cirrincione, Maurizio.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 243p.Publisher: Hoboken John Wiley 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 C496n] (1).

2649. Modeling in event-B : system and software engineering

by Abrial, Jean-Raymond.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvi, 586p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 Ab87m] (1).

2650. Science in the context of application

by | Carrier, Martin, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 492p.Publisher: Dordrecht Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 Sci27] (1).

2651. Scientific structuralism

by Bokulich, Peter, ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 182p.Publisher: Dordrecht Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 Sci27] (1).

2652. Science and civilisation in China [vol.5.Pt.11]

by Needham, Joseph.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxxiii, 477p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 509.51 N289s] (1).

2653. Evidence, explanation and realism : essays in the philosophy of science

by Achinstein, Peter.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 331p.Publisher: Oxford Oxford University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 Ac46e] (1).

2654. Introduction to software process improvement

by O'Regan, Gerard.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 246p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.10685 Or3i] (1).

2655. Theorizing the present : essays for Partha Chatterjee

by | Ghosh, Anjan, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 322p.Publisher: New Delhi Oxford University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 301 T343p] (1).

2656. A first course in scientific computing : symbolic, graphic, and numeric modeling using Maple, Java, Mathematica, and Fortran90

by Landau, Rubin H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv, 481p.Publisher: New Delhi Overseas Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 502.85 L231f] (1).

2657. Proofs and algorithms : an introduction to logic and computability

by Dowek, Gilles.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 155p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 D753p] (1).

2658. Neural networks in a softcomputing framework

by Du, K.L | Swamy, M.N.S.

Material type: book Book; Format: print ; Literary form: not fiction Description: l, 566p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 D85n] (1).

2659. Metal oxide [5 v.] : nanostructures and their applications

by | Umar, Ahmad, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: 5 v.Publisher: California American Scientific Publishers 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38152 M654] (5).

2660. Subspace learning of neural networks

by Lv, Jian Cheng | Yi, Zhang.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxii, 233p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 L979s] (1).

Powered by Koha