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

Your search returned 4364 results. Subscribe to this search

|
3721. Categories in computer science and logic : proceedings...

by AMS-IMS-SIAM Joint Summer Research Conference on Categories in Computer Science and Logic Boulder June 14-20, 1987 | Gray, John W. [ed.] | Scedrov, Andrej [ed.] | National Science Foundation (U.S.).

Description: x, 382p.Publisher: Providence American Mathematical Society 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015 Am35c] (1).

3722. Electronic resources and digital services

by | International Conference on Information Technololgy DESIDOC, Delhi 19-21 February 2015 | Jindal, Suresh Kumar, ed.

Material type: book Book Description: v, 247p.Publisher: New Delhi DESIDOC 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.524 In8e] (1).

3723. Information management in e-libraries : proceedings...

by National Conference on Information Management in e-Libraries Kharagpur 26-27 February 2002 | Parthan, S. [ed.] | Jeevan, V. K. J. [ed.].

Material type: book Book Description: ix, 650p.Publisher: New Delhi Allied Publishers Ltd. 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 021.65 In35] (1).

3724. Magnetic materials : fundamentals and applications [2nd ed.]

by Spaldin, Nicola A.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 274p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.34 Sp17m2] (2).

3725. Electronic magnetic resonance and solid dielectrics: proceedings... : edited by R. Servant and A. Charru

by Colloque Ampere on Electronic Magnetic Resonance and Solid Dielectrics (12th.: 1963: Bordeaux).

Material type: book Book; Format: print ; Nature of contents: biography Description: viii, 333p.Publisher: North Holland Publishing 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 539.1 C698 ] (1).

3726. CHEMICAL ENGINEERING PROGRESS SYMPOSIUM SERIES :

Material type: book Book; Format: print ; Nature of contents: biography Description: xvi,408.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 Am3s ] (1).

3727. CHEMICAL ENGINEERING PROGRESS SYMPOSIUM SERIES :

Material type: book Book; Format: print ; Nature of contents: biography Description: xvi,408.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 Am3s ] (1).

3728. CHEMICAL ENGINEERING PROGRESS SYMPOSIUM SERIES :

Material type: book Book; Format: print ; Nature of contents: biography Description: xvi,408.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 Am3s ] (1).

3729. String and list processing in SNOBOL4: techniques and applications : Ralph E. Griswold

by Griswold, Ralph E.

Material type: book Book; Format: print ; Nature of contents: biography Description: xiv, 287p.Publisher: Englewwod Cliffs Prentice-Hall 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G889s ] (1).

3730. Data base description : proceedings...

by IFIP Special Working Conference Belgium 1975 | Douque, B. C. M [ed.] | Nijssen, G. M [ed.].

Material type: book Book; Format: print ; Nature of contents: biography Description: x, 286p.Publisher: North Holland Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 If5d ] (1).

3731. FINITE-ELEMENT METHOD OF SOLUTION FOR LINEARLY ELASTIC BEAM-COLUMN

by MATLOCK, HUDSON | HALIBURTON, T. ALLAN.

Material type: book Book Description: ,198.Publisher: AUSTIN, TEXAS CENTER FOR HIGHWAY RESEARCH, UNIV. OF TEXAS 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.1772018 M427] (1).

3732. Reverse Engineering of Object Oriented Code : [electronic resource] /

by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 208 p. 80 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3733. Software Process Modeling : [electronic resource] /

by Acu�a, Silvia T [editor.1 ] | Juristo, Natalia [editor.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 208 p. 59 illus. online resource.Boston, MA : Springer US, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3734. A Software Process Model Handbook for Incorporating People’s Capabilities : [electronic resource] /

by Acuña, Silvia Teresita [author.] | Juristo, Natalia [author.] | Moreno, Ana María [author.] | Mon, Alicia [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVIII, 324 p. 90 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3735. Guide to Assembly Language Programming in Linux : [electronic resource] /

by Dandamudi, Sivarama P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 545 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3736. Multi-Agent Programming : Languages, Platforms and Applications / : [electronic resource] :

by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal El [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXIV, 296 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3737. Multimedia Introduction to Programming Using Java : [electronic resource] /

by Gries, David [author.] | Gries, Paul [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 536 p. 420 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3738. Abstraction, Refinement and Proof for Probabilistic Systems : [electronic resource] /

by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3739. Introduction to Assembly Language Programming : For Pentium and RISC Processors / : [electronic resource] :

by Dandamudi, Sivarama P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 692 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3740. XML for Bioinformatics : [electronic resource] /

by Cerami, Ethan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 304 p. 59 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha