...

...

The growing popularity of Web 2.0 applications is increasing user expectations for high-quality website design, presentation, and functionality. It is into this climate that Microsoft is releasing Silverlight 5, the latest iteration of its cross-browser web presentation technology. Beginning Silverlight 5 in C# brings you to the cutting edge of Web 2.0 application design and includes plenty of practical guidance to get you started straight away. Silverlight design tools have important differences compared with those used to create Ajax and javascript functionality. Robert Lair takes you on a tour of all the tools, including:...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 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, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies. From the Back Cover...

The topic of place branding is moving from infancy to adolescence. Many cities, and nations have already established their place brand and this well documented new book brings the fundamentals of place branding together in an academic format but is at the same time useful for practice....

Oxium is a performance oriented synthesizer, offering both a classic pure analog sound and modern tones. with awesome real time modulations capabilities, allowing you to play a synthesizer in ways you could never have imagined....

...

Application allows you to create sql-script installers for MS SQL Server. Main functions:...