Discrete Mathematics 92

This book constitutes the refereed proceedings of the 5th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2019, held in Ho Chi Minh City, Vietnam, in August 2019……続きを見る

This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019, hel……続きを見る

Mathematical modelling and simulation is an increasingly powerful area of mathematics and computer science, which in recent years has been fuelled by the unprecedented access to larger than ever sto……続きを見る

This book presents examples of and the latest simulation studies on artificial societies and populations, highlighting innovative implementations of various models of artificial societies and popula……続きを見る

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019. The 14 full papers presented were……続きを見る

This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intelligence, KI 2019, held in Kassel, Germany, in September 2019. The 16 full and 10 short papers presente……続きを見る

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers……続きを見る

This book constitutes the proceedings of the 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, held in Olslo, Norway, in September 2019. The 16 revised full paper……続きを見る

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these……続きを見る

Heterogeneous Computing Architectures: Challenges and Vision provides an updated vision of the state-of-the-art of heterogeneous computing systems, covering all the aspects related to their design: ……続きを見る

The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the 28th International Conference on Artificial Neural Networks, ICANN 2019, held in Munich, Germany, in ……続きを見る

This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in ……続きを見る

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019. The 29 full papers p……続きを見る

This book constitutes the joint refereed proceedings of the 19th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2019, and the 12th C……続きを見る

This book constitutes the refereed proceedings of the 13th International Conference on Flexible Query Answering Systems, FQAS 2019, held in Amantea, Italy, in July 2019. The 27 full papers and 10 sh……続きを見る

This book features original research articles on the topic of mathematical modelling and fractional differential equations. The contributions, written by leading researchers in the field, consist of……続きを見る

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a n……続きを見る

***Modeling Fixed Income Securities and Interest Rate Options, Third Edition***presents the basics of fixed-income securities in a way that, unlike competitive texts, requires a minimum of prerequis……続きを見る

This volume contains lecture notes of the 15th Reasoning Web Summer School (RW 2019), held in Bolzano, Italy, in September 2019. The research areas of Semantic Web, Linked Data, and Knowledge Graphs……続きを見る

This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019. The 14 full pap……続きを見る

Ein Buch über die Unendlichkeit Wer glaubt, dass sich Rechnen auf trockene Formeln und Zahlen beschränkt, wird mit „Aspekte des Unendlichen – Eine kleine Erzählung für Nichtmathematiker“ sein blaues……続きを見る

This book gathers selected contributions presented at the INdAM Workshop “DREAMS”, held in Rome, Italy on January 22ー26, 2018. Addressing cutting-edge research topics and advances in computer aided……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. T……続きを見る

This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019……続きを見る

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP s……続きを見る

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, i……続きを見る

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, Oct……続きを見る

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. ……続きを見る

This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a numb……続きを見る

Dieses Lehrbuch gibt in kompakter Form und mit lockerem Stil einen ersten Überblick über zentrale Bereiche der diskreten Mathematik. Es ist zur Verwendung im ersten und zweiten Semester mathematisch……続きを見る