|
|
1.
|
Text, ConText, and HyperText : writing with and for the computer
by Barrett, Edward. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1988Availability: Items available for loan: [Call number: 808.066004 BAR] (1).
|
|
|
2.
|
Elements of software science
by Halstead, Maurice H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: North Holland, 1977Availability: Items available for loan: [Call number: 001.6425 HAL] (1).
|
|
|
3.
|
Cache coherence problem in shared-memory multiprocessors : software solutions
by Tartalja, Igor | Milutinovic, Veljko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Los Alamitos: IEEE Computer Society Press, 1996Availability: Items available for loan: [Call number: 005.42 TAR] (1).
|
|
|
4.
|
Model-based testing of reactive systems
by Jonsson, Bengt | Broy, Manfred | Katoen, Joost-Pieter | Leucker, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BRO] (1).
|
|
|
5.
|
Solaris system administrator's guide
by Winsor, Janice. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education, 2001Availability: Items available for loan: [Call number: 005.4469 WIN] (1).
|
|
|
6.
|
Systems methodology for software
by Rus, Daniela | Rus, Teodor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1993Availability: Items available for loan: [Call number: 005.42 RUS] (1).
|
|
|
7.
|
Execution support environment
by Rus, Daniela | Rus, Teodor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1994Availability: Items available for loan: [Call number: 005.42 RUS] (1).
|
|
|
8.
|
Security requirements engineering : designing secure socio-technical systems
by Paja, Elda | Dalpiaz, Fabiano | Giorgini, Paolo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2016Availability: Items available for loan: [Call number: 005.43 DAL] (1).
|
|
|
9.
|
Architecture of computer hardware and systems software : an information technology approach
by Englander, Irv. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Wiley, 2003Availability: Items available for loan: [Call number: 004.22 ENG] (1).
|
|
|
10.
|
System software reliability
by Pham, Hoang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 005.43 PHA] (1).
|
|
|
11.
|
Cache replacement policies
by Jain, Akanksha. Publisher: San rafael Morgan & Claypool 2019Availability: Items available for loan: [Call number: 005.435 JAI] (1).
|
