Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
QA 76.76 T48 N5 : Test-driven development in Microsoft .NET / James W. Newkirk, Alexei A. Vorontsov.; BJL     
      Test-driven development in Microsoft .NET / James W. Newkirk, Alexei A. Vorontsov. BJL  BOOK 2004
QA76.76.T48 O74 2019 : Concise guide to software testing / Gerard O'Regan.; BJL     
      Concise guide to software testing / Gerard O'Regan. BJL  BOOK 2019
QA 76.76 T48 P2 : Understanding software testing / Norman Parrington and Marc Roper.; BJL     
      Understanding software testing / Norman Parrington and Marc Roper. BJL  BOOK 1989
QA 76.76 T48 P4 : Surviving the top ten challenges of software testing : a people-oriented approach / William E. Perry, Randall W. Rice.; BJL     
      Surviving the top ten challenges of software testing : a people-oriented approach / William E. Perry, BJL  BOOK c1997
QA 76.76 T48 P5 : Software testing and analysis : process, principles, and techniques / Mauro Pezzè, Michal Young.; BJL     
      Software testing and analysis : process, principles, and techniques / Mauro Pezzè, Michal Young. BJL  BOOK c2008
QA76.76.T48 S652 : Software testing, verification & reliability [electronic resource].; Online materials     
      Software testing, verification & reliability [electronic resource]. Online materials  EJOURNALS  
QA76.76.T48 S95 1991 : Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) [electronic resource] : Victoria, British Columbia, October 8-10, 1991 / sponsored by ACM Sigsoft.; Online materials     
      Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) [electronic resource] : Vi Online materials  EBOOKS c1991
QA76.76.T48 T37 2011 : Tests and proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / Martin Gogolla, Burkhart Wolff (eds.).; Online materials     
      Tests and proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 201 Online materials  EBOOKS 2011
QA76.76.T48 T46 2006 : Testing: Academic and Industry Conference-Practice and Research Techniques : proceedings : 29-31, August 2006, Windsor, United Kingdom.; Online materials     
      Testing: Academic and Industry Conference-Practice and Research Techniques : proceedings : 29-31, Aug Online materials  EBOOKS c2006
QA76.76.T48 T46 2007 : Testing: Academic and Industrial Conference--Practice And Research Techniques : (TAIC PART 2007) : co-located with Mutation 2007 : proceedings : 10th-14th September, 2007, Cumberland Lodge, Windsor, United Kingdom / TAIC PART 2007 sponsorship, The UK Engineering and Physical Sciences Research Council (EPSRC) ... [et al.] ; Mutation 2007 sponsorship, Certess, Inc.; Online materials     
      Testing: Academic and Industrial Conference--Practice And Research Techniques : (TAIC PART 2007) : c Online materials  EBOOKS c2007
QA76.76.T48 T46 2008 : Testing: Academic and Industry Conference--Practice and Research Techniques : TAIC PART 2008 : 29-31, August 2008, Windsor, United Kingdom ; sponsored by EPSRC ... [et a.l].; Online materials     
      Testing: Academic and Industry Conference--Practice and Research Techniques : TAIC PART 2008 : 29-31, Online materials  EBOOKS c2008
QA76.76.T48 .T555 2014eb : Hard problems in software testing : solutions using testing as a service (taas) / Scott Tilley, Brianna Floss.; Online materials     
      Hard problems in software testing : solutions using testing as a service (taas) / Scott Tilley, Brian Online materials  EBOOKS 2014
QA76.76.T48 W68 1988 : Proceedings [electronic resource] / second Workshop on Software Testing, Verification, and Analysis, 19-21 July 1988, Banff, Canada ; sponsored by ACM/SIGSOFT, IEEE/CS Software Engineering Technical Committee.; Online materials     
      Proceedings [electronic resource] / second Workshop on Software Testing, Verification, and Analysis, Online materials  EBOOKS c1988
QA76.76.T49 : Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation [electronic resource] / chairman Paul Abrahams ; sponsors ACM Special Interest Group on Programming Languages.; Online materials     
      Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation [electronic resource] / chairman Online materials  EBOOKS 1981
