|
941.
|
Distributed graph coloring
: fundamentals and recent developments /
: [electronic resource] :
by Barenboim, Leonid | Elkin, Michael. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 157 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
942.
|
Data cleaning :
: a practical perspective /
by Ganti, Venkatesh [author.] | Das Sarma, Anish [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 69 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2013.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
943.
|
Impossibility results for distributed computing /
by Attiya, Hagit [author.] | Ellen, Faith [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 146 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).
|
|
944.
|
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).
|
|
945.
|
Distributed computing pearls /
by Taubenfeld, Gadi [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 107 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).
|
|
946.
|
Distributed network structure estimation using consensus methods /
by Zhang, Sai (Electrical engineering student) [author.] | Tepedelenlioglu, Cihan [author.] | Spanias, Andreas [author.] | Banavar, Mahesh K [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 76 pages) : illustrations (chiefly color).Publisher: San Rafael, California (1537 Fourth Street, 1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, [2018]Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
947.
|
Introduction to distributed self-stabilizing algorithms /
by Altisen, Karine [author.] | Devismes, Stéphane [author.] | Dubois, Swan [author.] | Petit, Franck [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvii, 147 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).
|
|
948.
|
Network topology and fault-tolerant consensus /
by Sakavalas, Dimitris [author.] | Tseng, Lewis [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xxi, 129 pages) : illustrations.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).
|
|
949.
|
Computational thinking
by Denning, Peter J | Tedre, Matti. Description: xviii, 242p.Publisher: Cambridge MIT Press 2019Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 D422c] (1).
|
|
950.
|
Distributed systems
: theory and applications
by Ghosh, Ratan K | Ghosh, Hiranmay. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 532p.Publisher: Hoboken : New Jersey IEEE Computer Society : IEEE Press Wiley: John Wiley 2023Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 G346d] (1).
|