|
|
1.
|
PASCAL COMPILER VALIDATION
by Wichmann, Brian A | Ciechanowivz, Z. J. Material type:  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; 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; 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 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 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; Format:
available online
 ; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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).
|
