About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In...
We wrote this book because we love games. We also love sound and music, and we love what they
can bring to games to make them thrilling, involving, and moving. We want you to be able to
try out your sound and your music in a real game. For a book whose examples are based exclusively
around one piece of software, it may appear...
When the first edition of this book was published, the idea of combining a text on digital
design with one on VHDL seemed novel. At about the same time, several other books
with similar themes were published. This book has now been adopted by several universities
as a core text. Moreover, the first edition has now been translated into...
A company’s most important asset next to its people is its
information.
This information includes intellectual property,
company
financial information, confidential employee information,
customer information, and so much more. Company
information
may be stored in databases, spreadsheets, flat files,
and so on. Loss of...
APIs are a big deal and they are getting bigger. Pioneering companies such as Google,
Facebook, Apple, and Twitter have exposed amazing technological solutions to the
public, transforming existing businesses and creating new industries. Central to these
companies’ successes are the APIs that link people and...
NuGet is a free, open source, package management tool for the .NET platform. It is developed by Microsoft and has been contributed to the ASP.NET Gallery on Outercurve Foundation, formerly known as the Codeplex Foundation. It also ships as part of the ASP.NET MVC 3 tooling. NuGet enables .NET developers to easily find packages, including any...
In response to the success of the first edition of Foundation Game Design with Flash, Rex van der Spuy has revised and updated all the code to meet current programming best practices, and the focus is now on accurate ActionScript 3.0, regardless of the IDE that you use.
Today, we live in an increasingly data-centric and data-driven world. We live in a world where companies like Amazon track every item we view and every item we purchase so as to recommend similar products to us. We live in a world where companies like Google store every search query thrown at them so as to recommend better search queries in...
Business intelligence and data warehousing projects can be challenging and complex.
Dealing with new technologies, processes, and different stakeholders presents an array of potential problems. To aid the project manager, there are recipes about project definition, scope, control, and risk management. Requirements, design, data analysis,...
I’m very happy that Itzik has managed to find the time and energy to produce a book
about T-SQL fundamentals. For many years, Itzik has been using his great Microsoft
SQL Server teaching, mentoring, and consulting experience to write books on advanced
programming subjects, leaving a significant gap not only...
The purpose of this book is to collect and to present the results of theoretical and empirical research
into various aspects of Knowledge Management (KM), innovation and, especially, the conjunction of
KM and innovation. To this end, chapters are included from both academics and practitioners, and the
contributions represent...
