...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,...

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in...

With this hands-on guide, you'll learn how to plan, develop, document, and present a complete AutoCAD project by working on summer cabin--a fun practice project that runs throughout the book. You can follow each step sequentially or...

Visual Basic.NET (VB.NET) is an object-oriented computer programming language that can be viewed as an evolution of the classic Visual Basic (VB),...

This collection contains 81 papers describing innovations in the development of sustainable transportation systems. In the face of ongoing challenges such as traffic congestion, environmental degradation, and rising energy costs, transportation professionals look for new strategies, methods, and technologies to address issues of funding,...

While there are several texts on how to solve and analyze stochastic programs, this is the first text to address basic questions about how to model uncertainty, and how to reformulate a deterministic model so that it can be analyzed in a stochastic setting. This text would be suitable as a stand-alone or supplement for a second course in...

Queries not running fast enough? Tired of the phone calls from frustrated users? Grant Fritchey’s book SQL Server 2012 Query Performance Tuning is the answer to your SQL Server query performance problems. The book is revised to cover the very latest in performance optimization features and techniques. It is current with SQL...

"I would sleep better if I knew that Bernanke, Geithner, Bachus, Sen. Tim Johnson, Obama and Romney all kept dog-eared copies of Kevin Mellyn's Broken Markets on their nightstands. . . . Mellyn's work is a fascinating, important, and eminently good read and should inform the debate on overhauling the U.S. and...

But help has arrived. Economics DeMYSTiFieD is a curriculum-based, self-teaching...