books by collection

University - Computing and IT

Filter by available

Proving Programmes Correct

By Anderson, Robert B.

Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)

By Dean, C. Neville, Hinchey, Michael G.

Algorithmic Number Theory: First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings: 877 (Lecture Notes in Computer Science, 877)

By Adleman, Leonard M., Huang, Ming-Deh

Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of Computing)

By Jim Davies, Bill Roscoe, Jim Woodcock

Information Modeling: Specification and Implementation

By Edmond, David

Algebraic Specification (Acm Press Frontier Series)

By Bergstra, J. A., Heering, J., Klint, P.

UNIX Network Programming Vol 1: Networking APIs - Sockets and XTI

By Stevens, W. Richard

Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)

By Abelson

Hard Call: Courageous Decisions by Inspiring People: Heroes Who Made Tough Decisions

By John McCain

Terraria Tips, Hints, Cheats, Strategy And Walk-through

By Books, Maple Tree

Microsoft® Windows Media® Resource Kit (Pro-Resource Kit)

By Microsoft Corporation, Tricia Gill, Bill Birney

Flash MX Games: ActionScript for Artists

By Lever, Nik

Macromedia FreeHand MX for Windows and Macintosh: Visual QuickStart Guide (Visual Quickstart Guides)

By Cohen, Sandee

Streaming Media Bible

By Mack, Steve

The Complete Idiot's Guide to Creating a Web Page

By McFedries, Paul

Access 2000 In Easy Steps (In Easy Steps Series)

By Copestake, S

The Rise and Resurrection of the American Programmer (Yourdon Press Computing Series)

By Yourdon, Edward

the-code-book--the-secret-history-of-codes-and-code-breaking

By Singh, Simon

Using Word for Windows 6 (Special Edition Using)

By Person, Ron

Machines that Think: Everything you need to know about the coming age of artificial intelligence (New Scientist Instant Expert)

By New Scientist

Edexcel DiDA: Multimedia ActiveBook Students' Pack with CDROM

By Burden, Kevin, Keuchel, Theo, Smith, Allan

Blogging For Dummies

By Gardner, Susannah, Birley, Shane

dynamics getting moving

By N/A

Personal Computer Hardware and Troubleshooting

By Antonakos, James L., Mansfield Jr., Kenneth C.

Java Message Service

By David A Chappell, Richard Monson-Haefel

How to Set-Up and Maintain a Web Site

By Stein, Lincoln D.

Word Processing Training

By Jacquelyne A. Morison

Schaum's Outline of Essential Computer Mathematics (Schaum's Outlines)

By Lipschutz, Seymour

English in Computing

By Glendinning, Eric H., McEwan, John

Get Programming with JavaScript

By Larsen, John R