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
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
