|
281.
|
Synthesis of arithmetic circuits : FPGA, ASIC and embedded systems
by Deschamps, Jean-Pierre | Bioul, Gery Jean Antoine | Sutter, Gustavo D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2006Availability: No items available Checked out (1).
|
|
282.
|
Spectral logic and its applications for the design of digital devices
by Stankovic, Radomir S | Astola, Jaakko | Karpovsky, Mark G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2008Availability: Items available for loan: [Call number: 621.395 KAR] (1).
|
|
283.
|
Computer architecture and organization : an integrated approach
by Heuring, Vincent P | Murdocca, Miles J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 004.22 MUR] (1).
|
|
284.
|
Computer science reconsidered : the invocation model of process expression
by Fant, Karl M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 004 FAN] (1).
|
|
285.
|
Introduction to logic
by Suppes, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1999Availability: Items available for loan: [Call number: 160 SUP] (1).
|
|
286.
|
Mathematical logic
by Kleene, Stephen Cole. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 2002Availability: No items available Checked out (1).
|
|
287.
|
Set theory and the continuum hypothesis
by Cohen, Paul J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mineola: Dover Publications, 2008Availability: Items available for loan: [Call number: 511.322 COH] (1).
|
|
288.
|
What is the name of this book? : the riddle of Dracula and other logical puzzles
by Smullyan, Raymond M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 2013Availability: Items available for loan: [Call number: 793.73 SMU] (1).
|
|
289.
|
Popular Lectures on Mathematical Logic
by Wang, Hao. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New YOrk: Dover Publications, 1981Availability: Items available for loan: [Call number: 511.3 WAN] (1).
|
|
290.
|
First-order logic
by Smullyan, Raymond M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1995Availability: Items available for loan: [Call number: 511.3 SMU] (1).
|
|
291.
|
Boolean Algebra and its Applications
by Whitesitt, J. Eldon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1995Availability: Items available for loan: [Call number: 511.324 WHI] (1).
|
|
292.
|
Introduction to formal logic
by Smith, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 160 SMI] (1).
|
|
293.
|
Criticism and the Growth of Knowledge
by Lakatos, Imre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1970Availability: Items available for loan: [Call number: 501 LAK] (1).
|
|
294.
|
Proofs and refutations: The logic of mathematical discovery
by Lakatos, Imre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.3 LAK] (1).
|
|
295.
|
Hegel
by Taylor, Charles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1998Availability: Items available for loan: [Call number: 100 TAY] (1).
|
|
296.
|
Computability and Logic
by Boolos, George S. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1989Availability: Items available for loan: [Call number: 005.115 BOO] (1).
|
|
297.
|
Modal logic
by Blackburn, Patrick | Rijke, Maarten de | Venema, Yde. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BLA] (2).
|
|
298.
|
Principia Mathematica to 56
by Whitehead, Alfred N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 511.3 WHI] (1).
|
|
299.
|
Logics of conversation
by Asher, Nicholas | Lascarides, Alex. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 401.41 ASH] (1).
|
|
300.
|
Logic in computer science : modelling and reasoning about systems
by Huth, Michael | Ryan, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (1). Items available for reference: [Call number: 005.1 HUT] (1).
|