|
1.
|
Symbolic logic and mechanical theorem proving
by Chang, Chin-Liang | Lee, Richard Char-Tung. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1).
|
|
2.
|
Computability, complexity and language : fundamentals of theoretical computer science
by Davis, Martin D | Sigal, Ron | Weyuker, Elaine J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1994Availability: Items available for loan: [Call number: 511.3 DAV] (1).
|
|
3.
|
Theory of matrices: with applications
by Lancaster, Peter | Tismenetsky, Miron. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1985Availability: Items available for loan: [Call number: 512.9434 LAN] (1).
|
|
4.
|
Digital picture processing, Volume 1
by Rosenfeld, Azriel | Kak, Avinash C. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Academic Press, 1982Availability: Items available for loan: [Call number: 621.3819598 ROS] (1).
|
|
5.
|
Digital picture processing Volume 2
by Rosenfeld, Azriel | Kak, Avinash C. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Orlando: Academic Press, 1982Availability: Items available for loan: [Call number: 621.3819598 ROS] (1).
|
|
6.
|
First course in coding theory
by Hill, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2002Availability: Items available for loan: [Call number: 005.72 HIL] (1).
|
|
7.
|
Pattern recognition principles
by Tou, Julius T | Gonzalez, Rafael C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Reading: Addison-Wesley, 1974Availability: Items available for loan: [Call number: 001.534 TOU] (1).
|
|
8.
|
Convex polytopes
by Grunbaum, Branko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 516.35 GRU] (1).
|
|
9.
|
Concurrent scientific computing : texts in applied mathematics.
by Van de Velde, Eric F. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1994Availability: Items available for loan: [Call number: 519.4028552 VAN] (1).
|
|
10.
|
Scientific computing with ordinary differential equations
by Deuflhard, Peter | Bornemann, Folkmar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 515.3520285 DEU] (1).
|
|
11.
|
Markov chains : Gibbs fields, Monte carlo simulation and queues
by Bremaud, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 519.233 BRE] (1).
|
|
12.
|
Galois theory
by Cox, david A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2004Availability: Items available for loan: [Call number: 512.32 COX] (1).
|
|
13.
|
Fourier analysis.
by Stade, Eric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2005Availability: Items available for loan: [Call number: 515.2433 STA] (1).
|
|
14.
|
Computational methods of linear algebra
by Sewell, Granville. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 512.5 SEW] (1).
|
|
15.
|
Riemann's zeta function
by Edwards, Harold M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mineola: Dover Publications, 2001Availability: Items available for loan: [Call number: 515.56 EDW] (1).
|
|
16.
|
Introduction to Fourier analysis and generalized functions
by Lighthill, M. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 515.24332 LIG] (1).
|
|
17.
|
Self-regularity : a new paradigm for primal-dual interior-point algorithms
by Peng, Jiming | Roos, Cornelis | Terlaky, Tamas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2002Availability: Items available for loan: [Call number: 519.3 PEN] (1).
|
|
18.
|
Auxiliary signal design for failure detection
by Nikoukhah, Ramine | Campbell, Stephen L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2004Availability: Items available for loan: [Call number: 620.0044 CAM] (1).
|
|
19.
|
Entropy
by Keller, Gerhard | Greven, Andreas | Warnecke, Gerald. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2003Availability: Items available for loan: [Call number: 536.73 GRE] (1).
|
|
20.
|
Impulsive and hybrid dynamical systems : stability, dissipativity, and control
by Haddad, Wassim M | Chellaboina, VijaySekhar | Nersesov, Sergey G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2006Availability: Items available for loan: [Call number: 003.85 HAD] (1).
|