QA 76.9 L63 H9 : Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.; BJL
c2004
1
QA 76.9 L63 L8 : Logic-based artificial intelligence / edited by Jack Minker.; BJL
2000
1
QA 76.9 M3 G7 / q : User initerface management systems / P.B. Gray, A.C. Kilgour.; BJL
1989
1
QA 76.9 M3 I3 / q : System complexity.; BJL
1988
1
QA 76.9 M35 A5 BJL
1989
1
QA 76.9 M35 B1 : Discrete mathematics.; BJL
1990
1
QA 76.9 M35 B5 : Discrete mathematics.; BJL
1985
1
QA 76.9 M35 B6 : Illustrated mathematics : visualization of mathematical concepts with Mathcad Plus 6.0.;
BJL, Departmental Locations
1996
1
QA 76.9 M35 C7 : Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992 / Nathaniel Dean, Gregory E. Shannon, editors.; BJL
1994
1
QA 76.9 M35 D4 / q : Explorations in Mathcad.; BJL
1998
1
QA 76.9 M35 D6 : Methods in algorithmic analysis / by Vladimir A. Dobrushkin.; BJL
2010
1
QA 76.9 M35 G4 : Maths for computing and information technology / Frank Giannasi and Robert Low.; BJL
1995
1
QA 76.9 M35 H1 : Discrete mathematics for computing.; BJL
c2002
1
QA 76.9 M35 H4 : Discrete structures, logic, and computability / James L. Hein.; BJL
2002
1
QA 76.9 M35 I3
2
QA 76.9 M35 J5 : Fundamentals of discrete math for computer science : a problem solving primer / Tom Jenkins, Ben Stephenson.; BJL
2018
1
QA 76.9 M35 K1 : An introduction to discrete mathematics and its applications.; BJL
1986
1
QA76.9.M35 K86 : A programmer's introduction to mathematics / Jeremy Kun.; BJL
2020
1
QA 76.9 M35 K9 : An introduction to programming with specifications : a mathematical approach / R. Kubiak, R. Rudzinski, S. Sokolowski.; BJL
1991
1
QA76.9.M35 M35 2012 : Sets, logic and maths for computing / David Makinson.; BJL
2012
1
QA 76.9 M35 M4
4
QA 76.9 M35 M6 / q : Calculus with MathCAD.; BJL
c1991
1
QA 76.9 M35 S6 : Discrete mathematics with computer science applications / Romualdas Skvarcius, William B. Robinson.; BJL
1986
1
QA 76.9 M35 S7 : Beginning math and physics for game programmers / Wendy Stahler.; BJL
c2004
1
QA 76.9 M35 T6 : Topology and category theory in computer science / edited by G.M. Reed, A.W. Roscoe and R. Wachter.; BJL
1991
1
QA 76.9 M35 T8 : Discrete mathematics for computer scientists.; BJL
1991
1
QA 76.9 M35 V2 : Introduction to scientific computing : a matrix-vector approach using MATLAB.; BJL
1996
1
QA 76.9 M35 V7 : Foundation mathematics for computer science : a visual approach.; BJL
2015
1
QA 76.9 M35 W6 : Introduction to mathCAD for scientists and engineers.; BJL
1993
1
QA 76.9 M65 B7 / q : Ethics and computing : living responsibly in a computerized world.; BJL
1995
1
QA 76.9 M65 C7 : Computer ethics and professional responsibility / edited by Terrell Ward Bynum and Simon Rogerson.; BJL
c2004
1
QA 76.9 M65 E2 : Morality and machines : perspectives on computer ethics.; BJL
2003
1
QA 76.9 M65 E7
2
QA 76.9 M65 E8 : Ethical issues of information systems / [edited by] Ali Salehnia.; BJL
2002
1
QA 76.9 M65 F7 : Computer ethics : cautionary tales and ethical dilemmas in computing / Tom Forester and Perry Morrison.; BJL
1994
1
QA 76.9 M65 H6 : The hacker ethic, and the spirit of the information age.; BJL
2001
1
QA 76.9 M65 J6 : Computer ethics : analyzing information technology.; BJL
c2009
1
QA 76.9 M65 P2 : Ethical conflicts in information and computer science, technology, and business / prepared by Donn B. Parker, Susan Swope, Bruce N. Baker.; BJL
1990
1
QA 76.9 M65 Q7 : Ethics for the information age / Michael J. Quinn.; BJL
2005
1
QA76.9.M65 S83 2007 : Computer ethics : a global perspective / Giannis Stamatellos.; BJL
2007
1
QA 76.9 O35 A4 : Building object applications that work : your step-by-step handbook for developing robust systems with object technology.; BJL
1998
1
QA 76.9 O35 C2 : Objected-oriented project management with UML.; BJL
1998
1
QA 76.9 O35 D8 : Objects, components, and frameworks with UML : the catalysis approach / Desmond F. D'Souza, Alan Cameron Wills.; BJL
1999
1
QA 76.9 O35 F7
3
QA 76.9 O35 H2 : Understanding UML : the developer's guide : with a Web-based application in Java / Paul Harmon, Mark Watson.; BJL
1998
1
QA 76.9 O35 R8 : Use case driven object modeling with UML : a practical approach / Doug Rosenberg with Kendall Scott.; BJL
1999
1
QA 76.9 O35 W5 : Object thinking.; BJL
c2004
1
QA 76.9 P5 P1 / q : PAIS II : second symposium and workshop on philosophical aspects of information systems : methodology, theory, practice and critique : University of Western England, Bristol, UK, 27-29 July 1998.; BJL
1998
1
QA 76.9 P5 P5 : Philosophical aspects of information systems / edited by R.L. Winder, S.K. Probert and I.A. Beeson.; BJL
1997
1
QA 76.9 P75 F4 : Cyberseduction : reality in the age of psychotechnology / Jeri Fink.; BJL
1999
1
