|
|
1121.
|
Introduction to logic
: [electronic resource] /
by Genesereth, Michael R 1948- | Kao, Eric. Material type:  Book; Format:
available online
 ; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 151 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).
|
|
|
1122.
|
Introduction to noise-resilient computing
: [electronic resource] /
by Yanushkevich, Svetlana N. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xix, 132 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 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1123.
|
Recognizing textual entailment
: models and applications /
: [electronic resource] :
by Dagan, Ido. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xx, 200 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).
|
|
|
1124.
|
Introduction to logic /
by Genesereth, Michael R 1948-, [author.] | Kao, Eric [author.]. Edition: Second edition.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 151 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).
|
|
|
1125.
|
Hardware malware /
by Krieg, Christian [author.] | Dabrowski, Adrian [author.] | Hobel, Heidelinde [author.] | Krombholz, Katharina [author.] | Weippl, Edgar R [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 103 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).
|
|
|
1126.
|
Judgment aggregation :
: a primer /
by Grossi, Davide [author.] | Pigozzi, Gabriella [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvii, 133 pages).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).
|
|
|
1127.
|
General game playing /
by Genesereth, Michael R 1948-, [author.] | Thielscher, Michael [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvi, 213 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).
|
|
|
1128.
|
Modeling digital switching circuits with linear algebra /
by Thornton, Mitchell Aaron [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 145 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).
|
|
|
1129.
|
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).
|
|
|
1130.
|
Approximability of optimization problems through adiabatic quantum computation /
by Cruz-Santos, William [author.] | Morales-Luna, Guillermo [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 97 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).
|
|
|
1131.
|
Applications of zero-suppressed decision diagrams /
by Sasao, Tsutomu 1950-, [author.] | Butler, Jon T [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvii, 105 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).
|
|
|
1132.
|
Fundamentals of electronics.
by Schubert, Thomas, Jr [author.] | Kim, Ernest M [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvii, 300 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Other title: Electronic devices and circuit applications..Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1133.
|
Datalog and logic databases /
by Greco, Sergio [author.] | Molinaro, Cristian [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 155 pages).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).
|
|
|
1134.
|
Veracity of data :
: from truth discovery computation algorithms to models of misinformation dynamics /
by Berti-Équille, Laure [author.] | Borge-Holthoefer, Javier [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 141 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).
|
|
|
1135.
|
Statistical relational artificial intelligence :
: logic, probability, and computation /
by Raedt, Luc de 1964-, [author.] | Kersting, Kristian [author.] | Natarajan, Sriraam [author.] | Poole, David L. (David Lynton) 1958-, [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiv, 175 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).
|
|
|
1136.
|
The notion of relevance in information science :
: Everybody knows what relevance is. But, what is it really? /
by Saracevic, Tefko [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xx, 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).
|
|
|
1137.
|
Introduction to logic /
by Genesereth, Michael R 1948-, [author.] | Kao, Eric [author.]. Edition: Third edition.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 163 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2017.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1138.
|
Non-volatile in-memory computing by spintronics /
by Yu, Hao (Electrical engineer) [author.] | Ni, Leibin [author.] | Wang, Yuhao [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 147 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).
|
|
|
1139.
|
Synthesis of quantum circuits vs. synthesis of classical reversible circuits /
by Vos, Alexis de [author.] | De Baerdemacker, Stijn [author.] | Van Rentergem, Yvan [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 109 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).
|
|
|
1140.
|
Argumentation mining /
by Stede, Manfred 1965-, [author.] | Schneider, Jodi [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 175 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2019.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
