|
|
1141.
|
Demystifying OWL for the enterprise /
by Uschold, Michael [author.]. Material type:  Book; Format:
available online
 ; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xxiv, 237 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).
|
|
|
1142.
|
Digital design [5th ed.] [Perpetual access till 2027]
by Mano, Morris M | Ciletti, Michael D. Edition: 5th ed. Publisher: Harlow Pearson Education 2013Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 M317d5] (1).
|
|
|
1143.
|
Logic and computer design fundamentals [4th ed.] [Perpetual access till 2027]
by Mano, M. Morris R | Charles R. Kime. Edition: 4th ed. Publisher: Pearson Education 2008Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M317l4] (1).
|
|
|
1144.
|
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).
|
|
|
1145.
|
The power of logic [6th ed.] [Perpetual access]
by Howard-Snyder, Frances | Howard-Snyder, Daniel | Wasserman, Ryan. Edition: 6th ed. Description: xxii, 730p.Publisher: New York McGraw Hill Education 2020Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H831p6] (1).
|
|
|
1146.
|
Statistical inference as severe testing
: how to get beyond the statistics wars
by Mayo, Deborah G. Description: xvi, 486p.Publisher: Cambridge Cambridge University Press 2018Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.54 M454s] (1).
|
|
|
1147.
|
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).
|
|
|
1148.
|
The handbook of rationality
by Knauff, Markus [ed.] | Spohn, Wolfgang [ed.]. Description: xv, 862p.Publisher: Cambridge MIT Press 2021Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153.43 H191] (1).
|
|
|
1149.
|
The upside of irrationality
: the unexpected benefits of defying logic at work and at home
by Ariely, Dan. Description: xi, 334p.Publisher: London Thorsons 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153.4 Ar42u] (1).
|