QA 76.76 T49 S3 : GNU Emacs : UNIX text editing and programming / M.A. Schoonover, J.S. Bowie, W.R. Arnold.; BJL     
      GNU Emacs : UNIX text editing and programming / M.A. Schoonover, J.S. Bowie, W.R. Arnold. BJL  BOOK 1992
QA76.76.T55 S36 2011eb : Design of multithreaded software : the entity-life modeling approach / Bo I. Sandén.; Online materials     
      Design of multithreaded software : the entity-life modeling approach / Bo I. Sandén. Online materials  EBOOKS 2011
QA76.76.T83 P67 2010eb : Contextual computing [electronic resource] : models and applications / Robert Porzel.; Online materials     
      Contextual computing [electronic resource] : models and applications / Robert Porzel. Online materials  EBOOKS 2010
QA 76.76 U65 L6 : Lex & yacc / John R. Levine, Tony Mason, Doug Brown.; BJL     
      Lex & yacc / John R. Levine, Tony Mason, Doug Brown. BJL  BOOK 1990
QA76.76.U84    
      UCC 2015 : proceedings, 2015 IEEE/ACM 8th International Conference on Utility and Cloud Computing : 7 Online materials  EBOOKS 2016
      UCC 2015 : proceedings, 2015 IEEE/ACM 8th International Conference on Utility and Cloud Computing : 7 Online materials  EBOOKS 2016
QA 76.76 U84 T6 : Mastering MAKE : a guide to building programs on DOS and UNIX systems / Clovis L. Tondo, Andrew Nathanson, Eden Yount.; BJL     
      Mastering MAKE : a guide to building programs on DOS and UNIX systems / Clovis L. Tondo, Andrew Natha BJL  BOOK 1992
QA76.76.V47    
      2008 1st International Conference on Software Testing, Verification, and Validation : 9-11 April 2008 Online materials  EBOOKS 2008
      2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 201 Online materials  EBOOKS 2014
      HILT '13 [electronic resource] : proceedings of the ACM Conference on High Integrity Language Technol Online materials  EBOOKS 2013
      HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, Online materials  EBOOKS 2014
10 additional entries    
QA 76.76 V47 A6    
      Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog. BJL  BOOK 1991
      Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog. BJL  BOOK 1997
QA76.76.V47 .D435 2015eb : Decidability of parameterized verification / Roderick Bloem [and six others].; Online materials     
      Decidability of parameterized verification / Roderick Bloem [and six others]. Online materials  EBOOKS 2015
QA 76.76 V47 F8 : Program verification.; BJL     
      Program verification. BJL  BOOK 1992
QA 76.76 V47 H7 : Software reviews and audits handbook.; BJL     
      Software reviews and audits handbook. BJL  BOOK 1990
QA76.76.V47 I54 2009 : Hardware and software : verification and testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.).; Online materials     
      Hardware and software : verification and testing : 5th International Haifa Verification Conference, H Online materials  EBOOKS 2011
QA76.76.V47 I54 2010 : Hardware and software : verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz, eds.; Online materials     
      Hardware and software : verification and testing : 6th International Haifa Verification Conference, H Online materials  EBOOKS 2011
QA76.76.V47 I58 2001 : Model checking software [electronic resource] : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).; Online materials     
      Model checking software [electronic resource] : 8th International SPIN Workshop, Toronto, Canada, May Online materials  EBOOKS 2001
QA76.76.V47 I58 2011 : Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.).; Online materials     
      Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : pro Online materials  EBOOKS 2011
QA76.76.V47 P57 2007 : PLPV'07 [electronic resource] : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 / sponsored by ACM SIGPLAN ; co-located with ICFP'07.; Online materials     
      PLPV'07 [electronic resource] : proceedings of the 2007 workshop on Programming Languages meets Progr Online materials  EBOOKS c2007
QA76.76.V47 P57 2009 : PLPV '09 [electronic resource] : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN.; Online materials     
      PLPV '09 [electronic resource] : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Language Online materials  EBOOKS c2009
QA76.76.V47 R54 2011 : Rigorous software development [electronic resource] : an introduction to program verification / José Bacelar Almeida ... [et al.].; Online materials     
      Rigorous software development [electronic resource] : an introduction to program verification / José Online materials  EBOOKS c2011
