Discrete Mathematics 96

This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in th……続きを見る

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scho……続きを見る

This book constitutes the proceedings of the 32nd Australasian Joint Conference on Artificial Intelligence, AI 2019, held in Adelaide, SA, Australia, in December 2019. The 48 full papers presented i……続きを見る

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of P……続きを見る

The two-volume set of LNCS 11941 and 11942 constitutes the refereed proceedings of the 8th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2019, held in Tezpur, India……続きを見る

This book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA² 2019, held in Kalamata, Greece, in June 2019. The 35 revised full……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2018, held in Nice, France, in September 2018. The 12 papers……続きを見る

This book constitutes the refereed proceedings of the 12th International Conference on Brain Informatics, BI 2019, held in Haikou, China, in December 2019. The 26 revised full papers were carefully ……続きを見る

This book constitutes revised papers from the 6th International Workshop on Graphical Models for Security, GraMSec 2019, held in Hoboken, NJ, USA, in June 2019. The 8 full papers presented in this v……続きを見る

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short p……続きを見る

This book constitutes the refereed proceedings of the First International Symposium on Mathematical and Computational Oncology, ISMCO'2019, held in Lake Tahoe, NV, USA, in October 2019. The 7 full p……続きを見る

The three-volume set of LNCS 11921,11922, and 11923 constitutes the refereed proceedings of the 25th International Conference on the Theory and Applications of Cryptology and Information Security, A……続きを見る

This book constitutes the proceedings of the 20th International Conference on Web Information Systems Engineering, WISE 2019, held in Hong Kong, China, in November 2019. Due to the problems/protests……続きを見る

This book constitutes the refereed proceedings of the 27th International Symposium on Graph Drawing and Network Visualization, GD 2019, held in Prague, Czech Republic, in September 2019. The 42 pape……続きを見る

This book constitutes the refereed proceedings of the 13th International Conference on Scalable Uncertainty Management, SUM 2019, which was held in Compiègne, France, in December 2019. The 25 full, ……続きを見る

The 2017 PIMS-CRM Summer School in Probability was held at the Pacific Institute for the Mathematical Sciences (PIMS) at the University of British Columbia in Vancouver, Canada, during June 5-30, 20……続きを見る

This book explores mathematics in a wide variety of applications, ranging from problems in electronics, energy and the environment, to mechanics and mechatronics. The book gathers 81 contributions s……続きを見る

This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Data Processing, IDP 2016, held in Barcelona, Spain, in October 2016. The 11 revised full papers we……続きを見る

This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Metadata and Semantic Research, MTSR 2019, held in Rome, Italy, in October 2019. The 27 full and 15 ……続きを見る

This introductory book equips the reader to apply the core concepts and methods of network reliability analysis to real-life problems. It explains the modeling and critical analysis of systems and p……続きを見る

This contributed volume collects papers based on courses and talks given at the 2017 CIMPA school Harmonic Analysis, Geometric Measure Theory and Applications, which took place at the University of ……続きを見る

This book constitutes the refereed proceedings of the 15th China Conference on Machine Translation, CCMT 2019, held in Nanchang, China, in September 2019. The 10 full papers presented in this volume……続きを見る

This book provides an overview of network science from the perspective of diverse academic fields, offering insights into the various research areas within network science. The authoritative contrib……続きを見る

This textbook presents the elementary aspects of quantum computing in a mathematical form. It is intended as core or supplementary reading for physicists, mathematicians, and computer scientists tak……続きを見る

How does mathematics impact everyday events? Through concrete examples from business, sport, games, computing, and society, this book explores the mathematics underpinning our everyday lives. The ex……続きを見る

There are many good Java programming books on the market, but it's not easy to find one fit for a beginner. This book simplifies the complexity of Java programming and guides you through the journey……続きを見る

This Handbook presents all aspects of memristor networks in an easy to read and tutorial style. Including many colour illustrations, it covers the foundations of memristor theory and applications, t……続きを見る

Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of si……続きを見る

This quick Julia programming language guide is a condensed code and syntax reference to the Julia 1.x programming language, updated with the latest features of the Julia APIs, libraries, and package……続きを見る

Die Autoren legen beispielhafte Analysemethoden von Social-Media-Daten dar: deskriptive und Data-Mining-Methoden. Mit deren Hilfe werden kundenorientierte Geschäftsmaßnahmen eingeleitet und ein stet……続きを見る