Electronic Books

Total Books: 1401 - 1420 /1589

Squeak: Learn Programming with Robots

Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...

Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

Standardization and Quality Assurance in Fluorescence Measurements I : Techniques

This first of two volumes covers basic aspects and various techniques such as steady-state and time-resolved fluorometry, ...

Starting Out with C++ from Control Structures through Objects / Tony Gaddis

covers control structures, functions, arrays, and pointers before objects and classes in Tony Gaddis’s hallmark accessible, ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Static Analysis

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...

Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

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 ...

Total Books: 1401 - 1420 /1589