The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite(Four areas in one book) This book covers various disciplines in learning and optimization, including perturbation analysis ...
Lire la suiteSTOCHASTIC LINEAR PROGRAMMING: Models, Theory, and Computation is a definitive presentation and discussion of the theoretical ...
Lire la suiteMore and more often practitioners in process industry have to adapt their global production networks to changes in the competitive ...
Lire la suiteThis book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Lire la suiteThis book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
Lire la suiteThis book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Lire la suiteSupply Chain Configuration: Concepts, Solutions, and Applications provides a thorough explanation of the supply chain configuration ...
Lire la suiteSupply Chain Management, Enterprise Resources Planning (ERP), and Advanced Planning Systems (APS) are important concepts ...
Lire la suiteSupply Chain Optimization captures the latest results in a segment of current research activity in supply chain management. ...
Lire la suiteCoverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...
Lire la suiteThe book focuses on system level design issues for reconfigurable SoCs, and provides information on reconfiguration aspects ...
Lire la suiteSystem Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteProvides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
Lire la suiteThis book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Lire la suiteFast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
Lire la suite