Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsThis volume constitutes the proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the first IJCAR in Siena, Italy in 2001, which brought together different research communities working in automated reasoning.
... | | 19 Deadly Sins of Software Security (Security One-off)This essential book for all software developers--regardless of platform, language, or type of application--outlines the “19 deadly sins” of software security and shows how to fix each one. Best-selling authors Michael Howard and David LeBlanc, who teach Microsoft employees how to secure code, have partnered with John Viega, the man... | | Microsoft Windows Vista Visual EncyclopediaIf you prefer to see what things look like and how to perform a task, instead of just being told, this is your ideal A to Z reference. Part I shows every Windows Vista tool and how to use it. Part II provides step-by-step instructions for more than 140 key tasks and techniques. Both are arranged alphabetically and illustrated in full color. It's... |