|
|
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; Format:
available online
 ; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; 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).
|
|
|
286.
|
Java software development with event B :
: a practical guide /
by Cataño Collazos, Nestor 1975- [author.]. Material type: Book; Format:
available online
; 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; Format:
available online
; 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; 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).
|
