 |
|
 Information Sharing on the Semantic Web
The rapid progress of the “information society” in the past decade has been made possible by the removal of many technical barriers. Producing, storing, and transporting information in large quantities are no longer significant problems.
Producing on-line, digitized information is no longer a problem. Ever more of our... | | | | Rheumatology and Immunology Therapy: A to Z Essentials
Entries in a practical A to Z Format
Highly therapy-focused
Uniform and clearly arranged entries for ease of reference
Comprehensive information on symptoms and therapeutical possibilities of rheumatologic and musculoskeletal diseases as well as drugs
Written by leading experts in the field ... |
|
|
General ultrasound in the critically ill
Written by an intensivist familiar with ultrasound, this book describes a new clinical tool: ultrasound for the intensive care and emergency physician. It specifically details findings of immediate clinical relevance throughout its pages. This volume is not only an exhaustive atlas dealing with the most variable aspects of the critically ill... | | Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... | | Component-Based Software Testing with UMLComponent-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional... |
|
Analyzing Computer Systems Performance: With Perl: PDQAnalyzing computer system performance is often regarded by most system administrators, IT professionals and software engineers as a black art that is too time consuming to learn and apply. Finally, this book by acclaimed performance analyst Dr. Neil Gunther makes this subject understandable and applicable through programmatic examples. The means... | | A Theory of Distributed ObjectsDistributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems.
Caromel and Henrio are the first to define a calculus for distributed... | | Best Practices in Software MeasurementThe software business is challenging enough without having to contend with recurring errors. One way repeating errors can be avoided is through effective software measurement. In this volume, Ebert and his co-authors offer practical guidance built upon insight and experience. They detail knowledge and experiences about software measurement in an... |
|
| Result Page: Previous 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 Next |
