ASP.NET 2.0 Web Parts in Action: Building Dynamic Web Portals"A must-buy for every ASP.NET developer using Web Parts." Scott Guthrie General Manager Microsoft Developer Division
"Squeezes the full potential out of ASP.NET Web Parts." Andres Sanabria Lead Program Manager ASP.NET and Server Application Frameworks
Using Web Parts, ASP.NET... | | Systems and Software Verification: Model-Checking Techniques and Tools
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical... | | Lightwave 3D 8 Cartoon Character Creation, Volume 1: Modeling & TexturingLightWave 3D is uniquely adapted to speed and ease of use while retaining the power and depth of features that are required for character creation and animation. It’s easy to learn and doesn’t require complex, advanced knowledge to do the basic tasks necessary for character creation. Using LightWave 3D you can create ... |