 |
|
|
|
 The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... | | System Software Reliability (Springer Series in Reliability Engineering)Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many... | | Forensic Computing (Practitioner)Throughout this book you will find that we have consistently referred to the term “Forensic Computing” for what is often elsewhere called “Computer Forensics”. In the UK, however,when we first started up, the name “Computer Forensics” had been registered to a commercial company that was operating in this field... |
|
| | First Steps: Developing BizTalk ApplicationsWhen I first decided to learn about BizTalk, I went to Microsoft’s site and downloaded the 120-day evaluation copy along with all of the available documentation and tutorials. I worked my way through one of the tutorials, and I then purchased a book about BizTalk. Even though the book and the Microsoft documentation were helpful, I still did... | | The Image Processing Handbook, Fifth EditionNow in its fifth edition, John C. Russ's monumental image processing reference is an even more complete, modern, and hands-on tool than ever before. The Image Processing Handbook, Fifth Edition is fully updated and expanded to reflect the latest developments in the field.
A companion CD-ROM to this edition is available and includes more... |
|
| Result Page: 151 150 149 148 147 146 145 144 143 142 141 140 139 138 137 136 135 134 133 |
