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

Your search returned 109 results. Subscribe to this search

|
101. Quorum systems : with applications to storage and consensus / : [electronic resource] :

by Vukolić, Marko.

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

102. Distributed computing by oblivious mobile robots : [electronic resource] /

by Flocchini, Paola | Prencipe, Giuseppe 1972- | Santoro, N. (Nicola) 1951-.

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

103. Distributed graph coloring : fundamentals and recent developments / : [electronic resource] :

by Barenboim, Leonid | Elkin, Michael.

Material type: book Book; Format: available online remote; 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).

104. Impossibility results for distributed computing /

by Attiya, Hagit [author.] | Ellen, Faith [author.].

Material type: book Book; Format: available online remote; 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).

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

106. Distributed computing pearls /

by Taubenfeld, Gadi [author.].

Material type: book Book; Format: available online remote; 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).

107. 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 Book; Format: available online remote; 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).

108. Introduction to distributed self-stabilizing algorithms /

by Altisen, Karine [author.] | Devismes, Stéphane [author.] | Dubois, Swan [author.] | Petit, Franck [author.].

Material type: book Book; Format: available online remote; 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).

109. Network topology and fault-tolerant consensus /

by Sakavalas, Dimitris [author.] | Tseng, Lewis [author.].

Material type: book Book; Format: available online remote; 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).

Powered by Koha