As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other...

• Discover the power of Elasticsearch by implementing it in a variety of real-world scenarios such as restaurant and e-commerce search
• Discover...

• Get to grips with Ansible's features such as orchestration, automatic node discovery, and data encryption
• Create data-driven, modular and reusable...

• Learn the inner workings of Bootstrap 3 and create web applications with ease
• Quickly customize your designs working directly with Bootstrap's LESS files
• Leverage Bootstrap's excellent...

• Build Bootstrap projects quickly and easily with Harp.js, Node, and Less
• Learn how to extend Bootstrap with the use of open source JavaScript and icon web font libraries
• Get acquainted with building complex social networking, wiki, and dashboard projects with Bootstrap
...

The challenge today's IT professionals face is not how to build a service. It's how to build a quality service, based on solid design principles and integrated into an architecture that enhances overall business...

• Create interactive web applications using WebRTC
• Get introduced to advanced technologies such as WebSocket and Erlang
• Develop your own secure web applications and services with practical projects
...

• Conceptualize and build state-of-art GUI applications with Tkinter
• Tackle the complexity of just about any size GUI application with a structured and...

In recent years, a large amount of software development activity has migrated from the client to the server. The client-centric model, in which a client executes complex programs to visualize and manipulate data, is no longer considered appropriate for the majority of enterprise applications. The principal reason is deployment—it is a...