|
|
561.
|
Intelligent systems
: the industrial electronics handbook
by | Wilamowski, Bogdan M., Ed. Edition: 2ndMaterial type:  Book; Format:
print
; Literary form:
not fiction
Description: 1v.(various pagings).Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 In8s2] (1).
|
|
|
562.
|
Independence-friendly logic
: a game-theoretic approach
by Mann, Allen L | Sandu, Gabriel. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M315i] (1).
|
|
|
563.
|
A logical introduction to proof
by Cunningham, Daniel W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 356p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.36 C917l] (1).
|
|
|
564.
|
Handbook of mathematical induction
: theory and applications
by Gunderson, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 893p.Publisher: Boca Raton Crc Press 2011Availability: No items available Checked out (1).
|
|
|
565.
|
High performance ASIC design
: using synthesizable domino logic in an ASIC flow
by Hossain, Razak. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 145p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 H794h] (1).
|
|
|
566.
|
Logical labyrinths
by Smullyan, Raymond M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 327p.Publisher: Massachusetts A K Peters 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sm85l] (1).
|
|
|
567.
|
The character of logic in India
by Matilal, Bimal Krishna | Ganeri, Jonardon, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 180p.Publisher: New Delhi Oxford University Press 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.954 M427c] (1).
|
|
|
568.
|
Nominal sets
: names and symmetry in computer science
by Pitts, Andrew M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 276p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.114 P687n] (1).
|
|
|
569.
|
What logics mean
: from proof theory to model-theoretic semantics
by Garson, James W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 285p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G195w] (1).
|
|
|
570.
|
Logic and structure
by Dalen, Dirk Van. Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: x, 263p.Publisher: London Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D156l5] (1).
|
|
|
571.
|
Logical foundations of mathematics and computational complexity
: a gentle introduction
by Pudlak, Pavel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 695p.Publisher: Cham Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P962l] (1).
|
|
|
572.
|
Elements of logical reasoning
by Plato, Jan Von. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 264p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P697e] (1).
|
|
|
573.
|
Modal logics and philosophy
by Girle, Rod. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 248p.Publisher: Ithaca Mcgill-Queen'S University Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G443m2] (1).
|
|
|
574.
|
Frege reader
by | Beaney, Michael, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 409p.Publisher: New Jersey Wiley-Blackwell 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 193 F88] (1).
|
|
|
575.
|
Logic minimization algorithms for VLSI synthesis
by | Brayton, Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 193p.Publisher: Boston Kluwer Academic Publishers 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38173 L829b] (1).
|
|
|
576.
|
The logic of infinity
by Sheppard, Barnaby. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 473p.Publisher: Cambridge Cambridge University Press 2014Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 Sh49l] (1).
|
|
|
577.
|
Inductive fuzzy classification in marketing analytics
by Kaufmann, Michael. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 125p.Publisher: Switzerland Springer 2014Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.80015 K162i] (1).
|
|
|
578.
|
Latest advances in inductive logic programming
by Muggleton, Stephen H | Watanabe, Hiroaki. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 247p.Publisher: London Imperial Press 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 M891l] (1).
|
|
|
579.
|
Quantum foundations and open quantum systems
: lecture notes of the Advanced School
by | Nieuwenhuizen, Theo M., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 603p.Publisher: New Jersey World Scientific 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12 Q25] (1).
|
|
|
580.
|
E-recursion, forcing, and C*- algebras
by | Chong, Chitat, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 217p.Publisher: New Jersey World Scientific 2014Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 El25] (1).
|