QA76.76.V47 R58 2011 : Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / Giorgio Delzanno, Igor Potapov (eds.).; Online materials     
      Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : pr Online materials  EBOOKS c2011
QA 76.76 V47 T9 : 25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).; BJL     
      25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.) BJL  BOOK c2008
QA76.76.V47 V53 2011eb : Verification, model checking, and abstract interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / Ranjit Jhala, David Schmidt (eds.).; Online materials     
      Verification, model checking, and abstract interpretation [electronic resource] : 12th International Online materials  EBOOKS 2011
QA76.76.W56 : CompuThink windows watcher (Online); Online materials     
      The CompuThink windows watcher [electronic resource]. Online materials  EJOURNALS  
QA 76.76 W56 G6 : The News book - an introduction to the network/extensible window system / J. Gosling, D.S.H. Rosenthal, M. J. Arden.; BJL     
      The News book - an introduction to the network/extensible window system / J. Gosling, D.S.H. Rosentha BJL  BOOK 1989
QA 76.76 W56 S3 : X window system : the complete reference to Xlib, X Protocol, ICCCM, XLFD / Robert W. Scheifler, James Gettys.; BJL     
      X window system : the complete reference to Xlib, X Protocol, ICCCM, XLFD / Robert W. Scheifler, Jame BJL  BOOK 1992
QA 76.76 W8 : Hypertext and hypermedia : theory and applications.; BJL     
      Hypertext and hypermedia : theory and applications. BJL  BOOK 1991
QA76.77    
      HotOS 2017 : proceedings of the 16th Workshop on Hot Topics in Operating Systems : May 7-10, 2017, Wh Online materials  EBOOKS 2017
      IEEE standard for information technology : requirements and guidelines for test methods specification Online materials  EBOOKS 1998
      NOSSDAV 2006 [electronic resource] : International Workshop on Network and Operating Systems Support Online materials  EBOOKS 2006
      NOSSDAV 2008 [electronic resource] : proceedings of the 18th International Workshop on Network and Op Online materials  EBOOKS 2008
14 additional entries    
QA76.77 .S73 2018    
      Operating systems : internals and design principles / William Stallings. Online materials  EBOOKS 2018
      Operating systems : internals and design principles / William Stallings. BJL  BOOK 2018
QA76.774.I67 R63 2011 : Pro iOS 5 augmented reality [electronic resource] / Kyle Roche.; Online materials     
      Pro iOS 5 augmented reality [electronic resource] / Kyle Roche. Online materials  EBOOKS c2011
QA76.774.I67 .T555 2015eb : Testing iOS apps with HadoopUnit : rapid distributed GUI testing / Scott Tilley, Krissada Dechokul.; Online materials     
      Testing iOS apps with HadoopUnit : rapid distributed GUI testing / Scott Tilley, Krissada Dechokul. Online materials  EBOOKS 2015
QA 76.774 M43 M3 : Maran illustrated Windows 7.; BJL     
      Maran illustrated Windows 7. BJL  BOOK c2009
QA 76.774 M43 P7 : Windows 7 : the missing manual / David Pogue.; BJL     
      Windows 7 : the missing manual / David Pogue. BJL  BOOK 2010
QA 76.774 M53 P9 : Windows 2000 Professional in easy steps.; BJL     
      Windows 2000 Professional in easy steps. BJL  BOOK 2002
QA 76.774 M58 K1 : Windows XP in a nutshell / David A. Karp, Tim O'Reilly, and Troy Mott.; BJL     
      Windows XP in a nutshell / David A. Karp, Tim O'Reilly, and Troy Mott. BJL  BOOK 2005
QA 76.774 M58 P7 : Windows XP home edition : the missing manual.; BJL     
      Windows XP home edition : the missing manual. BJL  BOOK 2004
QA 76.774 M599 C8 : Mastering windows 3.1.; BJL     
      Mastering windows 3.1. BJL  BOOK 1992
QA 76.774 M599 M8    
      Windows : advanced programmer's guide. BJL  BOOK 1993
      Windows and PCs : a complete introduction. BJL, Departmental Locations   BOOK 1993
Save marked records Save all on page
Result Page   Prev Next