|
|
1.
|
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).
|
|
|
2.
|
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).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
Concurrent and real-time systems : the CSP approach
by Schneider, Steve. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 004.33 SCH] (2).
|
|
|
10.
|
Complexity of boolean functions
by Wegener, Ingo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 1987Availability: Items available for loan: [Call number: 511.324 WEG] (1).
|
|
|
11.
|
Concurrency : state models and JAVA programs
by Magee, Jeff | Kramer, Jeff. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 1999Availability: Items available for loan: [Call number: 005.2752 MAG] (2).
|
|
|
12.
|
Conceptual database design : an entity-relationship approach
by Ceri, Stefano | Batini, Carol | Navathe, Shamkant B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Addison-Wesley, 1992Availability: Items available for loan: [Call number: 005.74 BAT] (1).
|
|
|
13.
|
Bayesian artificial intelligence
by Nicholson, Ann E | Korb, Kevin B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2004Availability: Items available for loan: [Call number: 519.542 KOR] (1).
|
|
|
14.
|
Information randomness and incompleteness : papers on algorithmic information theory
by Chaitin, Gregory J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1990Availability: Items available for loan: [Call number: 511.319 CHA] (1).
|
|
|
15.
|
Information-Theoretic Incompleteness
by Chaitin, G. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1992Availability: Items available for loan: [Call number: 511.3 CHA] (1).
|
|
|
16.
|
Advanced concepts in operating systems : distributed, database, and multiprocessor operating systems
by Singhal, Mukesh | Shivaratri, Niranjan G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2001Availability: Items available for loan: [Call number: 005.43 SIN] (3).
|
|
|
17.
|
Parallel computing : theory and practice
by Quinn, Michael J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: McGraw-Hill Higher Education, 2013Availability: Items available for loan: [Call number: 004.35 QUI] (1).
|
|
|
18.
|
Neural networks in computer intelligence
by Fu, LiMin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2003Availability: Items available for loan: [Call number: 006.3 FUL] (1).
|
|
|
19.
|
Real-time systems
by Krishna, C. M | Shin, Kang G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: McGraw-Hill, 1997Availability: Items available for loan: [Call number: 004.33 KRI] (1).
|
|
|
20.
|
Computer architecture and organization
by Hayes, John P. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: McGraw-Hill, 1998Availability: Items available for loan: [Call number: 004.22 HAY] (2).
|
