|
|
|
|
The Secret History of the World: And How to Get Out AliveI suspected something was wrong with the “facts of life” as they were presented to me when I was a kid. Sure, I then spent a little over thirty years trying to be “normal” and make that square peg fit the round hole, “looking for a reason to believe.” But then there was a memorable day when I finally grew up and... | | Ecological Modeling for Resource Management
This book was developed from a workshop on the “Effective Use of
Ecological Modeling in Management,” held in Oak Ridge, Tennessee,
on October 23–26, 2000. The workshop was sponsored by the Department
of Defense’s (DoD’s) Strategic Environmental Research and Development
Program (SERDP), the Army Research... | | 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... |
|
|
|
|
|
Result Page: 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 |