|
|
981.
|
Constructing correct software
by Cooke, John. Edition: 2nd ed.Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 COO] (1).
|
|
|
982.
|
Complete IS-IS routing protocol
by Goralski, Walter | Gredler, Hannes. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 004.62 GRE] (1).
|
|
|
983.
|
Automating business modelling
by Robertson, Dave | Chen-Burger, Yun-Heh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 338.50113 CHE] (1).
|
|
|
984.
|
Creating web-based laboratories
by Ko, C. C | Chen, Ben M | Chen, Jianping. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2004Availability: Items available for loan: [Call number: 004.6 KOC] (1).
|
|
|
985.
|
Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems
by Bowman, Howard | Gomez, Rodolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 004.015113 BOW] (1).
|
|
|
986.
|
System-level test and validation of hardware/software systems
by Sonza Reorda, M | Peng, Zebo | Violante, M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 004.24 SON] (1).
|
|
|
987.
|
Agent technology from a formal perspective
by Rouff, Christopher A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 ROU] (1).
|
|
|
988.
|
Scalable infrastructure for distributed sensor networks
by Chakrabarty, Krishnendu | Iyengar, Sitharama S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 681.2 CHA] (1).
|
|
|
989.
|
Code book : the secret history of codes and codebreaking
by Singh, Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Fourth Estate, 2000Availability: Items available for loan: [Call number: 652.8 SIN] (1).
|
|
|
990.
|
Dynamic vision : from images to face recognition
by Gong, Shaogang | McKenna, Stephen J | Psarrou, Alexandra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2005Availability: Items available for loan: [Call number: 006.3721 GON] (1).
|
|
|
991.
|
Security modeling and analysis of mobile agent systems
by Ma, Lu | Tsai, Jeffrey J. P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial college press, 2006Availability: Items available for loan: [Call number: 006.3 MAL] (1).
|
|
|
992.
|
Design and analysis of reliable and fault-tolerant computer systems
by Abd-El-Barr, Mostafa. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2007Availability: Items available for loan: [Call number: 004.2 ABD] (1).
|
|
|
993.
|
Going Digital
by Gilder, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Profile Books, 1996Availability: Items available for loan: [Call number: 330.092 GIL] (1).
|
|
|
994.
|
Microsoft secrets
by Cusumano, Michael A | Selby, Richard W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Profile Books, 1995Availability: Items available for loan: [Call number: 338.76100510973 CUS] (1).
|
|
|
995.
|
Abstract syntax notation one (ASN.1) : the tutorial and reference
by Steedman, Douglas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.K.: Technology Appraisals, 1993Availability: Items available for loan: [Call number: 005.133 STE] (1).
|
|
|
996.
|
Internet and intranet security management : risks and solutions
by Janczewski, Lech. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hershey: Idea Group Pub., 2000Availability: Items available for loan: [Call number: 005.8 JAN] (1).
|
|
|
997.
|
Designing Embedded Internet Devices
by Eisenreich, Dan | DeMuth, Brian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Newnes, 2003Availability: Items available for loan: [Call number: 004.65 EIS] (2).
|
|
|
998.
|
GNU make : a program for directed compilation
by Stallman, Richard | McGrath, Roland | Stallman, Richard M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Free Software Foundation, 2002Availability: Items available for loan: [Call number: 005.14 STA] (1).
|
|
|
999.
|
Debugging with GDB : the GNU source-level debugger
by Stallman, Richard M | Pesch, Roland | Shebs, Stan | Stallman, Richard M | Stallman, Richard M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Free Software Foundation, 2003Availability: Items available for loan: [Call number: 005.14 STA] (1).
|
|
|
1000.
|
Distributed programming with Java
by Mahmoud, Qusay H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Greenwich: Manning Publications, 2000Availability: Items available for loan: [Call number: 005.2762 MAH] (1).
|
