Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
اقرأ المزيد
Stochastic Learning and Optimization
(Four areas in one book) This book covers various disciplines in learning and optimization, including perturbation analysis ...
اقرأ المزيد
Stochastic Linear Programming
STOCHASTIC LINEAR PROGRAMMING: Models, Theory, and Computation is a definitive presentation and discussion of the theoretical ...
اقرأ المزيد
Strategic Supply Chain Management in Process Industries
More and more often practitioners in process industry have to adapt their global production networks to changes in the competitive ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
اقرأ المزيد
Supercomputing Frontiers
This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
اقرأ المزيد
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
اقرأ المزيد
Supply Chain Configuration
Supply Chain Configuration: Concepts, Solutions, and Applications provides a thorough explanation of the supply chain configuration ...
اقرأ المزيد
Supply Chain Management and Advanced Planning
Supply Chain Management, Enterprise Resources Planning (ERP), and Advanced Planning Systems (APS) are important concepts ...
اقرأ المزيد
Supply Chain Optimization
Supply Chain Optimization captures the latest results in a segment of current research activity in supply chain management. ...
اقرأ المزيد
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...
اقرأ المزيد
System Level Design of Reconfigurable Systems-on-Chip
The book focuses on system level design issues for reconfigurable SoCs, and provides information on reconfiguration aspects ...
اقرأ المزيد
System Modeling and Optimization (vol. # 166)
System Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two ...
اقرأ المزيد
System Modeling and Optimization (vol. # 199)
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
SystemVerilog for Verification
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
اقرأ المزيد
Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings
This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
اقرأ المزيد
Systems, Control, Modeling and Optimization
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
اقرأ المزيد
Taking Your iPod touch to the Max
Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
اقرأ المزيد
