|
21.
|
Principles of computer architecture
by Murdocca, Miles J | Heuring, Vincent P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2000Availability: Items available for loan: [Call number: 004.22 MUR] (3).
|
|
22.
|
Computer systems architecture : networking approach
by Williams, Rob. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 2001Availability: Items available for loan: [Call number: 004.22 WIL] (2).
|
|
23.
|
Database Solution
by Connolly, Thomas M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Addison-Wesley, 2000Availability: Items available for loan: [Call number: 005.74 CON] (2).
|
|
24.
|
VHDL for programmable logic
by Skahill, Kevin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Reading: Addison-Wesley, 1996Availability: Items available for loan: [Call number: 621.392 SKA] (2).
|
|
25.
|
Ramus, method, and the decay of dialogue : from the art of discourse to the art of reason
by Ong, Walter J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chicago: University of Chicago Press, 1983Availability: Items available for loan: [Call number: 194 ONG] (1).
|
|
26.
|
Reasoning about uncertainty
by Halpern, Joseph Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2003Availability: Items available for loan: [Call number: 003.54 HAL] (1).
|
|
27.
|
Programming with constraints : an introduction
by Stuckey, Peter J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1999Availability: Items available for loan: [Call number: 005.13 MAR] (1).
|
|
28.
|
Word and object
by Quine, Willard Van Orman. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1960Availability: Items available for loan: [Call number: 149.94 QUI] (1).
|
|
29.
|
Electronic logic circuits
by Gibson, J. R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Newnes, 1992Availability: Items available for loan: [Call number: 621.3815 GIB] (1).
|
|
30.
|
Adapting proofs-as-programs : the Curry-Howard protocol
by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
|
|
31.
|
Computation engineering : applied automata theory and logic
by Gopalakrishnan, Ganesh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.35 GOP] (1).
|
|
32.
|
Fundamentals of switching theory and logic design : a hands on approach
by Astola, Jaakko T | Stankovic, Radomir S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.3815372 AST] (1).
|
|
33.
|
Logic synthesis and verification algorithms
by Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
|
|
34.
|
Introduction to default logic
by Besnard, Philippe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1989Availability: Items available for loan: [Call number: 006.3 BES] (1).
|
|
35.
|
Automated theorem proving : theory and practice
by Newborn, Monty. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2).
|
|
36.
|
Computer Logic : design principles and applications
by Hsu, John Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1015113 HSU] (1).
|
|
37.
|
Introduction to Hilbert space and quantum logic
by Cohen, David W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1989Availability: Items available for loan: [Call number: 515.733 COH] (1).
|
|
38.
|
Temporal Logic of Reactive and Concurrent Systems
by Manna, Zohar | Pnueli, A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1).
|
|
39.
|
Refinement calculus
by Back, Ralph-Johan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1).
|
|
40.
|
Descriptive complexity
by Immerman, Neil. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1999Availability: Items available for loan: [Call number: 511.3 IMM] (1).
|