 |
|
|
|
|
 Real Time Programming: Languages, Specification & Verification
The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly... |  |  Dr. Atkins' New Diet Revolution
Weight loss, weight maintenance, good health and disease prevention through the Atkins nutritional approach.
Dr. Atkins' original Diet Revolution helped millions lose weight and maintain their weight loss for life. His sensational follow-up, Dr Atkins' New Diet Revolution, concentrated on total wellness in addition to... |  |  Introduction To Digital Signal Processing: Computer Musically Speaking
This book offers an introduction to digital signal processing (DSP) with an emphasis on audio signals and computer music. It covers the mathematical foundations of DSP, important DSP theories including sampling, LTI systems, the z-transform, FIR/IIR filters, classic sound synthesis algorithms, various digital effects, topics in time and... |
|
| Result Page: 150 149 148 147 146 145 144 143 142 141 140 139 138 137 136 135 134 133 132 |