Unifying Theories of Programming and Formal Engineering Methods 
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems,...
Price: $59.64 | Publisher: Springer | Release: 2013
Agent-Oriented Software Engineering XIII
by Jorg P. Muller, Massimo Cossentino
This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. Th...
Price: $53.00 | Publisher: Springer | Release: 2013
OpenGL Programming Guide, 8th Edition
by Dave Shreiner, Graham Sellers, John M. Kessenich, Bill M. Licea-Kane
Today's OpenGL software interface enables programmers to produce extraordinarily high-quality computer-generated images and interactive applications using 2D and 3D objects, color images, and programmable shaders.OpenGL Programming Guide: The Official Guide to Learning OpenGL, Version 4.3, Eighth Edition, has been almost completely rewritten and provides definitive, comprehensive information on OpenGL ...
Price: $6.69 | Publisher: Addison-Wesley | Release: 2013
Executable Specifications with Scrum
by Mario Cardinal
Most books about specifications still assume that requirements can be known up front and won't change much during your project. In today's "real world," however, you must specify and build software in the face of high and continuing uncertainty. Scrum and other agile methods have evolved to reflect this reality. Now, there's a complete guide to specifying software in agile environme...
Price: $27.99 | Publisher: Addison-Wesley | Release: 2013
Learn Python the Hard Way, 3rd Edition
by Zed A. Shaw
Zed Shaw has perfected the world's best system for learning Python. Follow it and you will succeed-just like the hundreds of thousands of beginners Zed has taught to date! You bring the discipline, commitment, and persistence; the author supplies everything else.In Learn Python the Hard Way, 3rd Edition, you'll learn Python by working through 52 brilliantly crafted exercises. Read them. Type their...
Price: $8.12 | Publisher: Addison-Wesley | Release: 2013
by Tom DeMarco, Tim Lister
Few books in computing have had as profound an influence on software management as Peopleware. The unique insight of this longtime best seller is that the major issues of software development are human, not technical. They're not easy issues; but solve them, and you'll maximize your chances of success.For this third edition, the authors have added six new chapters and updated the text throughout, ...
Price: $27.99 | Publisher: Addison-Wesley | Release: 2013
by Tao Liu
Extend your C# skills to F# - and create data-rich computational and parallel software components faster and more efficiently. Focusing on F# 3.0 and Microsoft Visual Studio 2012, you'll learn how to exploit F# features to solve both computationally-complex problems as well as everyday programming tasks.Topics include: C# and F# data structures; F# for functional, object-oriented, and imperative progra...
Price: $29.95 | Publisher: Microsoft Press | Release: 2013
Exam Ref 70-483: Programming in C#
by Wouter de Kort
Prepare for Microsoft Exam 70-483 - and help demonstrate your real-world mastery of programming in C#. Designed for experienced software developers ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the Microsoft Specialist level....
Price: $6.97 | Publisher: Microsoft Press | Release: 2013
Exam Ref 70-484: Essentials of Developing Windows Store Apps Using C#
by Indrajit Chakrabarty
Prepare for Microsoft Exam 70-484 - and help demonstrate your real-world mastery of programming Windows Store apps using C#. Designed for experienced software developers ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the MCSD level....
Price: $23.87 | Publisher: Microsoft Press | Release: 2013
Introducing Windows Server 2012 R2
by Mitch Tulloch
Get a head start evaluating Windows Server 2012 R2 - with technical insights from a Microsoft MVP and members of the Windows Server product team. Based on final Windows Server 2012 R2 release-to-manufacturing (RTM) software, this guide introduces new features and capabilities, with scenario-based advice on how the platform can meet the needs of your business. Get the high-level overview you need to begin pr...
Price: $73.11 | Publisher: Microsoft Press | Release: 2013