This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory...

Excel VBA 24-Hour Trainer, 2^nd Edition is the quick-start guide to getting more out of Excel, using Visual Basic for Applications. This unique book/video package has been updated with fifteen new advanced video lessons, providing a total of...

• Optimize your business information visualization by mastering...

• Construct top-notch web applications with one of the best frameworks based on...

The texts presented in this book trace the rise of culture as a major concern for development, international diplomacy, sustainability and national politics over the past two decades. As a major participant in anthropological field research, advocate for cultural freedom and decision-maker in international programs on culture, the author...

• Learn to apply the breadth of Boost libraries, including containers, smart pointers, regular expressions, threads, network I/O, and other utilities through practical programming...

Chapters in part one focus on the fundamentals and properties of porous...

• Learn about the Sprite Kit engine and create games on the iOS platform from the ground up
• Acquaint your Sprite Kit knowledge with Swift programming and turn your 2D game conceptualization into reality...

• Explore various advanced algorithms and learn how they are used to address many real-world computing challenges
• Construct elegant solutions using impressive techniques including zippers, parsing,...

• Develop a machine learning system with Spark's MLlib and scalable algorithms
• Deploy Spark jobs to various clusters such as Mesos, EC2, Chef, YARN, EMR, and so on
• This is a...

Rectal cancer is one of the most prevalent cancers world-wide. It is also a paradigm for multimodal management, as the combination of surgery, chemotherapy and radiotherapy is often necessary to achieve the optimal outcome. Recently, international experts met in Heidelberg, Germany to discuss the latest developments in the management of...

Build Your Own 2D Game Engine and Create Great Web Games teaches you how to develop your own web-based game engine step-by-step, allowing you to create a wide variety of online videogames that can be played in common web browsers. Chapters include examples and projects that gradually increase in complexity while introducing a...