Electronic Books

Total Books: 741 - 760 /1308

Logic Programming (vol. # 4079)

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

Logic Synthesis for Compositional Microprogram Control Units

In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logical Approaches to Computational Barriers

The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...

Logistics Systems Analysis

This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...

Logistics Systems: Design and Optimization

In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and ...

MEGAFLOW - Numerical Flow Simulation for Aircraft Design

This volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...

MICAI 2006: Advances in Artificial Intelligence

This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial ...

Machine Learning : The Basics / Alexander Jung

Approaches ML as the computational implementation of the scientific principle. This principle consists of continuously adapting ...

Machine Learning and Big Data Analytics Paradigms: Analysis, Applications and Challenges

This book is intended to present the state of the art in research on machine learning and big data analytics. The accepted ...

Machine Learning: ECML 2007

The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...

Machining : Fundamentals and Recent Advances

Machining is one of the most important manufacturing processes. Parts manufactured by others processes often require further ...

Malliavin Calculus for Lévy Processes with Applications to Finance

While the original works on Malliavin calculus aimed to study the smoothness of densities of solutions to stochastic differential ...

Managing Closed-Loop Supply Chains

Introduction Closing supply chains refers to taking care of items once they are no longer desired or can no longer be used ...

Managing Complexity: Insights, Concepts, Applications

Each chapter in Managing Complexity focuses on analyzing real-world complex systems and transferring knowledge from the complex-systems ...

Managing Large-Scale Service Deployment : 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 19th IFIP/IEEE ...

Managing Traffic Performance in Converged Networks

Managing traffic performance is a critical enabler for success. Reaching the desired performance levels requires adapting ...

Managing Weather and Climate Risks in Agriculture

In many parts of the world, weather and climate are one of the biggest production risks and uncertainty factors impacting ...

Total Books: 741 - 760 /1308