005.14 Van/Tes : Testing code security / Maura A. van der Linden
Testing code security / Maura A. van der Linden
MELB
2007
005.14 Vmc/Ait 2005 : Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.)
Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.)
W'PONDS
2005
005.14 Wat/Tio : Testing IT : an off-the-shelf software testing process / John Watkins
Testing IT : an off-the-shelf software testing process / John Watkins
W'PONDS
2001
005.14 Wei/Psa : Perfect software--and other illusions about testing / Gerald M. Weinberg
Perfect software--and other illusions about testing / Gerald M. Weinberg
W'PONDS
2008
005.14 Whi/Htb : How to break software : a practical guide to testing : an example-rich explanation of how to effectively test software that anyone can understand and use immediately / James A. Whittaker
How to break software : a practical guide to testing : an example-rich explanation of how to effectively test software that anyone can understand and use immediately / James A. Whittaker
W'PONDS
2002
005.14 Zel/Wpf : Why programs fail : a guide to systematic debugging / Andreas Zeller
Why programs fail : a guide to systematic debugging / Andreas Zeller
W'PONDS
2006
005.140685 Gal/Sqa : Software quality assurance : from theory to implementation / Daniel Galin
Software quality assurance : from theory to implementation / Daniel Galin
MELB
2004
005.15 B434M : Mastering documentation with document masters for system development, control, and delivery / Paula Bell, Charlotte Evans
Mastering documentation with document masters for system development, control, and delivery / Paula Bell, Charlotte Evans
MELB
1989
005.15 Bar/Wsd 2003 : Writing software documentation : a task-oriented approach / Thomas T. Barker
Writing software documentation : a task-oriented approach / Thomas T. Barker
MELB
2003
005.15 Hor/Daw : Designing and writing online documentation : help files to hypertext / William K. Horton
Designing and writing online documentation : help files to hypertext / William K. Horton
W'PONDS
1990
005.15 Mcg/Cgt : The complete guide to writing software user manuals / Brad McGehee
The complete guide to writing software user manuals / Brad McGehee
W'PONDS
1984
005.15 Mcg/Wtm : Where's the manual? : preparing and producing the software user's manual / Richard A. McGrath
Where's the manual? : preparing and producing the software user's manual / Richard A. McGrath
W'PONDS
1991
005.15 Wal/Dtd : DocBook : the definitive guide / Norman Walsh and Leonard Muellner
DocBook : the definitive guide / Norman Walsh and Leonard Muellner
W'PONDS
1999
005.15 Wex/Omh : The official Microsoft HTML help authoring kit : understanding, creating, and migrating to Microsoft HTML Help for the Microsoft Windows 95 and Windows NT 4.0 operating systems / Steve Wexler
The official Microsoft HTML help authoring kit : understanding, creating, and migrating to Microsoft HTML Help for the Microsoft Windows 95 and Windows NT 4.0 operating systems / Steve Wexler
MELB
Concurrency in ADA / Alan Burns and Andy Wellings
W'PONDS
1998
005.2 Bir/Rdc : Reliable distributed computing with the Isis toolkit / editors, Kenneth P. Birman, Robbert van Renesse
Reliable distributed computing with the Isis toolkit / editors, Kenneth P. Birman, Robbert van Renesse
W'PONDS
1994
005.2 Edw/Rts : Real-time structured methods : systems analysis / Keith Edwards
Real-time structured methods : systems analysis / Keith Edwards
W'PONDS
1993
005.2 Fle/Dss : Distributed systems - software design and implementation / Albert Fleischmann
Distributed systems - software design and implementation / Albert Fleischmann
W'PONDS
1994
005.2 Fos/Dab : Designing and building parallel programs : concepts and tools for parallel software engineering / Ian T. Foster
Designing and building parallel programs : concepts and tools for parallel software engineering / Ian T. Foster
W'PONDS
1995
005.2 Gei/Pvm : PVM : parallel virtual machine : a users' guide and tutorial for networked parallel computing / Al Geist ... [and others]
PVM : parallel virtual machine : a users' guide and tutorial for networked parallel computing / Al Geist ... [and others]
W'PONDS
1994
005.2 Gra/Itp 2003 : Introduction to parallel computing / by Vipin Kumar, George Karypis, Anshul Gupta, Ananth Grama
Introduction to parallel computing / by Vipin Kumar, George Karypis, Anshul Gupta, Ananth Grama
MELB
2003
005.2 Gro/Ump : Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum
Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum
W'PONDS
1994
005.2 Hay/Dap : Debugging and performance tuning for parallel computing systems / Ann H. Hayes ... [and others]
Debugging and performance tuning for parallel computing systems / Ann H. Hayes ... [and others]
W'PONDS
1996
005.2 Int/Mas 1995 : ICMAS--95, First International Conference on Multi-Agent Systems : proceedings, June 12-14, 1995, San Francisco, California / Victor Lesser, general chair
ICMAS--95, First International Conference on Multi-Agent Systems : proceedings, June 12-14, 1995, San Francisco, California / Victor Lesser, general chair
W'PONDS
1995
005.2 Javasc Tha/Boj : The book of JavaScript : a practical guide to interactive Web pages / Thau
The book of JavaScript : a practical guide to interactive Web pages / Thau
MELB
2000
005.2 Kum/Itp : Introduction to parallel computing : design and analysis of algorithms / Vipin Kumar ... [and others]
Introduction to parallel computing : design and analysis of algorithms / Vipin Kumar ... [and others]
W'PONDS
1994
005.2 Met/Sad : Specification and design of concurrent systems / Percy Mett, David Crowe, Peter Strain-Clark
Specification and design of concurrent systems / Percy Mett, David Crowe, Peter Strain-Clark
W'PONDS
1994
005.2 Rau/Lac 2004 : Languages and compilers for parallel computing : 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003: revised papers / Lawrence Rauchwerger (ed.)
Languages and compilers for parallel computing : 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003: revised papers / Lawrence Rauchwerger (ed.)
W'PONDS
2004
005.2 Say/Gui : GUI-based design and development for client/server applicaations : using PowerBuilder, SQLWindows, Visual Basic, PARTS Workbench / Jonathan S. Sayles ... [and others]
GUI-based design and development for client/server applicaations : using PowerBuilder, SQLWindows, Visual Basic, PARTS Workbench / Jonathan S. Sayles ... [and others]
W'PONDS
1994
005.2 Ski/Fop : Foundations of parallel programming / David Skillicorn
Foundations of parallel programming / David Skillicorn
W'PONDS
1994
005.2 Yan/Rrc : A real-time unconstrained cooperative editing system for realisation of REDUCE consistency model / Y. Yang, Chengzheng Sun, Yanchun Zhang
A real-time unconstrained cooperative editing system for realisation of REDUCE consistency model / Y. Yang, Chengzheng Sun, Yanchun Zhang
WATERFT ADPML
1996
005.2 Yan/Wbr : A web-based real-time cooperative editor in Java / Yun Yang ... [and others]
A web-based real-time cooperative editor in Java / Yun Yang ... [and others]
WATERFT ADPML