|
|
|
|
|
Model-Based Software Testing and Analysis with C#This book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. The authors work through several realistic case studies in-depth and detail, using a toolkit built on... | | | | |
|
Embedded System Design: Modeling, Synthesis and Verification
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level... | | Principles of Data Mining (Adaptive Computation and Machine Learning)
The growing interest in data mining is motivated by a common problem across disciplines: how does one store, access, model, and ultimately describe and understand very large data sets? Historically, different aspects of data mining have been addressed independently by different disciplines. This is the first truly... | | Turbopumps and Pumping Systems
This book covers most of the subjects that are requested by engineers, those who are directly involved in design and manufacturing the pumps to those who operate the pumps in industrial units. The authors have worked for many years teaching the subject, conducting research, and implementing pump and pump station designs in different academic... |
|
|
|
Result Page: 53 52 51 50 49 48 47 46 45 44 43 42 41 40 |