|
381.
|
Modal logic for open minds
by Benthem, Johan Van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Stanford: University of Chicago Press, 2010Availability: Items available for loan: [Call number: 160 BEN] (1).
|
|
382.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2010Availability: No items available Checked out (1).
|
|
383.
|
Extending the frontiers of mathematics : inquiries into proof and argumentation
by Burger, Edward B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 511.36 BUR] (1).
|
|
384.
|
Multiple valued logic : concepts and representations
by Michael, Miller D | Thornton, Mitchell Aaron. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2008Availability: Items available for loan: [Call number: 530.12 MIL] (1).
|
|
385.
|
Introduction to logic synthesis using Verilog HDL
by Reese, Robert B | Thornton, Mitchell Aaron. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2006Availability: Items available for loan: [Call number: 621.392 REE] (1).
|
|
386.
|
Pragmatic logic
by Eccles, William J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2007Availability: Items available for loan: [Call number: 621.395 ECC] (1).
|
|
387.
|
Finite state machine datapath design, optimization, and implementation
by Davis, Justin S | Reese, Robert B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2008Availability: Items available for loan: [Call number: 621.392 DAV] (1).
|
|
388.
|
Logic of Analog and Digital Machines
by Rocchi, Paolo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Nova Science Publishers, 2013Availability: Items available for loan: [Call number: 005.1015113 ROC] (1).
|
|
389.
|
Analysis and design of information systems
by Langer, Arthur M. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 004.21 LAN] (1).
|
|
390.
|
Advanced methods for inconsistent knowledge management
by Nguyen, Ngoc Thanh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 658.4038 NGU] (1).
|
|
391.
|
Computable models
by Turner, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
|
|
392.
|
Practical introduction to computer architecture
by Page, Daniel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004.22 PAG] (1).
|
|
393.
|
Science of operations : machines, logic and the invention of programming
by Priestley, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 005.109 PRI] (1).
|
|
394.
|
Practical digital electronics handbook
by Tooley, Mike. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: BPB Publications, 1990Availability: Items available for loan: [Call number: 621.3815 TOO] (1).
|
|
395.
|
Apple I replica creation : back to the garage
by Owad, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Rockland: Syngress, 2005Availability: Items available for loan: [Call number: 621.395 OWA] (2).
|
|
396.
|
Visual reasoning with diagrams
by Moktefi, Amirouche | Shin, Sun-Joo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: Birkhauser Basel, 2013Availability: Items available for loan: [Call number: 160 MOK] (1).
|
|
397.
|
Computer arithmetic and validity : theory, implementation, and applications
by Kulisch, Ulrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Walter de Gruyter, 2008Availability: Items available for loan: [Call number: 518.0285 KUL] (1).
|
|
398.
|
Logical and relational learning
by Raedt, Luc de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.31 RAE] (1).
|
|
399.
|
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
400.
|
Advances in Computer Science - ASIAN 2004 : Higher-Level Decision Making : 9th Asian Computer Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 2004 ; proceedings
by Maher, M. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 MAH] (1).
|