Specifying systems: The TLA language and tools for hardware and software engineers
by Lamport, L.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2003Availability: Items available for reference: [Call number: 004.21 LAM (CR)] (1).
Financial institutions + markets
by Mishkin, F. S.
Edition: 4th ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2004Availability: Items available for loan: [Call number: 332.1 MIS] (1).
Automated software testing: Introduction, management and performance
by Dustin, E.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 1999Availability: Items available for loan: [Call number: 005.14 DUS] (1).
Domain-driven design: Tackling complexity in the heart of software
by Evans, E.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2004Availability: Items available for loan: [Call number: 005.1 EVA] (1).
Object-Design: Roles, responsibilities and collaborations
by Wirfs-Brock, R.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2003Availability: No items available Checked out (1).
UML for mere mortals
by Maksimchuk, R. A.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2005Availability: Items available for loan: [Call number: 005.117 MAK] (1).
Crystal clear: A human powered methodology for small teams
by Cockburn, A.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2000Availability: Items available for loan: [Call number: 005.1 COC] (1).
Distributed systems: Concepts and design
by Coulouris, G.
Edition: 4th ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Harlow; England Addison Wesley 2005Availability: Items available for reference: [Call number: 004.36 COU (CR)] (1).
The design and analysis of spatial data structures
by Samet, H.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Reading; Massachusetts Addison Wesley 1990Availability: Items available for loan: [Call number: 910.285 SAM] (2).
Fearless change: Patterns for introducing new ideas
by Manns, M. L.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2005Availability: Items available for loan: [Call number: 658.406 MAN] (1).
Feynman's tips on physics: A problem-solving supplement to the Feynman lectures on physics
by Feynman, R. P.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: San Francisco Pearson/Addison-Wesley 2006Availability: Items available for reference: [Call number: 530.076 FEY (Ref.)] (1).
The Feynman lectures on physics V-3: Quantum mechanics
by Feynman, R. P.
Edition: Definitive ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: San Francisco Pearson/Addison-Wesley 2006Availability: Items available for reference: [Call number: 530 FEY (Ref.)] (1).
The Feynman lectures on physics V-2: Mainly electromagnetism and matter
by Feynman, R. P.
Edition: Definitive ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: San Francisco Pearson/Addison-Wesley 2006Availability: Items available for reference: [Call number: 530 FEY (Ref.)] (1).
The Feynman lectures on physics V-1: Mainly mechanics, radiation, and heat
by Feynman, R. P.
Edition: Definitive ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: San Francisco Pearson/Addison-Wesley 2006Availability: Items available for reference: [Call number: 530 FEY (Ref.)] (1).
The LaTeX graphics companion: Illustrating documents with TeX and PostScript
by Goossens, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 1997Availability: Items available for reference: [Call number: 686.22544536 GOO (Ref.)] (1).
The LaTeX companion
by Mittelbach, F. [et al.].
Edition: 2nd ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2004Availability: Items available for reference: [Call number: 686.22544536 MIT (Ref.)] (1).
The LaTeX web companion: Integrating TEX, HTML and XML
by Goossens, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 1999Availability: Items available for reference: [Call number: 686.22544572 GOO (Ref.)] (1).
Guide to LaTeX
by Kopka, H.
Edition: 4th ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 2004Availability: Items available for reference: [Call number: 686.22544536 KOP (Ref.)] (1).
Safeware: System safety and computers
by Leveson, N. G.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Boston Addison Wesley 1995Availability: Items available for reference: [Call number: 005.1 LEV (CR)] (1).