|
|
|
|
|
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... | | | | |
|
|
Symbian OS C++ for Mobile PhonesProgramming Symbian OS is a key skill for mass market phone application development. Whether you are developing a services for shipping mobile phones, or involved in pre-market mobile phone development, this book will help you unde fundamental theory behind developing Symbian OS C++ code for constrained devices.
• A... | | | | |
|
|
Result Page: 149 148 147 146 145 144 143 142 141 140 139 138 137 136 |