Green Manufacturing: Fundamentals and Applications introduces the basic definitions and issues surrounding green manufacturing at the process,machine and system (including supply chain) levels. It als
This book offers a systematic introduction to the optimal stochastic control theory via the dynamic programming principle, which is a powerful tool to analyze control problems.First we consider comple
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presen
This book constitutes the refereed proceedings of the 4th International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2014, held in Bergamo, Italy, in October 2014.
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write
This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular Programming, DNA 20, held in Kyoto, Japan, in September 2014. The 10 full papers pres
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark
This book provides readers with the fundamentals necessary for the process understanding thermal spray technology. Each chapter is preceded by a summary which allows each reader to judge the importan
The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and
This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers prese
This book covers the fundamental concepts in signal processing illustrated with Python code and made available via IPython Notebooks, which are live, interactive, browser-based documents that allow on
Fundamentals of Air Cleaning Technology and Its Application in Cleanrooms sets up the theoretical framework for cleanrooms. New ideas and methods are presented, which include the characteristic index
This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/October 2013. The 10 full and 2 keynote talks were car
This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers
This easy-to-follow book provides a student-friendly introduction to programming and algorithms, using an active learning style in which deeper understanding is gained from evaluating, questioning and
The Fundamentals of Atomic and Molecular Physics is intended as an introduction to the field for advanced undergraduates who have taken quantum mechanics. Each chapter builds upon the previous, using
“Proofs and Fundamentals: A First Course in Abstract Mathematics” 2nd edition is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and to s
This book describes the fundamentals of data acquisition systems, how they enable users to sample signals that measure real physical conditions and convert the resulting samples into digital, numeric
This book constitutes the refereed proceedings of the 16th European Conference on Genetic Programming, EuroGP 2013, held in Vienna, Austria, in April 2013 co-located with the Evo* 2013 events, EvoMUSA
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th Interna
Green Manufacturing: Fundamentals and Applications introduces the basic definitions and issues surrounding green manufacturing at the process,machine and system (including supply chain) levels. It als
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presente
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Quebec, Canada, i
This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully revi
This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Great Park, UK, in July/August 2011. The 2
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011
Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verif
Programming languages are often classified according to their paradigms, e.g. imperative, functional, logic, constraint-based, object-oriented, or aspect-oriented. A paradigm characterizes the style,
A handbook of the R statistical programming language, this volume provides a roadmap for the R language and programming environment, pointing readers to further resources and documentation.
This book is the third of a three-volume series written by the same author. It aims to deliver a comprehensive and self-contained account of the fundamentals of the physics of solids. In the presentat
Structured in a problem-solution format, this undergraduate text motivates the student to think through the programming process. New to the second edition are added chapters on suffix trees, games and
50 Years of Integer Programming features talks and panel discussions from the Aussois workshop in 2008, commemorating the cutting-plane algorithm, which transformed the field. Key topics of integer pr
This book provides vital know-how for developing Lamb-wave-based damage identification techniques, addressing fundamentals such as the mechanisms of Lamb wave activation, propagation and acquisition,
"Linear and Nonlinear Programming" is considered a classic textbook in Optimization. While it is a classic, it also reflects modern theoretical insights. These insights provide structure to what migh
Solar irradiation is the fundamental initiator of the different renewable energy alternatives, including wind, wave, hydrogen and biomass energy sources. Solar Energy Fundamentals and Modelling Techn
This book is the first of a three-volume series written by the same author. It aims to deliver a comprehensive and self-contained account of the fundamentals of the physics of solids. In the presentat
Industrial Robots Programming focuses on designing and building robotic manufacturing cells, and explores the capabilities of today s industrial equipment as well as the latest computer and software t
The fundamentals of "supramolecular chemistry" to the latest developments on the subject are covered by this book. It sets out to explain the topic in a relatively easy way. The basi
