|
41.
|
Modal and temporal properties of processes
by Stirling, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1).
|
|
42.
|
Introduction to mathematical logic
by Mendelson, Elliot. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: Chapman & Hall, 1997Availability: Items available for loan: [Call number: 511.3 MEN] (1).
|
|
43.
|
Many-dimensional modal logics theory and applications
by Gabbay, Dov M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Elsevier, 2003Availability: Items available for loan: [Call number: 511.3 GAB] (1).
|
|
44.
|
Introduction to VLSI Circuits and Systems
by Uyemura, John P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 621.395 UYE] (2).
|
|
45.
|
Digital design
by Vahid, Frank. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 621.395 VAH] (1).
|
|
46.
|
Arithmetic and logic in computer systems
by Lu, Mi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 004.0151 LUM] (1).
|
|
47.
|
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
by Ensley, Douglas E | Crawley, J. Winston. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 511.1 ENS] (1).
|
|
48.
|
How to read and do proofs : an introduction to mathematical throught processes
by Solow, Daniel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New york: John Wiley & Sons, 1990Availability: Items available for loan: [Call number: 511.58 SOL] (1).
|
|
49.
|
Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems
by Oldfield, John V | Dorf, Richard C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 1995Availability: Items available for loan: [Call number: 621.395 OLD] (1).
|
|
50.
|
Logically determined design : clockless system design with NULL convention logic
by Fant, Karl M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 621.381 FAN] (1).
|
|
51.
|
Introductory Discrete Mathematics
by Balakrishnan, V. K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1996Availability: Items available for loan: [Call number: 511 BAL] (1).
|
|
52.
|
Computability and logic
by Boolos, George S | Burgess, John P | Jeffrey, Richard C. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BOO] (1).
|
|
53.
|
Modal logic : an introduction
by Chellas, Brian F. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1980Availability: Items available for loan: [Call number: 160 CHE] (2).
|
|
54.
|
How to prove it : a structured approach
by Velleman, Daniel J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1994Availability: Items available for loan: [Call number: 511.3 VEL] (2).
|
|
55.
|
Set theory, logic and their limitations
by Machover, Moshe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 511.3 MAC] (1).
|
|
56.
|
Linear logic in computer science
by Ehrhard, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
|
|
57.
|
Principles of mathematics revisited
by Hintikka, Jaakko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1998Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
58.
|
How to prove it : a structured approach
by Velleman, Daniel J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 511.3 VEL] (1).
|
|
59.
|
Concise introduction to logic
by Hurley, Patrick J. Edition: 7th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thomson Learning, 2000Availability: Items available for loan: [Call number: 160 HUR] (2).
|
|
60.
|
555 timer applications sourcebook, with experiments
by Berlin, Howard M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: BPB Publications, 1985Availability: Items available for loan: [Call number: 621.381737 BER] (1).
|