This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.
This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017.
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.
This book constitutes the refereed proceedings of the 20th International Conference on Distributed and Computer and Communication Networks, DCCN 2017, held in Moscow, Russia, in September 2017.
This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017.
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
This book constitutes the refereed proceedings of the 10th International Symposium on Algorithmic Game Theory, SAGT 2017, held in L'Aquila, Italy, in September 2017.
This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.
This book constitutes the refereed proceedings of the 11th International Conference on Combinatorics on Words, WORDS 2017, held in Montreal, QC, Canada, in September 2017.
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.
This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017.
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.
This book constitutes the refereed proceedings of the 5th International Castle Meeting on Coding Theory and Applications, ICMCTA 2017, held in Vihula, Estonia, in August 2017.
This book constitutes the thoroughly refereed proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2017, held in Vienna, Austria, in September 2017.
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.
The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017.
The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017.
The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017.
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017.
This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.
This book theoretically and practically updates major economic ideas such as demand and supply, rational choice and expectations, bounded rationality, behavioral economics, information asymmetry, pricing, efficient market hypothesis, game theory, mechanism design, portfolio theory, causality and financial engineering in the age of significant advances in man-machine systems.
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.
This book offers a theoretical and computational presentation of a variety of linear programming algorithms and methods with an emphasis on the revised simplex method and its components.
This book is concerned with computing in materio: that is, unconventional computing performed by directly harnessing the physical properties of materials.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.
This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.
This book explores Probabilistic Cellular Automata (PCA) from the perspectives of statistical mechanics, probability theory, computational biology and computer science.
This book constitutes the refereed proceedings of the Second Conference on Creativity in Intelligent Technologies and Data Science, CIT&DS 2017, held in Volgograd, Russia, in September 2017.
This textbook for graduate and advanced undergraduate students presents the theory of matrix algebra for statistical applications, explores various types of matrices encountered in statistics, and covers numerical linear algebra.
The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017.
The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017.
This book constitutes revised selected papers from the 8th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2017, held in Paris, France, in April 2017.
This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017.
This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017.
This volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical Computer Science and Discrete Mathematics, held in Krishnankoil, India, in December 2016.
This textbook is aimed at computer science undergraduates late in sophomore or early in junior year, supplying a comprehensive background in qualitative and quantitative data analysis, probability, random variables, and statistical methods, including machine learning.
This book constitutes the refereed proceedings of the 15th International Symposium on Spatial and Temporal Databases, SSTD 2017, held in Arlington, VA, USA, in August 2017.
This highly comprehensive handbook provides a substantial advance in the computation of elementary and special functions of mathematics, extending the function coverage of major programming languages well beyond their international standards, including full support for decimal floating-point arithmetic.
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing.
