出版社: Springer International Publishing
発売日: 2019年12月13日
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……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月03日
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……続きを見る
This book is dedicated to the systematization and development of models, methods, and algorithms for queuing systems with correlated arrivals. After first setting up the basic tools needed for the s……続きを見る
Noisy optimization is a topic of growing interest for researchers working on mainstream optimization problems. Although several techniques for dealing with stochastic noise in optimization problems ……続きを見る
出版社: Springer International Publishing
発売日: 2018年11月24日
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 22 revised fu……続きを見る
Use Unity-based examples to understand fundamental mathematical concepts and see how they are applied when building modern video game functionality. You will gain the theoretical foundation you need……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月13日
This book constitutes revised and selected papers from the 8th International Conference on Operations Research and Enterprise Systems, ICORES 2019, held in Prague, Czech Republic, in February 2019.
……続きを見る
著者:Anita Wasilewska
出版社: Springer International Publishing
発売日: 2018年11月12日
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science conta……続きを見る
出版社: Springer International Publishing
発売日: 2019年05月07日
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers incl……続きを見る
著者:Michael Borinsky
出版社: Springer International Publishing
発売日: 2018年11月11日
This book is the first systematic study of graphical enumeration and the asymptotic algebraic structures in perturbative quantum field theory. Starting with an exposition of the Hopf algebra structu……続きを見る
出版社: Springer International Publishing
発売日: 2019年04月27日
This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月04日
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2019, and 5th International Conf……続きを見る
出版社: Springer International Publishing
発売日: 2018年11月14日
The Handbook of Dynamic Data Driven Applications Systems establishes an authoritative reference of DDDAS, pioneered by Dr. Darema and the co-authors for researchers and practitioners developing DDDA……続きを見る
出版社: Springer International Publishing
発売日: 2019年01月03日
This book constitutes the proceedings of the 31st Australasian Joint Conference on Artificial Intelligence, AI 2018, held in Wellington, New Zealand, in December 2018.
The 50 full and 26 short paper……続きを見る
出版社: Springer International Publishing
発売日: 2018年12月20日
This book constitutes the thoroughly refereed proceedings of the 8th Joint International Semantic Technology Conference, JIST 2018, held in Awaji, Japan, in November 2018.
The 23 full papers and 6 s……続きを見る
出版社: Springer International Publishing
発売日: 2018年12月14日
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2017, and the Third International Con……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月23日
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 ……続きを見る
出版社: Springer International Publishing
発売日: 2020年02月27日
This book constitutes the thoroughly refereed post-workshop proceedings of the 20th Chinese Lexical Semantics Workshop, CLSW 2019, held in Chiayi, Taiwan, in June 2019.
The 39 full papers and 46 sho……続きを見る
出版社: Springer International Publishing
発売日: 2018年11月01日
This book constitutes the refereed proceedings of the 3rd International Workshop, SAVE-SD 2017, held in Perth, Australia, in April 2017, and the 4th International Workshop, SAVE-SD 2018, held in Lyo……続きを見る
Dieses essential bietet eine Einführung in die theoretischen Grundlagen und Anwendungen der verallgemeinerten Funktionen. Nach zwei typischen Anwendungen verallgemeinerter Funktionen wird die Theori……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月04日
This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republ……続きを見る
This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalizatio……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月03日
This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in cont……続きを見る
The book consists of high-quality papers presented at the International Conference on Computational Science and Applications (ICCSA 2019), held at Maharashtra Institute of Technology World Peace Uni……続きを見る
出版社: Springer International Publishing
発売日: 2020年02月05日
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月30日
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020.
The 1……続きを見る
著者:Wen Xu, Weili Wu
出版社: Springer International Publishing
発売日: 2020年02月01日
This self-contained book describes social influence from a computational point of view, with a focus on recent and practical applications, models, algorithms and open topics for future research. Res……続きを見る
This book explores internet applications in which a crucial role is played by classification, such as spam filtering, recommender systems, malware detection, intrusion detection and sentiment analys……続きを見る
出版社: Springer International Publishing
発売日: 2020年03月20日
The contributions included in the volume are drawn from presentations at ODS2019 – International Conference on Optimization and Decision Science, which was the 49th annual meeting of the Italian Ope……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月27日
This book constitutes the refereed proceedings of the 14th International Conference on Algorithms and Computation, WALCOM 2020, held in Singapore in March/April 2020.
The 23 full and 4 short papers ……続きを見る