|
|
1.
|
ASN.1 complete
by Larmouth, John. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Morgan Kaufmann, 2000Availability: Items available for loan: [Call number: 004.62 LAR] (1).
|
|
|
2.
|
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).
|
|
|
3.
|
Theory of parsing, translation, and compiling
by Aho, Alfred V | Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1972Availability: Items available for loan: [Call number: 001.6425 AHO] (1).
|
|
|
4.
|
Introduction to parallel computing : a practical guide with examples in C
by Arbenz, P | Petersen, Wesley. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2004Availability: Items available for loan: [Call number: 004.35 PET] (1).
|
|
|
5.
|
History of programming languages
by Bergin, Thomas J | Gibson, Richard G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: ACM Press, 1996Availability: Items available for loan: [Call number: 005.1309 BER] (1).
|
|
|
6.
|
Formal semantics of programming languages
by Winskel, Glynn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: MIT Press, 1993Availability: Items available for loan: [Call number: 005.131 WIN] (1).
|
|
|
7.
|
New horizons of parallel and distributed computing
by Guo, Minyi | Yang, Laurence Tianruo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.35 GUO] (1).
|
|
|
8.
|
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).
|
|
|
9.
|
Discipline of multiprogramming : programming theory for distributed applications
by Misra, Jayadev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.434 MIS] (1).
|
|
|
10.
|
Reasoning about program transformations : imperative programming and flow of data
by Collard, Jean-Francois. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 005.13 COL] (1).
|
|
|
11.
|
Modal and temporal properties of processes
by Stirling, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1).
|
|
|
12.
|
Programing language design concepts
by Findlay, William | Watt, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 005.13 WAT] (1).
|
|
|
13.
|
High performance mass storage and parallel I/O : technologies and applications
by Cortes, Toni | Buyya, Rajkumar | Jin, Hai. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Pisa: IEEE Press, 2002Availability: Items available for loan: [Call number: 621.397 JIN] (1).
|
|
|
14.
|
Lectures on parallel computation
by Spirakis, Paul | Gibbons, Alan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1993Availability: Items available for loan: [Call number: 004.35 GIB] (1).
|
|
|
15.
|
Foundations of parallel programming
by Skillicorn, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.2 SKI] (1).
|
|
|
16.
|
Understanding Z : a specification language and its formal semantics
by Spivey, J. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1).
|
|
|
17.
|
Parallel scientific computing in C++ and MPI : A seamless approach to parallel algorithms and their implementation
by Kirby, Robert M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 004.35 KAR] (2).
|
|
|
18.
|
Applications of process algebra
by Baeten, J. C. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
|
|
|
19.
|
Protocols by invariants
by Schoone, Anneke A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 004.35 SCH] (1).
|
|
|
20.
|
Hardware design and petri nets
by Yakovlev, Alex | Gomes, Luis | Lavagno, Luciano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.3916 YAK] (1).
|
