|
|
|
|
Formal Models of Operating System KernelsThe work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system specification in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and... | | XSLT 2.0 Programmer's Reference (Programmer to Programmer)XSLT 2.0 Programmer's Reference, 3rd Edition, is the authoritative reference guide to the language. Without using the formal and inaccessible language of the W3C specifications, it tells you exactly what every construct in the language does, and how it is intended to be used. This book is a reference rather than a tutorial; it is... | | |
|
|
The Definitive Guide to Apache MyFaces and FaceletsIn the four years that the Sun, IBM, and MyFaces implementations have been available, the MyFaces project has arguably been the front-runner when it comes to innovation and dexterity. It also is the most responsive to user issues and has a vibrant community that ensures progression (you can always find free support on the mailing lists). With... | | CSS3 Solutions: Essential Techniques for CSS3 Developers
CSS3 is the latest standard for CSS, the syntax to control the style and layout of web pages.
CSS3 is completely backward-compatible, so you will not have to change your existing designs. The CSS3
specification is still under development by the World Wide Web Consortium (W3C). However, many of the
new CSS3 properties... | | jBPM5 Developer Guide
jBPM5 is a well known open source Business Process Management System (BPMS) used for defining and executing business processes. Java developers can use jBPM5 to analyze, improve, and maintain business processes, which are integral to an organization's management. This book guides you through each level of the jBPM5 platform, allowing you... |
|
|
|
Result Page: 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 |