This book constitutes the refereed proceedings of the 8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019, held in Gebze, Turkey, in November 2019.
This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.
This volume constitutes the refereed proceedings of the Third International Conference on Optimization and Learning, OLA 2020, held in Cadiz, Spain, in February 2020.
This book introduces readers to the principles of intelligent decision support systems (IDSS) and how to build them with MiniZinc, a free, open-source constraint programming language.
In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book and written new chapters on combinatorics, probability, modular arithmetic and complex numbers.
This book constitutes the thoroughly refereed workshop post-proceedings of the 17th International Workshop on Approximation and Online Algorithms, WAOA 2019, held in Munich, Germany, in September 2019 as part of ALGO 2019.
This book contains extended versions of the best papers presented at the 15th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2019, held in Kherson, Ukraine, in June 2019.
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 two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Italy, in June 2019.
This book constitutes the refereed proceedings of the 14th International Conference on Algorithms and Computation, WALCOM 2020, held in Singapore in March/April 2020.
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 two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Italy, in June 2019.
This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020.
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.
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.
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 analysis.
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.
This book constitutes the refereed proceedings of the 13th International Conference on Scalable Uncertainty Management, SUM 2019, which was held in Compiegne, France, in December 2019.
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.
This volume constitutes the proceedings of the 13th International Conference on Combinatorial Optimization and Applications, COCOA 2019, held in Xiamen, China, in December 2019.
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.
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.
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.
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Data Processing, IDP 2016, held in Barcelona, Spain, in October 2016.
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.
This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.
This book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA2 2019, held in Kalamata, Greece, in June 2019.
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics.
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, ASIACRYPT 2019, held in Kobe, Japan, in December 2019.
This book constitutes the proceedings of the 18th International Conference on Information Technologies and Mathematical Modelling, ITMM 2019, named after A.
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, 2017.
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 Shenzhen, China, in October 2019.
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 Medical Imaging and Computer-Assisted Intervention, MICCAI 2019, in Shenzhen, China, in October 2019.
This practical guidebook describes the basic concepts, the mathematical developments, and the engineering methodologies for exploiting possibility theory for the computer-based design of an information fusion system where the goal is decision support for industries in smart ICT (information and communications technologies).
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, China, in October 2019.
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.
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 2019.
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 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 September 2019.
This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019.
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 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.
