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

Refine your search

Your search returned 289 results. Subscribe to this search

|
281. Hard problems in software testing : : solutions using testing as a service (TaaS) /

by Tilley, Scott R. (Scott Robert) 1964-, [author.] | Floss, Brianna [author.].

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

282. Decidability of parameterized verification /

by Bloem, Roderick P [author.] | Jacobs, Swen [author.] | Khalimov, Ayrat [author.] | Konnov, Igor 1958-, [author.] | Rubin, Sasha [author.] | Veith, Helmut [author.] | Widder, Josef [author.].

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

283. Virtual crowds : : steps toward behavioral realism /

by Kapadia, Mubbasir [author.] | Pelechano, Nuria [author.] | Allbeck, Jan M [author.] | Badler, Norman I [author.].

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

284. On the design of game-playing agents /

by Kim, Eun-Youn [author.] | Ashlock, Daniel [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xiii, 172 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).

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

286. Java software development with event B : : a practical guide /

by Cataño Collazos, Nestor 1975- [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction Description: 1 PDF (x, 89 pages) : illustrations (some 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).

287. Java software development with event B : : a practical guide /

by Cataño Collazos, Nestor 1975- [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction Description: 1 PDF (x, 89 pages) : illustrations (some 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).

288. Software project management [6th ed.]

by Hughes, Bob | Cotterell, Mike | Mall, Rajib.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: not fiction Description: xix, 454p.Publisher: Chennai Mcgraw-Hill 2018Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.10684 H874s6] (1).

289. Improving product reliability and software quality [2nd ed.] : strategies, tools, process and implementation

by Levin, Mark A | Kalal, Ted T | Rodin, Jonathan.

Edition: 2nd. ed. Description: xlviii, 408p.Publisher: Hoboken Wiley 2019Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00452 L578i2] (1).

Powered by Koha