Enterprise Information Systems VI
The sixth International Conference on Enterprise Information Systems (ICEIS) held in Porto in 2004, brought together researchers, engineers and practitioners interested in the advances and business applications of information systems. It is n
Touch of Class: Learning to Program Well with Objects and Contracts
From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding. Meyer builds his presentation on a
Sets, Logic and Maths for Computing
University studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solutions to the specific situation. The tools for developing thes
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 200
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification, CAV 2007, held in Berlin, Germany July 2007 in conjunction with the 14th Workshop on Model Checking Software, SPIN 2007. The
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 – J
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and
GUI Bloopers 2.0: Common User Interface Design Don’ts and Dos
Completely updated and revised version 2.0 of Jeff Johnson’s GUI Bloopers!
Active Directory, Second Edition
Active Directory, 2nd Edition, provides system and network administrators, IT professionals, technical project managers, and programmers with a clear, detailed look at Active Directory for both Windows 2000 and Windows Server 2003. The upgrad
The 30-Second Storyteller: The Art and Business of Directing Commercials
Imagine a job where you need to work only 10 days a year to make $100,000. A job that allows you to be a respected artist, a savvy craftsman, and a hip partygoer who hangs out with celebrities, superstars, and top models. No need to wear a ti