Electronic Books

Total Books: 221 - 240 /275
978-3-540-89812-2
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...

Continue reading
NoIMG
Reconstruction Designs of Lost Ancient Chinese Machinery

Ancient China was outstanding in mechanical technology before the 15th century. Numerous ingenious machines were invented. ...

Continue reading
978-1-84800-094-0
Research and Development in Intelligent Systems XXIV : Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

They present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...

Continue reading
978-3-540-70590-1
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...

Continue reading
978-3-8348-9536-3
Risk Management in Stochastic Integer Programming : With Application to Dispersed Power Generation

Two-stage stochastic optimization is a useful tool for making optimal decisions under uncertainty. Frederike Neise describes ...

Continue reading
978-3-540-88808-6
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

Continue reading
978-3-319-95129-4
Safety Cultures, Safety Models

The objective of this book is to help at-risk organizations to decipher the “safety cloud”, and to position themselves ...

Continue reading
978-3-540-33161-2
Sampling for Natural Resource Monitoring

The book presents the statistical knowledge and methodology of sampling and data analysis useful for spatial inventory and ...

Continue reading
978-0-387-46276-9
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks

Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks presents the latest research results ...

Continue reading
978-3-540-69281-2
Self-Adaptive Heuristics for Evolutionary Computation

This book introduces various types of self-adaptive parameters for evolutionary computation. Biased mutation for evolution ...

Continue reading
978-1-84800-231-9
Semi-active Suspension Control : Improved Vehicle Ride and Road Friendliness

Semi-active Suspension Control provides an overview of vehicle ride control employing smart semi-active damping systems A ...

Continue reading
978-3-540-89652-4
Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

The book present original research in the field of service oriented computing, from theoretical and foundational results ...

Continue reading
978-0-8176-4606-6
Set-Theoretic Methods in Control

This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...

Continue reading
978-3-540-70504-8
Sharing Data, Information and Knowledge : 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings

The book are organized in topical sections on data mining and privacy, data integration, stream and event data processing, ...

Continue reading
978-3-540-89076-8
Simulation, Modeling, and Programming for Autonomous Robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...

Continue reading
978-3-540-73703-2
Social Multi-Criteria Evaluation for a Sustainable Economy

The real world is characterized by deep complexity. May be a rather unremarkable observation, yet it has important implications ...

Continue reading
978-3-319-74141-3
Socioeconomics of Agriculture

This open access book applies for the first time emerging concepts of socioeconomics to analyse an economic sector, namely ...

Continue reading
978-3-540-76975-0
Stability and Convergence of Mechanical Systems with Unilateral Constraints

Stability of motion is a central theme in the dynamics of mechanical systems. While the stability theory for systems with ...

Continue reading
978-1-84628-471-7
Stabilization of Nonlinear Systems Using Receding-horizon Control Schemes

Dr. Alamir presents a successful approach to this problem based on a co-operation between structural considerations and on-line ...

Continue reading
978-3-540-47764-8
Static Analysis

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

Continue reading
Total Books: 221 - 240 /275