|
|
1.
|
Introduction to RISC assembly language programming
by Waldron, John. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 1999Availability: Items available for loan: [Call number: 005.265 WAL] (1).
|
|
|
2.
|
HAL's Legacy : 2001's computer as dream and reality
by Stork, David G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 791.4372 STO] (1).
|
|
|
3.
|
Unicode standard 4.0
by Aliprand, Joan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Addison-Wesley, 2003Availability: Items available for loan: [Call number: 005.72 ALI] (2).
|
|
|
4.
|
Unicode standard 5.0 : the Unicode Consortium
by Allen, Julie D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2007Availability: Items available for loan: [Call number: 005.722 ALL] (2).
|
|
|
5.
|
Guide to RISC processors : for programmers and engineers
by Dandamudi, Sivarama P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.3 DAN] (1).
|
|
|
6.
|
Notes on set theory
by Moschovakis, Yiannis. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: New York University Press, 1994Availability: Items available for loan: [Call number: 511.322 MOS] (1).
|
|
|
7.
|
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).
|
|
|
8.
|
Transition to advanced mathemtics
by Smith, Douglas | Andre, Richard St | Eggen, Maurice. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thomson Learning, 2001Availability: Items available for loan: [Call number: 510 SMI] (1).
|
|
|
9.
|
Set theory and its logic
by Quine, William V. Edition: Revised ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Belknap Press, 1969Availability: Items available for loan: [Call number: 512.817 QUI] (1).
|
|
|
10.
|
George Cantor: His mathematics and philosophy
by Dauben, Joseph warren. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 1990Availability: Items available for loan: [Call number: 511.32209 DAU] (1).
|
|
|
11.
|
Proof, logic, and conjecture : the mathematician's toolbox
by Wolf, Robert S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: W. H. Freeman, 1997Availability: Items available for loan: [Call number: 511.3 WOL] (1).
|
|
|
12.
|
In search of infinity
by Vilenkin, N. Ya | Shenitzer, Abe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 1995Availability: Items available for loan: [Call number: 511.322 VIL] (1).
|
|
|
13.
|
Set theory and metric spaces
by Kaplansky, Irving. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Rhode Island: American Mathematcial Society, 2001Availability: Items available for loan: [Call number: 511.3 KAP] (1).
|
|
|
14.
|
Basic set theory
by Vereshchagin, N. K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: American Mathematical Society, 2002Availability: Items available for loan: [Call number: 511.322 SHE] (1).
|
|
|
15.
|
Algebraic 3-D modeling
by Hartwig, Andreas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 1996Availability: Items available for loan: [Call number: 003.3 HAR] (1).
|
|
|
16.
|
Fundamentals of mathematical logic
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
|
17.
|
Logic programming paradigm : a 25-year perspective
by Apt, Krzysztof R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.115 APT] (1).
|
|
|
18.
|
Labyrinth of thought : a history of set theory and its role in modern mathematics
by Ferreiros, Jose. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkh�user, 1999Availability: Items available for loan: [Call number: 511.32209 FER] (1).
|
|
|
19.
|
Real analysis
by Royden, H. L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 515 ROY] (1).
|
|
|
20.
|
Discrete Mathematical Structures
by Rao, G. Shanker. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: New Age International, 2002Availability: Items available for loan: [Call number: 511.3 RAO] (1).
|
