If you develop, test, or manage .NET software, you will find .NET Test Automation Recipes: A Problem-Solution Approach very ...
WeiterlesenThis book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; ...
WeiterlesenThis easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
WeiterlesenThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
WeiterlesenThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
WeiterlesenA Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
WeiterlesenA comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous ...
WeiterlesenThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
WeiterlesenThis volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
WeiterlesenThe book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
WeiterlesenA Tester's Guide to .NET Programming focuses solely on applied programming techniques for testers. You will learn how to ...
WeiterlesenThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
WeiterlesenThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
WeiterlesenArtificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
WeiterlesenThis book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
WeiterlesenShows you: how customer and market potential can be automatically identified and profiled; how media planning can be intelligently ...
WeiterlesenThis publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
WeiterlesenThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
WeiterlesenThis volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Weiterlesen