Home | Amazing | Today | Tags | Publishers | Years | Search 
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury
The fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.

Kent is
...
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

...
Web Database Applications with PHP & MySQL, 2nd Edition
Web Database Applications with PHP & MySQL, 2nd Edition

This new edition has been redesigned around the rich offerings of PEAR. Several of these, including the Template package and the database-independent query API, are fully integrated into examples and thoroughly described in the text. In addition, through a complex sample application--Hugh and Dave's Wine Store--all the important...

AutoCAD 2005 and AutoCAD LT 2005: No Experience Required
AutoCAD 2005 and AutoCAD LT 2005: No Experience Required

AutoCAD 2005 and AutoCAD LT 2005: No Experience Required is your step-by-step introduction to the latest versions of AutoCAD and AutoCAD LT, the world’s leading customizable CAD software. Inside this perfectly-paced guide are the clear-cut explanations and practical tutorials that you need to complete even the most elaborate...

Hardening Apache
Hardening Apache

A must-read for any system administrator installing or currently using Apache, Hardening Apache shows you exactly what to do to make Apache more secure. Throughout this book, renowned author Tony Mobily introduces you to many of the security problems you’ll inevitably stumble across when using Apache---and most important,...

Beginning C# Objects: From Concepts to Code
Beginning C# Objects: From Concepts to Code

Beginning C# Objects: From Concepts to Code is a comprehensive yet approachable guide for anyone interested in learning the C# language, beginning with the basics.

To begin, this book addresses the two fundamental concepts that programmers must grasp in order to write a professional object-oriented C# application: the nature and...

Shadows of War: Violence, Power, and International Profiteering in the Twenty-First Century (California Series in Public Anthropology, 10)
Shadows of War: Violence, Power, and International Profiteering in the Twenty-First Century (California Series in Public Anthropology, 10)
"This should be made into a movie!"-Katia Lund, Co-director of City of God "Carolyn Nordstrom destroys the categories through which we normally look at war. This is a major achievement. Her eyewitness reporting, when contrasted with the official histories later compiled of the same events, is a revelation. The amount of...
The Mobile Connection: The Cell Phone's Impact on Society
The Mobile Connection: The Cell Phone's Impact on Society
Rich Ling provides a compelling examination of the real impact of mobile telephony. It's not about technology, it's about people. We need more of these kinds of studies.
--Don Norman, Co-Founder, Nielsen Norman Group and author of Emotional Design

This book combines scientific rigor, penetrating insight, and attention to an
...
The Philosophy of Money
The Philosophy of Money

'I have lost interest ... in all that I have written prior to The Philosophy of Money. This one is really my book, the others appear to me colourless and seem as if they could have been written by anyone else.' - Georg Simmel to Heinrich Rickert (1904)

In
...

Supporting Users and Troubleshooting Desktop Applications on a Windows® XP Operating System Exam Cram™ 2 (Exam 70-272)
Supporting Users and Troubleshooting Desktop Applications on a Windows® XP Operating System Exam Cram™ 2 (Exam 70-272)
The new Microsoft Certified Desktop Support Technician (MCDST) credential proves that you have the skills to successfully support end users and successfully troubleshoot desktop environments running on Windows XP. MCDST candidates must pass two core exams (70-271 and 70-272). The 70-272 exam, when combined with the 70-271 (the operating system...
MCSE: Windows Server 2003 Network Security Design Study Guide (Exam 70-298)
MCSE: Windows Server 2003 Network Security Design Study Guide (Exam 70-298)

Microsoft’s Microsoft Certified Systems Administrator (MCSA) and Microsoft Certified Systems Engineer (MCSE) tracks for Windows Server 2003 are the premier certifications for computer industry professionals. Covering the core technologies around which Microsoft’s future will be built, this program provides...

MCSA/MCSE 70-299 Exam Cram 2 : Implementing and Administering Security in a Windows 2003 Network
MCSA/MCSE 70-299 Exam Cram 2 : Implementing and Administering Security in a Windows 2003 Network
The 70-299 exam measures your ability to implement, manage, maintain, and troubleshoot security in a Windows Server 2003 network infrastructure and also plan and configure a Windows Server 2003 PKI. The MCSE 70-299 Exam Cram 2 gives you the essential information you need to know to learn how to implement, manage,...
Result Page: Previous 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 Next 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy