| This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages. |
|
|
Openvpn: Building And Integrating Virtual Private NetworksOpenVPN is an outstanding piece of software that was invented by James Yonan in the year 2001 and has steadily been improved since then. No other VPN solution offers a comparable mixture of enterprise-level security, usability, and feature richness. We have been working with OpenVPN for many years now, and it has always proven to be the best... | | ALIEN Thinking: The Unconventional Path to Breakthrough Ideas
How do people come up with truly original ideas? The answer is to think outside the box—way outside.
For the past decade, Cyril Bouquet, Jean-Louis Barsoux, and Michael Wade, professors of innovation and strategy at IMD Business School, have studied inventors, scientists, doctors, entrepreneurs, and ... | | 3D Programming for Windows (Pro - Developer)The Windows Presentation Foundation is a key component of .NET Framework 3.0, which is a part of Windows Vista and available for Windows XP. With the Windows Presentation Foundation, 3D images can be displayed regardless of the video-display hardware on the users machine. Focusing on developing user interface objects or simple animations, this book... |
|