Software Abstractions: Logic, Language, and Analysis
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...
XenServer Administration Handbook: Practical Recipes for Successful Deployments
Packed with practical advice, this hands-on guide provides valuable information you need to most effectively optimize and manage the XenServer open source virtualization platform. Whether you run a modest installation of a few blades or multiple global enterprise datacenters, this book focuses on the most critical issues you’re...
Energy Efficient Servers: Blueprints for Data Center Optimization
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...
Develop your very own media applications and services using WebRTC
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...
Tkinter GUI Application Development Blueprints
Master GUI programming in Tkinter as you design, implement, and deliver ten real-world applications from start to finish
About This Book
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...
|Result Page: 9 8 7 6 5 4 3 2 1 |