|
261.
|
Implementation patterns
by Beck, Kent. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.1 BEC] (1).
|
|
262.
|
Secure programming with static analysis
by Chess, Brian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Addison-Wesley, 2007Availability: Items available for loan: [Call number: 005.8 CHE] (2).
|
|
263.
|
Fuzzing : brute force vulnerabilty discovery
by Sutton, Michael | Amini, Pedram | Greene, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Addison-Wesley, 2007Availability: Items available for loan: [Call number: 005.8 SUT] (1).
|
|
264.
|
Next generation Java testing : TestNG and advanced concepts
by Beust, Cedric | Suleiman, Hani. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.133 BEU] (1).
|
|
265.
|
Eclipse modeling project : a domain-specific language (DSL) toolkit
by Gronback, Richard C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Indianapolis: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 GRO] (1).
|
|
266.
|
Software language engineering : creating domain-specific languages using metamodels
by Kleppe, Anneke G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 KLE] (1).
|
|
267.
|
Eclipse plug-ins
by Clayberg, Eric | Rubel, Dan. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.133 CLA] (1).
|
|
268.
|
Managing the unmanageable : rules, tools, and insights for managing software people and teams
by Mantle, Mickey W | Lichty, Ron. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2013Availability: Items available for loan: [Call number: 005.0683 MAN] (1).
|
|
269.
|
Formal specification using Z.
by Lightfoot, David. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basingstoke: Palgrave, 2001Availability: Items available for loan: [Call number: 005.133 LIG] (1).
|
|
270.
|
Software Development with UML
by Lunn, Ken. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Palgrave Macmillan, 2003Availability: Items available for loan: [Call number: 005.117 LUN] (1).
|
|
271.
|
Formal software development : from VDM to Java
by Charatan, Quentin | Kans, Aaron. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Palgrave Macmillan, 2004Availability: Items available for loan: [Call number: 005.1 CHA] (1).
|
|
272.
|
Process Assessment and Improvement : a practical guide for managers, quality professionals, and assessors
by Loon, Han van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005 LOO] (1).
|
|
273.
|
Software verification and validation : an engineering and scientific approach
by Fisher, Marcus S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 005.14 FIS] (1).
|
|
274.
|
Open source systems : IFIP Working Group 2.13 Foundation on Open Source Software June 8-10, 2006, Como, Italy
by Damiani, Ernesto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.3 DAM] (1).
|
|
275.
|
New computational paradigms : changing conceptions of what is computable
by Cooper, S. B | Lowe, Benedikt | Sorbi, Andrea. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 COO] (1).
|
|
276.
|
Collectives and design of complex systems
by Tumer, Kagan | Wolpert, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 TUM] (1).
|
|
277.
|
Integrated research in GRID computing : core GRID
by Gorlatch, Sergei | Danelutto, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 004.36 GOR] (1).
|
|
278.
|
Software Reliability Methods
by Peled, Doron A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 PEL] (1).
|
|
279.
|
Decoding liberation : the promise of free and open source software
by Chopra, Samir | Dexter, Scott. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Routledge, 2010Availability: Items available for loan: [Call number: 005.3 CHO] (1).
|
|
280.
|
Model-driven Software Development : technology, engineering, management
by Stahl, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 005.1 STA] (1).
|