Discrete Mathematics 93

In this popular text for an Numerical Analysis course, the authors introduce several major methods of solving various partial differential equations (PDEs) including elliptic, parabolic, and hyperbo……続きを見る

This book comprises selected peer-reviewed papers presented at the 7th Topical Conference of the Indian Society of Atomic and Molecular Physics, jointly held at IISER Tirupati and IIT Tirupati, Indi……続きを見る

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 dem……続きを見る

This two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, Ch……続きを見る

This two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, Ch……続きを見る

This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full ……続きを見る

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in thi……続きを見る

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this boo……続きを見る

This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular pa……続きを見る

This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he……続きを見る

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on Oct……続きを見る

This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019. The 62 revised full papers and 2 short pap……続きを見る

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in Octo……続きを見る

This book constitutes the refereed proceedings of the First Challenge in Adolescent Brain Cognitive Development Neurocognitive Prediction, ABCD-NP 2019, held in conjunction with MICCAI 2019, in Shen……続きを見る

This book constitutes the refereed proceedings of the Third International Workshop on Connectomics in NeuroImaging, CNI 2019, held in conjunction with MICCAI 2019 in Shenzhen, China, in October 2019……続きを見る

This book constitutes the refereed proceedings of the 4th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2019, held in conjunction with MICCAI 2019, in Shenzhen, Chin……続きを見る

This book constitutes the conference proceedings of the 6th International Conference on Algorithmic Decision Theory, ADT 2019, held in Durham, NC, USA, in October 2019. The 10 full papers presented ……続きを見る

This book constitutes the refereed proceedings of the 6th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2019, held in conjunction with the 22nd International Conference on Medica……続きを見る

This book constitutes the refereed proceedings of the Third International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2019, held in Rome, Italy, in November 2019. The vol……続きを見る

This book constitutes the proceedings of the Second International Workshop on Predictive Intelligence in Medicine, PRIME 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 20……続きを見る

This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Se……続きを見る

This book constitutes extended, revised, and selected papers from the 10th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI……続きを見る

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019. The 24 revised full papers p……続きを見る

The focus of these conference proceedings is on research, development, and applications in the fields of numerical geometry, scientific computing and numerical simulation, particularly in mesh gener……続きを見る

This book constitutes extended, revised and selected papers from the Third East Asia Game Theory International Conference, EAGT 2019, held in Fuzhou, China, in March 2019. The 10 full papers present……続きを見る

This volume presents a selection of research papers on various topics at the interface of statistics and computer science. Emphasis is put on the practical applications of statistical methods in var……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 16th Extended Semantic Web Conference, ESWC 2019, held in Portorož, Slovenia, in June 2019. T……続きを見る

This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019. The 23 full papers presented along with 7 shor……続きを見る

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics. It addresses one of the central i……続きを見る

The two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic Web Conference, ISWC 2019, held in Auckland, New Zealand, in October 2019. The ISWC……続きを見る