|
|
1101.
|
Handbook of philosophical logic
by Gabbay, D [ed.] | Guenthner, F [ed.]. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: x, 717p.Publisher: Dordrecht D. Reidel Publishing 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H191 v.4] (1).
|
|
|
1102.
|
A first course in fuzzy logic
by Nguyen, Hung T | Walker, Carol L | Walker, Elbert A. Edition: 4th ed. Description: x, 448p.Publisher: Boca Raton CRC Press 2018Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 N499f4] (1).
|
|
|
1103.
|
First-order methods in optimization
by Beck, Amir. Description: xii, 475p.Publisher: Philadelphia SIAM 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.6 B388f] (1).
|
|
|
1104.
|
Introduction to logic synthesis using Verilog HDL
: [electronic resource] /
by Reese, Robert B. (Robert Bryan) 1958- | Thornton, Mitchell Aaron. Edition: 1st ed.Material type: Book; Format:
available online
 ; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (vii, 75 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2006Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1105.
|
Multiple valued logic
: concepts and representations /
: [electronic resource] :
by Miller, D. Michael | Thornton, Mitchell Aaron. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 135 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2008Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1106.
|
Pragmatic logic
: [electronic resource] /
by Eccles, William J. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xii, 207 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2007Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1107.
|
Quantum computing for computer architects
: [electronic resource] /
by Metodi, Tzvetan S | Chong, Frederic T 1968-. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (vi, 147 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2006Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1108.
|
Tremor
: from pathogenesis to treatment /
: [electronic resource] :
by Grimaldi, Giuliana | Manto, Mario-Ubaldo. Material type: Book; Format:
available online
; Literary form:
not fiction
Description: 1 electronic text (x, 211 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth St, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2008Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1109.
|
An introduction to logic circuit testing
: [electronic resource] /
by Lala, Parag K 1948-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (x, 99 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1110.
|
Asynchronous sequential machine design and analysis
: a comprehensive development of the design and analysis of clock-independent state machines and systems /
: [electronic resource] :
by Tinder, Richard F 1930-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xv, 235 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1111.
|
Markov logic
: an interface layer for artificial intelligence /
: [electronic resource] :
by Domingos, Pedro | Lowd, Daniel. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 145 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1112.
|
Designing asynchronous circuits using NULL convention logic (NCL)
: [electronic resource] /
by Smith, Scott C | Di, Jia. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (x, 86 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1113.
|
Progress in applications of Boolean functions
: [electronic resource] /
by Sasao, Tsutomu 1950- | Butler, Jon T. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 139 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1114.
|
Quantum computing for computer architects
: [electronic resource] /
by Metodi, Tzvetan S | Faruque, Arvin I | Chong, Frederic T 1968-. Edition: 2nd ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xii, 189 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1115.
|
Fundamentals of physical design and query compilation
: [electronic resource] /
by Toman, David | Weddell, Grant E. (Grant Edwin) 1954-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xii, 110 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1116.
|
MATLAB for engineering and the life sciences
: [electronic resource] /
by Tranquillo, Joseph Vincent 1975-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 121 p.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1117.
|
Making claims
: knowledge design, capture, and sharing in HCI /
: [electronic resource] :
by McCrickard, D. Scott. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xvi, 109 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).
|
|
|
1118.
|
Representation of multiple-valued logic functions
: [electronic resource] /
by Stanković, Radomir S | Astola, Jaakko | Moraga, Claudio. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 154 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).
|
|
|
1119.
|
Publishing and using cultural heritage linked data on the semantic Web
: [electronic resource] /
by Hyvönen, Eero. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 145 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).
|
|
|
1120.
|
Answer set solving in practice
: [electronic resource] /
by Gebser, Martin. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xxv, 212 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).
|
