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

Your search returned 14 results. Subscribe to this search

|
1. PASCAL COMPILER VALIDATION

by Wichmann, Brian A | Ciechanowivz, Z. J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,176.Publisher: Chichester John Wiley 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P26] (1).

2. Software verification and validation : realistic project approaches

by Deutsch, Michael S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 327p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64240287 D489s] (1).

3. VERIFICATION, VALIDATION AND TESTING IN SOFTWARE ENGINEERING

by Dasso,Aristides | Funes,Ana.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,428.Publisher: Idea Group Publishing, Hershey 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 D262V] (1).

4. VALIDATION OF ALPINE SNOW IN ERA-40

by Martin,Eric.

Material type: book Book Description: 21.Publisher: European Centre For Medium Range Weather Forecast, Berkshire 2004Availability: No items available Damaged (1).

5. Hexnem nodal neutronics code for two dimensional multi group diffusion calculations in hexagonal geometry

by | Singh, Tej.

Material type: book Book Description: 20p.Publisher: Mumbai Bhabha Atomic Research Centre 2005Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: BARC E/034/2005] (1).

6. Modeling a ship's ferromagnetic signatures : [electronic resource] /

by Holmes, John J.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (vii, 75 p. : ill. (some col.)) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2007Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

7. Foundations of data quality management : [electronic resource] /

by Fan, Wenfei | Geerts, Floris.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xv, 201 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

8. Analytical performance modeling for computer systems /

by Tay, Y. C [author.].

Edition: Second edition.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xv, 125 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

9. Engineering finite element analysis /

by Pidaparti, Ramana M [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xiv, 253 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2017.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

10. Analytical performance modeling for computer systems /

by Tay, Y. C [author.].

Edition: Third edition.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvii, 153 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2018.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

11. On transactional concurrency control /

by Graefe, Goetz [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xxi, 381 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, 2019.Online access: Abstract with links to full text | Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

12. Deep learning for autonomous vehicle control : : algorithms, state-of-the-art, and future prospects /

by Kuutti, Sampo [author.] | Fallah, Saber [author.] | Bowden, Richard (Ph. D. in computer vision) [author.] | Barber, Phil (Ph. D. in automotive fuel injection system dynamics) [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction Description: 1 PDF (xiii, 66 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2019]Online access: Abstract with links to full text | Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

13. Cyber-physical vehicle systems : : methodology and applications /

by Lv, Chen [author.] | Xing, Yang [author.] | Zhang, Junzhi ( Ph.D. in vehicle engineering) [author.] | Cao, Dongpu 1978- [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction Description: 1 PDF (x, 75 pages) : illustrations (chiefly color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

14. Cyber-physical vehicle systems : : methodology and applications /

by Lv, Chen [author.] | Xing, Yang [author.] | Zhang, Junzhi ( Ph.D. in vehicle engineering) [author.] | Cao, Dongpu 1978- [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction Description: 1 PDF (x, 75 pages) : illustrations (chiefly color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha