This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International ICST Conference on Sensor Systems and Software, S-Cube 2013, held in Lucca, Italy, 2013. The 8 revise
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International ICST Conference on Security and Privacy in Communication Networks, held in Sydney, Australia, in Sept
This book constitutes the refereed proceedings of the workshops co-located with the 4th International Joint Conference on Ambient Intelligence, AmI 2013, held in Dublin, Ireland, in December 2013. The
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Critical Information Infrastructures Security, CRITIS 2013, held in Amsterdam, The Netherlands, in S
This book constitutes the thoroughly refereed post-proceedings of the seven workshops and the PhD Symposium that were co-located with the 13th International Conference on Web Engineering, ICWE 2013, h
This book constitutes the post-proceedings of the 5th International ICST Conference on Mobile Networks and Management, MONAMI 2013, held in Cork, Ireland, in September 2013. The 18 revised full papers
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Cloud Computing and Services Science, CLOSER 2012, held in Porto, Portugal, in April 2012. The 15 pa
This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spai
This book constitutes the refereed proceedings of the Second CCF Internet Conference of China, ICoC 2013, held in Zhangjiajie, China, in July 2013. The 24 revised full papers presented were carefully
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 201
The R Quick Syntax Reference is a handy reference book detailing the intricacies of the R language. Not only is R a free, open-source tool, R is powerful, flexible, and has state of the art statistica
Proceedings of the First Symposium on Aviation Maintenance and Management collects selected papers from the conference of ISAMM 2013 in China held in Xi’an on November 25-28, 2013. The book presents s
In this book, density functional theory (DFT) is introduced within the overall context of quantum chemistry. DFT has become the most frequently used theory in quantum chemistry calculations. However,
This book presents and discusses the state of the art and future trends in software engineering education. It introduces new and innovative methods, models and frameworks to focus the training towards
Focusing on small and medium-sized second-generation Chinese family businesses, this book presents an excellent analysis of how a family business is different from other forms of organization, especi
The book covers the flux pinning mechanisms and properties and the electromagnetic phenomena caused by the flux pinning common for metallic, high-Tc and MgB2 superconductors. The condensation energy i
The book presents new developments in the dynamic modeling and optimization methods in environmental economics and provides a huge range of applications dealing with the economics of natural resources
This book explores both the possibilities and limits of arguments from human nature in the context of human rights. Can the concept of human nature provide a basis for understanding fundamental rights
This book deals with medieval Jewish authors who wrote in Arabic, such as Moses Maimonides, Judah Halevi, and Solomon Ibn Gabirol, as well as the Hebrew translations and commentaries of Judaeo-Arabic
Value- and risk-oriented management is a holistic method of managing businesses. In this book both actuarial methods and methods pertaining to classical internal control and classical risk management
This book constitutes the refereed proceedings of the 10th International Conference on Distributed Computing and Internet Technology, ICDCIT 2014, held in Bhubaneswar, India, in February 2014. The 29
This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Ad Hoc Networks, ADHOCNETS 2013, held in Barcelona, Spain, in October 2013. The 14 revised full papers
This is the first book to present a systematic review of applications of the Haar wavelet method for solving Calculus and Structural Mechanics problems. Haar wavelet-based solutions for a wide range o
This book addresses analysis of the failure of structural elements, presenting theoretical and practical tools, insight from industry and professional boards worldwide, and real-life examples of the t
The title of this book is a pun on the use of the preposition “onto” with the aim of recalling “Ontology”, the term commonly adopted in the computer science community to indicate the study of the form
This book constitutes the proceedings of the Second International Conference on Citizen Sensor Networks, CitiSens 2013, held in Barcelona, Spain, in September 2013. The 8 papers presented in this volu
This book is designed to introduce law students, legal actors and human rights activists, particularly participants in human rights dialogues with China, to the process and reality of a newly confiden
The subject of this book is an analysis of the business models developed or adopted by Chinese small and medium sized enterprises (SMEs), specifically those that are successfully listed on China’s cap
This book covers modern subjects of mechanical engineering such as nanomechanics and nanotechnology, mechatronics and robotics, computational mechanics, biomechanics, alternative energies, sustainabil
This book constitutes revised selected papers from the First Annual Privacy Forum, APF 2012, held in Limassol, Cyprus, in October 2012. The 13 revised papers presented in this volume were carefully re
This book presents recent research in mobile learning and advanced user interfaces. It is shown how the combination of these fields can result in personalized educational software that meets the requi
This book tackles the Optimal Non-Linear Experimental Design problem from an applications perspective. At the same time it offers extensive mathematical background material that avoids technicalities,
The book describes procedures used in proportional representation systems to translate vote counts into seat number. Includes such detailed examples as member states elections for the 2009 European Pa
A certain curious feature of random objects, introduced by the author as “super concentration,” and two related topics, “chaos” and “multiple valleys,” are highlighted in this book. Although super con
This book is a collection of papers that address a fundamental question: What is the role of civil justice and civil procedure in the various national traditions in the contemporary world? The book pr
This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view
The main purpose of this book is to provide a simple and accessible introduction to the mixed finite element method as a fundamental tool to numerically solve a wide class of boundary value problems a
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau,
This engaging and accessible book presents a set of representative concepts connected by the theme of information security, demonstrating how each allows us to solve real problems. The discussions are
