This book constitutes the post conference proceedings of the 5th International IFIP Working Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2011), held in Aalbo
For the sixth consecutive year, the AGILE conference promoted the publication a book collecting high-level scientific contributions from unpublished fundamental scientific research. The papers publish
Nonlinear Model Predictive Control (NMPC) has become the accepted methodology to solve complex control problems related to process industries. The main motivation behind explicit NMPC is that an expli
This book provides a broad introduction to gauge field theories formulated on a space-time lattice, and in particular of QCD. It serves as a textbook for advanced graduate students, and also provides
This book provides a broad introduction to gauge field theories formulated on a space-time lattice, and in particular of QCD. It serves as a textbook for advanced graduate students, and also provides
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereed proceedings of 12 international workshops held in Clermont-Ferrand, France, in conjunction with the 9th International Conference on
Business Intelligence (BI) promises an organization the capability of collecting and analyzing internal and external data to generate knowledge and value, providing decision support at the strategic,
This book originated from several recent workshops and related activities conducted by the IFIP Working Group 7.6 on "Optimization-Based Computer Aided Modeling and Design." This group has been active
This book is a tutorial written by researchers and developers behind the FEniCS Project and explores an advanced, expressive approach to the development of mathematical software. The presentation span
This book contains papers presented at the first Open Source Geospatial Research Symposium held in Nantes City, France, 8-10 July, 2009. It brings together insights and ideas in the fields of Geospati
This book constitutes the refereed proceedings of the 4th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2012. The selection of presentations at the conference encompasses
Complexity, Analysis and Control of Singular Biological Systems follows the control of real-world biological systems at both ecological and phyisological levels concentrating on the application of now
The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010,
Managing safety of diverse systems requires decision-making under uncertainties and risks. Such systems are typically characterized by spatio-temporal heterogeneities, inter-dependencies, externalitie
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in
This book constitutes the proceedings of the first Enterprise Engineering Working Conference (EEWC), held in Antwerp, Belgium, May 16-17, 2011. EEWC aims at addressing the challenges that modern and c
This book constitutes the refereed proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC 2011, held in Yokohama, Japan in December 2011. The 76 revised full papers prese
This volume constitutes the proceedings of the 4th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, held in Oslo, Norway, during November 2-3, 2011. The conference series is a de
This book contains 11 carefully revised and selected papers from the 5th Workshop on Global Sourcing, held in Courchevel, France, March 14-17, 2011. They have been gleaned from a vast empirical base b
This book contains the refereed proceedings of the Second International Conference on Exploring Services Science (IESS) that was held in Geneva, Switzerland, in February 2010. Based on the previous ed
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full pa
This book contains the refereed proceedings of the Second Scandinavian Conference on Information Systems (SCIS), held in Turku, Finland, in August 2011.Inspired by the fact that Turku is the cultural
This book contains the thoroughly refereed and revised best papers from the 6th International Conference on Web Information Systems and Technologies, WEBIST 2010, held in Valencia, Spain, in April 201
This book constitutes the thoroughly refereed conference proceedings of the 4th International Workshop on Business Intelligence for the Real-Time Enterprise, BIRTE 2010, held in Singapore, in Septembe
This book constitutes the thoroughly refereed post-workshop proceedings of nine international workshops held in Hoboken, NJ, USA, in conjunction with the 8th International Conference on Business Proce
This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011.The 14 revised full papers were carefully revised and selected f
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federate
This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011, held in Pohang, South Korea, in June 2011. The 16 revised full papers were carefully r
This book constitutes the proceedings of the 4th EuroSymposium on Systems Analysis and Design, SIGSAND/PLAIS 2011, held in Gdansk, Poland, in September 2011.The objective of this symposium is to promo
This book constitutes the revised selected papers of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2011, held at Tepla Monastery, Czech Republic, in June 2011.The
This book constitutes the refereed proceedings of the 7th International Workshop on Databases in Networked Information Systems, DNIS 2011, held in Aizu-Wakamatsu, Japan in December 2011. The 18 revise
This book contains detailed lecture notes on four topics at the forefront of current research in computational mathematics. Each set of notes presents a self-contained guide to a current research area
Economic agents interact in structural relationships through time and space. This work starts from the empirical observation that all three dimensions, namely time, space, and structural functional fo
This volume comprises the proceedings of the 2010 International Symposium of the ICA Commission on the History of Cartography. The nineteen papers reflect the research interests of the Commission whi
Fracture mechanics is a vast and growing field. This book develops the basic elements needed for both fracture research and engineering practice. The emphasis is on continuum mechanics models for ener
Increasing complexity and performance and reliability expectations make modeling of automotive system both more difficult and more urgent. Automotive control has slowly evolved from an add-on to class
This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The book includes 2
This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melb
This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melb
This book constitutes the refereed proceedings of the 6th International Workshop on Internet Charging and QoS Technologies, ICQT 2011, held in Paris, France, in October 2011 collocated with the 7th In