|
21.
|
Asynchronous circuits
by Brzozowski, Janusz A | Seger, Carl-Johan H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1995Availability: Items available for loan: [Call number: 621.395 BRZ] (1).
|
|
22.
|
Verification of sequential and concurrent programs
by Apt, Krzysztof R | Olderog, Ernst-Rudiger. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1).
|
|
23.
|
On concurrent programming
by Schneider, Fred B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.275 SCH] (1).
|
|
24.
|
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).
|
|
25.
|
Programming Methodology
by Mclver, Annabelle | Morgan, Carroll. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
|
|
26.
|
Science of programming
by Gries, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1981Availability: Items available for loan: [Call number: 001.642 GRI] (2).
|
|
27.
|
Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing
by Robbins, Kay A | Robbins, Steven. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1989Availability: Items available for loan: [Call number: 004 ROB] (1).
|
|
28.
|
Refinement calculus
by Back, Ralph-Johan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1).
|
|
29.
|
Specification of software systems
by Alagar, Vangalur S | Periyasamy, K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 005.1 ALA] (1).
|
|
30.
|
Descriptive complexity
by Immerman, Neil. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1999Availability: Items available for loan: [Call number: 511.3 IMM] (1).
|
|
31.
|
C programming : the essentials for engineering and scientists
by Brooks, David R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1999Availability: Items available for loan: [Call number: 005.133 BRO] (1).
|
|
32.
|
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).
|
|
33.
|
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).
|
|
34.
|
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).
|
|
35.
|
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).
|
|
36.
|
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).
|
|
37.
|
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).
|
|
38.
|
Updating logical databases
by Winslett, Marianne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.74 WIN] (1).
|
|
39.
|
Laboratory course in Java
by Dale, Nell. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 2001Availability: Items available for loan: [Call number: 005.133 DAL] (2).
|
|
40.
|
Fundamentals of computer science using Java
by Hughes, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 2002Availability: Items available for loan: [Call number: 005.276 HUG] (1).
|