www.ebookic.com

Free Ebook Library

General Programming

Enterprise Information Systems VI

By • 2009-07-01 • Category:General Programming

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

More...



Touch of Class: Learning to Program Well with Objects and Contracts

By • 2009-07-01 • Category:General Programming

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

More...



Sets, Logic and Maths for Computing

By • 2009-07-01 • Category:General Programming

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

More...



Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 200

By • 2009-07-01 • Category:General Programming

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

More...



Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 – J

By • 2009-07-01 • Category:General Programming

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

More...



GUI Bloopers 2.0: Common User Interface Design Don’ts and Dos

By • 2009-07-01 • Category:General Programming

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!

More...



Active Directory, Second Edition

By • 2009-07-01 • Category:General Programming

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

More...



The 30-Second Storyteller: The Art and Business of Directing Commercials

By • 2009-07-01 • Category:General Programming

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

More...