|
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.
|
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: No items available Checked out (1).
|
|
3.
|
Linear Programs and related problems
by Nering, Evar D | Tucker, Albert W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Academic Press, 1993Availability: Items available for loan: [Call number: 519.72 NER] (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.
|
Communication and concurrency
by Milner, Robin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Prentice Hall, 1989Availability: Items available for loan: [Call number: 511 MIL] (1).
|
|
7.
|
Programming : the derivation of algorithms
by Kaldewaij, Anne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Prentice Hall, 1990Availability: Items available for loan: [Call number: 005.1 KAL] (1).
|
|
8.
|
Introduction to functional programming using haskell
by Bird, Richard. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Prentice Hall, 1998Availability: Items available for loan: [Call number: 005.114 BIR] (1).
|
|
9.
|
Object-oriented software construction
by Meyer, Bertrand. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2000Availability: Items available for loan: [Call number: 005.117 MEY] (2).
|
|
10.
|
Theory and practice of concurrency
by Roscoe, A. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Prentice Hall, 1998Availability: Items available for loan: [Call number: 004.35 ROS] (1).
|
|
11.
|
Robot vision
by Horn, Berthold K. P | Horn, Berthold Klaus Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1986Availability: Items available for reference: [Call number: 629.892 HOR] (1).
|
|
12.
|
Performance modeling of operating systems using object-oriented simulation : a practical introduction
by Garrido, Jose M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 005.43 GAR] (1).
|
|
13.
|
Dynamic reconfiguration : architectures and algorithms
by Trahan, Jerry L | Vaidyanathan, Ramachandran. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Kluwer Academic Publishers, 2003Availability: Items available for loan: [Call number: 004.22 VAI] (1).
|
|
14.
|
Operating systems : concurrent and distributed software design
by Bacon, Jean | Harris, Tim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 2003Availability: Items available for loan: [Call number: 005.43 BAC] (1).
|
|
15.
|
Programming Challenges: The programming contest training manual
by Skiena, Stevan S | Revilla, Miguel A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 SKI] (1).
|
|
16.
|
Soft real-time systems : predictability vs. efficiency
by Buttazzo, Giorgio | Abeni, Luca | Buttazzo, Giorgio | Caccamo, Marco | Lipari, Giuseppe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.33 BUT] (1).
|
|
17.
|
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).
|
|
18.
|
Reverse Engineering of Object Oriented Code
by Potrich, Alessandra | Tonella, Paolo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.117 TON] (1).
|
|
19.
|
Fundamental algorithms for permutation groups
by Butler, G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1991Availability: Items available for loan: [Call number: 004 BUT] (1).
|
|
20.
|
Selected writings on computing : a personal perspective
by Dijkstra, Edsger W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
|