In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics.  Explanantion...

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics....

The multi-volume Encyclopedia of Database Systems provides easy access to relevant information on all aspects of very large databases, data management, and database systems. Over 1,400 illustrated essays and definitional entries, organized alphabetically, present basic terminology, concepts, methods and data processing...

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for...

The Moon is very far from Earth. Yet, scientists have been able to get satellites, shuttles, and other spacecraft into space and a few manned spacecraft to land on the Moon. "How Does a Spacecraft Reach the Moon?" reveals the science behind propulsion and the energy it takes to get large craft into space. Colorful photographs and...

Rutgers professor, Dr. Isaac Gottlieb demonstrates an array of advanced financial and accounting functions in this practical Excel modeling book. He shows how to quickly create models that deliver accurate, relevant information related to efficiency, forecasting, and a host of other business and reporting issues. This book describes how Excel...

Perfect for power users, this practical resource reveals how to maximize the features and functionality of Excel 2007. You'll get in-depth details on Excel VBA programming and application development followed by 21 real-world projects--complete with source code--that show you how to set up...

If you need a practical, hands-on introduction to Microsoft SQL Server 2008 Integration Services (SSIS), this book and video package from foremost SSIS authority Brian Knight gets you thoroughly up to speed. Each lesson in the book...

After an overview of SSIS...