Program construction and verification / Roland C. Backhouse. by Backhouse, Roland C. (Roland Carl), 1948-

ACT!ʼ 2005 For Dummiesʼ by Karen S. Fredricks. by Fredricks, Karen S.

Get full text

Waterbody hydrodynamic and water quality modeling : an introductory workbook and CD-ROM on three-dimensional waterbody modeling / John Eric Edinger. by Edinger, John Eric

Harnessing Autodesk Civil 3D / Phillip J. Zimmerman. by Zimmerman, Phillip J.

Mastering bitcoin : programming the open blockchain / Andreas M. Antonopoulos. by Antonopoulos, Andreas M.

Software for engineering control of landslide and tunnelling hazards / Bhawani Singh, R.K. Goel. by Singh, Bhawani

Principles of program analysis / F. Nielson, Hanne Riis Nielson, Chris Hankin. by Nielson, Flemming, 1955-

Computer methods and programs in biomedicine

First International Conference on Advances in System Testing and Validation Lifecycle VALID 2009 : 20-25 September 2009, Porto, Portugal : proceedings / editors, Amirhossein Alimoh...

Get full text

Cloud computing : data-intensive computing and scheduling / Frederic Magoules, Jie Pan, Fei Teng. by Magoules, F. (Frederic)

Guidance for the verification and validation of neural networks / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah. by Pullum, Laura L.

Get full text

Handbook of research on electronic surveys and measurements / Rodney A. Reynolds, Robert Woods and Jason D. Baker, editors.

Handbook of research on electronic surveys and measurements Rodney A. Reynolds, Robert Woods, Jason D. Baker [editors].

Get full text

Gamification with Moodle : use game elements in Moodle courses to build learner resilience and motivation / Natalie Denmeade. by Denmeade, Natalie

Chemistry and computing / G.L. Breneman and O.J. Parker. by Breneman, G. L. (Gary L)

Software verification and validation : realistic project approaches / Michael S. Deutsch. by Deutsch, Michael S.

Purchasing computer software products : a guide for users of computer software, based on the Institute of Purchasing and Supply model form of licence agreement for the use of compu... by Dilloway, Cliff

Software testing techniques / Joe Abbott. by Abbott, Joe

Spreadsheets for business students : an active-learning approach. by West, Colston

Software testing techniques : finding the defects that matter / Scott Loveland ... [et al.].

IET software.

Professional Microsoft Robotics Developer Studio Martin R. Calsyn. by Calsyn, Martin R.

Get full text

Compilers : principles, techniques, and tools / Aho, Lam, Sethi, Ullman. by Aho, Alfred V.

Compilers principles, techniques, and tools / Alfred V. Aho ... [et al].

Get full text

SAP SCM : applications and modeling for supply chain management (with BW primer) / Daniel C. Wood. by Wood, Daniel C., 1972-

European directory of software for libraries and information centres / compiled by Joanna Wood.

Numerical recipes in C : the art of scientific computing / William H. Press ... [et al.].

Autocad onstage : a computer-aided design handbook for theater, film, and television / Rich Rose. by Rose, Rich

Computer software for schools / A. Payne, B. Hutchings, P. Ayre. by Payne, Tony, 1948-

Teaching computers to teach / Esther R. Steinberg. by Steinberg, Esther R.

Articulate Storyline 2 : the essentials : "skills and drills" learning / Kevin Siegel & Kal Hadi. by Siegel, Kevin A., Hadi, Kal

Articulate Storyline 2 : beyond the essentials : "skills and drills" learning / Kevin Siegel & Kal Hadi. by Siegel, Kevin A., Hadi, Kal

Basic to advanced computer aided design using NX10 : modeling, drafting, assemblies, sheet metal and other goodies : a project oriented learning manual / by Stephen M. Samuel PE. by Samuel, Stephen M.

A gentle introduction to Stata / Alan C. Acock, Oregon State University. by Acock, Alan C., 1944-

R for data science : import, tidy, transform, visualize, and model data / Hadley Wickham and Garrett Grolemund. by Wickham, Hadley, Grolemund, Garrett

NX 11.0 for designers / CADCIM Technologies ; contriuting author, Prof. Sham Tickoo. by Tickoo, Sham

Numerical recipes : the art of scientific computing / William H. Press [and three others]. by Press, William H.

Processing a programming handbook for visual designers and artists / Casey Reas, Ben Fry. by Reas, Casey

Get full text

Beginning sharepoint 2013 building business solutions / Amanda Perran ... [et al].

Get full text

Using Moodle : teaching with the popular open source course management system / Jason Cole. by Cole, Jason R.

Mastering Lotus Notes 4.6 / Kenyon Brown ... [et al.]. by Brown, Kenyon

MP3 : the definitive guide / Scot Hacker. by Hacker, Scot

Business statistics using Excel / Glyn Davis & Branko Pecar. by Davis, Glyn

Discovering statistics using R / Andy Field, Jeremy Miles, Zoe Field. by Field, Andy P.

Discovering calculus with Maple / Kent Harris, Robert J. Lopez. by Harris, Kent

Computational flight dynamics / Malcolm J. Abzug. by Abzug, Malcolm J.

Mastering MATLAB 5 : a comprehensive tutorial and reference / Duane Hanselman and Bruce Littlefield. by Hanselman, Duane C.

Working with Microfit 4.0 : interactive econometric analysis / M. Hashem Pesaran and Bahram Pesaran. by Pesaran, Hashem, 1946-

Programming Firefox / by Kenneth C. Feldt. by Feldt, Kenneth C.

Discovering statistics using JASP / Andy Field, Johnny van Doorn & Eric-Jan Wagenmakers. by Field, Andy, Doorn, Johnny van, 1989-, Wagenmakers, Eric-Jan