|
|
|
|
Reactive Systems: Modelling, Specification and VerificationFormal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,... | | Community Building on the Web : Secret Strategies for Successful Online CommunitiesThere's been a marked shift in the philosophy of developing successful Web sites. The technologies (HTML, JavaScript, JavaServer Pages) no longer occupy center stage. Rather, functional objectives and the communities that grow up around them seem to be the main ingredient in Web site success. In her carefully reasoned and well-written Community... | | |
|
|
Pathology and Genetics of Tumours of the Lung, Pleura, Thymus and Heart (IARC WHO Classification of Tumours)
This book is an authoritative, concise reference on the histological and genetic typing of tumors of the lung, pleura, thymus and heart. Prepared by 200 authors from 25 countries, it contains more than 670 color photographs, numerous MRIs, ultrasound images, CT scans, charts and approximately 2200 references. Diagnostic criteria, pathological... | | Inside Network Security Assessment: Guarding Your IT InfrastructureAs an IT professional, you need to know how to perform network security assessments. Inside Network Security Assessment: Guarding Your IT Infrastructure is a collection of utilities and templates that will take you through the assessment process. Written by two highly qualified authors with close ties to the... | | |
|
|
|
Result Page: 6 5 4 3 2 1 |