Discrete Mathematics 98

This easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic point of view, with a particular focus on applications of analysis and aspects of ……続きを見る

Parameterized Complexity in the Polynomial Hierarchy was co-recipient of the E.W. Beth Dissertation Prize 2017 for outstanding dissertations in the fields of logic, language, and information. This w……続きを見る

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented togethe……続きを見る

This book contains revised and extended versions of selected papers from the 8th International Conference on Pattern Recognition, ICPRAM 2019, held in Prague, Czech Republic, in February 2019. The 2……続きを見る

This book constitutes the refereed post-conference proceedings of the 25th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2018, held in Ma'ale HaHamisha, Is……続きを見る

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, U……続きを見る

The two-volume set LNBI 11465 and LNBI 11466 constitutes the proceedings of the 7th International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2019, held in Granada, Spain, i……続きを見る

Gain the R programming language fundamentals for doing the applied statistics useful for data exploration and analysis in data science and data mining. This book covers topics ranging from R syntax ……続きを見る

The book comprises contributions by some of the most respected scientists in the field of mathematical modeling and numerical simulation of the human cardiocirculatory system. It covers a wide range……続きを見る

This book introduces new methods to analyze vertex-varying graph signals. In many real-world scenarios, the data sensing domain is not a regular grid, but a more complex network that consists of sen……続きを見る

This book constitutes the refereed proceedings of the 4th China Conference on Knowledge Graph and Semantic Computing, CCKS 2019, held in Hangzhou, China, in August 2019. The 18 revised full papers p……続きを見る

This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this……続きを見る

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short ……続きを見る

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validat……続きを見る

This book offers an organized and systematic approach to poset metrics and codes. Poset metrics, or metrics on a vector field determined by a partial order over a finite set, were first introduced i……続きを見る

This book collects the revised selected proceedings of the First International Symposium in Molecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in December 2018. T……続きを見る

L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei……続きを見る

This book constitutes the proceedings of the 6th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2020, held in Hyderabad, India, in February 2020. The 38 papers prese……続きを見る

This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the ……続きを見る

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Web and Internet Economics, WINE 2018, held in Oxford, UK, in December 2018. The 28 full papers pres……続きを見る

This textbook on combinatorial commutative algebra focuses on properties of monomial ideals in polynomial rings and their connections with other areas of mathematics such as combinatorics, electrica……続きを見る

The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and……続きを見る

This book constitutes the refereed joint proceedings of the First International Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2018, the First International Workshop on Deep Learning Fa……続きを見る

This Festschrift is in honor of Mario de Jesús Pérez-Jiménez, Professor in the Department of Computer Science of University of Seville, Spain, on the occasion of his 70th birthday. The title of this……続きを見る

This book constitutes the refereed proceedings of the 20th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2019, held in Ann Arbor, MI, USA, in May 2019. The 33 ……続きを見る

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validat……続きを見る

This book constitutes the refereed proceedings of the 22nd International Conference on Distributed and Computer and Communication Networks, DCCN 2019, held in Moscow, Russia, in September 2019. The ……続きを見る

This volume constitutes the proceedings of the 13th International Conference on Combinatorial Optimization and Applications, COCOA 2019, held in Xiamen, China, in December 2019. The 49 full papers p……続きを見る

Based on talks from the 2017 and 2018 Combinatorial and Additive Number Theory (CANT) workshops at the City University of New York, these proceedings offer 17 peer-reviewed and edited papers on curr……続きを見る

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply r……続きを見る