|
261.
|
Programming languages : an active learning approach.
by Lee, Kent D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York Springer 2008Availability: Items available for loan: [Call number: 005.13 LEE] (2).
|
|
262.
|
Mathematical logic
by Thomas, W | Ebbinghaus, H. -D | Flum, J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1994Availability: Items available for loan: [Call number: 511.3 EBB] (1).
|
|
263.
|
First-order logic and automated theorem proving
by Fitting, Melvin. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
264.
|
Network Orange
by Crandall, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004.6 CRA] (1).
|
|
265.
|
Analysis and Design of Information Systems
by Langer, Arthur M. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.21 LAN] (1).
|
|
266.
|
Software Reliability Methods
by Peled, Doron A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 PEL] (1).
|
|
267.
|
Sweet Reason
by Tymoczko, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 160 TYM] (1).
|
|
268.
|
Principles of Mathematics
by Russell, Bertrand. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 2002Availability: Items available for loan: [Call number: 510 RUS] (1).
|
|
269.
|
New introduction to modal logic
by Hughes, G. E | Cresswell, M. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 1996Availability: Items available for loan: [Call number: 160 HUG] (2).
|
|
270.
|
Philosophy of logical atomism
by Russell, Bertrand. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 2013Availability: Items available for loan: [Call number: 146.5 RUS] (1).
|
|
271.
|
Mathematical logic
by Turing, Alan Mathison | Gandy, R. O | Yates, C. E. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Elsevier, 2001Availability: Items available for loan: [Call number: 511.3 TUR] (1).
|
|
272.
|
Handbook of modal logic. Volume 3
by Benthem, Johan Van | Blackburn, Patrick | Wolter, Frank. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Elsevier, 2007Availability: Items available for loan: [Call number: 160 BLA] (1).
|
|
273.
|
Theorems, corollaries, lemmas, and methods of proof
by Rossi, Richard J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2006Availability: Items available for loan: [Call number: 511.36 ROS] (1).
|
|
274.
|
Annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
by Petzold, Charles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Indianapolis: Wiley, 2008Availability: Items available for loan: [Call number: 511.3 PET] (1).
|
|
275.
|
Classical algebra : its nature, origins, and uses
by Cooke, Roger. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2008Availability: Items available for loan: [Call number: 512 COO] (1).
|
|
276.
|
Mathematical logic
by Tourlakis, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2008Availability: Items available for loan: [Call number: 511.3 TOU] (1).
|
|
277.
|
Fundamentals of mathematics : introduction to proofs, logic, sets, and numbers
by Schroder, Bernd S. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2010Availability: Items available for loan: [Call number: 510 SCH] (1).
|
|
278.
|
Program construction : calculating implementations from specifications
by Backhouse, Roland. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: John Wiley & Sons, 2003Availability: Items available for loan: [Call number: 005.1 BAC] (1).
|
|
279.
|
Digital Design from Zero to One
by Daniels, Jerry D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 1996Availability: Items available for loan: [Call number: 621.395 DAN] (1).
|
|
280.
|
Advanced computer arithmetic design
by Oberman, Stuart F | Flynn, Michael J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Wiley-Blackwell, 2001Availability: Items available for loan: [Call number: 004.01513 FLY] (1).
|