|
|
801.
|
Automated software diversity /
by Larsen, Per [author.] | Brunthaler, Stefan [author.] | Davi, Lucas [author.] | Sadeghi, Ahmad-Reza [author.] | Franz, Michael [author.]. Material type:  Book; Format:
available online
 ; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 76 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).
|
|
|
802.
|
Datacenter design and management :
: a computer architect's perspective /
by Lee, Benjamin C [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 107 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).
|
|
|
803.
|
Model-driven software engineering in practice /
by Brambilla, Marco [author.] | Wimmer, Manuel [author.] | Cabot, Jordi [author.]. Edition: Second edition.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 191 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).
|
|
|
804.
|
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).
|
|
|
805.
|
Deep learning for computer architects /
by Reagen, Brandon [author.] | Adolf, Robert [author.] | Whatmough, Paul [author.] | Wei, Gu-Yeon [author.] | Brooks, David 1975 May 23-, [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiv, 109 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).
|
|
|
806.
|
Anomaly detection as a service :
: challenges, advances, and opportunities /
by Yao, Danfeng (Daphne) [author.] | Shu, Xiaokui [author.] | Cheng, Long (Computer scientist) [author.] | Stolfo, Salvatore J. (Salvatore Joseph) [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 157 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).
|
|
|
807.
|
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).
|
|
|
808.
|
Cache replacement policies /
by Jain, Akanksha [author.] | Lin, Yun Calvin [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 71 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, 2019.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
809.
|
Innovations in the memory system /
by Balasubramonian, Rajeev 1977- [author.] | Enright Jerger, Natalie | Martonosi, Margaret. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xxi, 129 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).
|
|
|
810.
|
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).
|
|
|
811.
|
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).
|
|
|
812.
|
Decision Procedures [2nd ed.] [Perpetual]
: an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1).
|
|
|
813.
|
An introduction to parallel programming [Perpetual access]
by Pacheco, Peter S. Publisher: Amsterdam Elsevier 2011Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.275 P115i] (1).
|
|
|
814.
|
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).
|
|
|
815.
|
Computer networks and the internet
: a hands-on approach
by Howser, Gerry. Description: xxxvi, 539p.Publisher: Switzerland Springer 2020Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.678 H847c] (1).
|
|
|
816.
|
Planetary spacecraft navigation
by Miller, James. Description: xii, 390p.Publisher: Switzerland Springer 2019Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.4742 M615p] (1).
|
|
|
817.
|
Flight simulation software
: design, development and testing
by Allerton, David. Description: xxv, 486p.Publisher: Hoboken Wiley 2023Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.132 Al54f] (1).
|
|
|
818.
|
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).
|
