|
|
641.
|
Statistical physics
by Mandl, F. Edition: 2nd ed.Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 1988Availability: Items available for loan: [Call number: 530.13 MAN] (1).
|
|
|
642.
|
Engineering Distributed Objects
by Emmerich, Wolfgang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 005.117 EMM] (1).
|
|
|
643.
|
Technology and Scholarly Communication
by Ekman, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: University of California Press, 1999Availability: Items available for loan: [Call number: 686.2 EKM] (1).
|
|
|
644.
|
Basic simple type theory
by Hindley, J. Roger. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1).
|
|
|
645.
|
Domains and lambda-calculi
by Amadio, Roberto M | Curien, Pierre-Louis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
|
|
|
646.
|
Information flow : the logic of distributed systems
by Seligman, Jerry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 003.54 BAR] (1).
|
|
|
647.
|
Digital systems engineering
by Dally, William J | Poulton, John W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 1998Availability: Items available for loan: [Call number: 621.39 DAL] (1).
|
|
|
648.
|
Elements of UML 2.0 style
by Ambler, Scott W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.1 AMB] (1).
|
|
|
649.
|
Measuring Computer Performance
by Lilja, David S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2000Availability: Items available for loan: [Call number: 004.24 LIL] (1).
|
|
|
650.
|
Electronic concepts : an introduction
by Krenz, Jerrold H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2000Availability: Items available for loan: [Call number: 621.381 KRE] (1).
|
|
|
651.
|
Art of electronics
by Horowitz, Paul | Hill, Winfield. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1989Availability: Items available for loan: [Call number: 621.381 HOR] (5).
|
|
|
652.
|
Cambridge dictionary of statistics
by Everitt, Brian. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 519.503 EVE ] (1).
|
|
|
653.
|
Concurrent programming in ML
by Reppy, John H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.2752 REP] (1).
|
|
|
654.
|
Cambridge handbook of information and computer ethics
by Floridi, L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 174.9004 FLO] (1).
|
|
|
655.
|
Semiotics of programming
by Tanaka-Ishii, Kumiko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.019 TAN] (1).
|
|
|
656.
|
Formal Methods for Distributed Processing
by Bowman, Howard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 005.117 BOW] (1).
|
|
|
657.
|
Concurrency verification : introduction to compositional and noncompositional methods.
by De Roever, Willem-Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 004.35 ROE] (1).
|
|
|
658.
|
Process algebra : equational theories of communicating processes
by Baeten, J. C. M | Basten, T | Reniers, M. A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.0151 BAE] (1).
|
|
|
659.
|
Numerical methods in engineering with MATLAB
by Kiusalaas, Jaan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 620.001518 KIU] (1).
|
|
|
660.
|
High-speed electronics and optoelectronics : devices and circuits
by Prasad, Sheila | Gopinath, Anand | Schumacher, Hermann. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 621.381 PRA] (1).
|
