 |
|
|
 |  |  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... |  |  CCNA ICND2 640-816 Official Cert Guide (3rd Edition)
New Edition of Best Selling Official Cert Guide: Updated Content, New Exercises, and Expanded Coverage -- PLUS includes CCNA Network Simulator Lite
The new edition of bestselling CCNA ICND2 640-816 Official Cert Guide by Wendell Odom has... |
|
|
 Mobile Opportunistic Networks: Architectures, Protocols and Applications
The widespread availability of mobile devices coupled with recent advancements in networking capabilities make opportunistic networks one of the most promising technologies for next-generation mobile applications. Are you ready to make your mark?
Featuring the contributions of prominent researchers from academia and industry,... |  |  CCNP Security IPS 642-627 Official Cert Guide
Learn, prepare, and practice for exam success
CCNP Security IPS 642-627 Official Cert Guide is a best-of-breed Cisco exam study guide that focuses specifically on the objectives for the CCNP Security IPS exam. Senior security engineers David Burns,... |  |  Digital Imaging for Cultural Heritage Preservation: Analysis, Restoration, and Reconstruction of Ancient Artworks
Paintings, frescoes, antique photographic prints, incunabula, old books, handwritten documents,
sculptures, ceramic fragments, and other ancient manufacts constitute the elements of an extremely
valuable and immense historical patrimony. The digitalization of these treasures opens up the
possibility of using image processing and... |
|
Result Page: 75 74 73 72 71 70 69 68 67 66 65 64 63 62 61 60 |