Koha online

261.
Implementation patterns

by Beck, Kent.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.1 BEC] (1).
Place hold
262.
Secure programming with static analysis

by Chess, Brian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Addison-Wesley, 2007Availability: Items available for loan: [Call number: 005.8 CHE] (2).
Place hold
263.
Fuzzing : brute force vulnerabilty discovery

by Sutton, Michael | Amini, Pedram | Greene, Adam.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Addison-Wesley, 2007Availability: Items available for loan: [Call number: 005.8 SUT] (1).
Place hold
264.
Next generation Java testing : TestNG and advanced concepts

by Beust, Cedric | Suleiman, Hani.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.133 BEU] (1).
Place hold
265.
Eclipse modeling project : a domain-specific language (DSL) toolkit

by Gronback, Richard C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 GRO] (1).
Place hold
266.
Software language engineering : creating domain-specific languages using metamodels

by Kleppe, Anneke G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 KLE] (1).
Place hold
267.
Eclipse plug-ins

by Clayberg, Eric | Rubel, Dan.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.133 CLA] (1).
Place hold
268.
Managing the unmanageable : rules, tools, and insights for managing software people and teams

by Mantle, Mickey W | Lichty, Ron.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2013Availability: Items available for loan: [Call number: 005.0683 MAN] (1).
Place hold
269.
Formal specification using Z.

by Lightfoot, David.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basingstoke: Palgrave, 2001Availability: Items available for loan: [Call number: 005.133 LIG] (1).
Place hold
270.
Software Development with UML

by Lunn, Ken.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Palgrave Macmillan, 2003Availability: Items available for loan: [Call number: 005.117 LUN] (1).
Place hold
271.
Formal software development : from VDM to Java

by Charatan, Quentin | Kans, Aaron.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Palgrave Macmillan, 2004Availability: Items available for loan: [Call number: 005.1 CHA] (1).
Place hold
272.
Process Assessment and Improvement : a practical guide for managers, quality professionals, and assessors

by Loon, Han van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005 LOO] (1).
Place hold
273.
Software verification and validation : an engineering and scientific approach

by Fisher, Marcus S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 005.14 FIS] (1).
Place hold
274.
No cover image available
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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.3 DAM] (1).
Place hold
275.
New computational paradigms : changing conceptions of what is computable

by Cooper, S. B | Lowe, Benedikt | Sorbi, Andrea.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 COO] (1).
Place hold
276.
Collectives and design of complex systems

by Tumer, Kagan | Wolpert, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 TUM] (1).
Place hold
277.
No cover image available
Integrated research in GRID computing : core GRID

by Gorlatch, Sergei | Danelutto, Marco.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 004.36 GOR] (1).
Place hold
278.
Software Reliability Methods

by Peled, Doron A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 PEL] (1).
Place hold
279.
Decoding liberation : the promise of free and open source software

by Chopra, Samir | Dexter, Scott.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Routledge, 2010Availability: Items available for loan: [Call number: 005.3 CHO] (1).
Place hold
280.
Model-driven Software Development : technology, engineering, management

by Stahl, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 005.1 STA] (1).
Place hold

Powered by Koha