Maths for computer scientists

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Learning and Intelligent Optimization, LION 12, held in Kalamata, Greece, in June 2018.

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.

This book includes extended and revised versions of selected papers from the 11th and 12th editions of the International Conference on Operations Research and Enterprise Systems (ICORES 2022 and ICORES 2023).

This textbook is a first introduction to mathematics for music theorists, covering basic topics such as sets and functions, universal properties, numbers and recursion, graphs, groups, rings, matrices and modules, continuity, calculus, and gestures.

This book is designed for a topics course in computational number theory.

This book constitutes the refereed proceedings of the 12th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2022, held in Barnaul, Russia, during May 20-21, 2022.

The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2017, held in Hong Kong, China, in December 2017.

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held in Guilin, China, during July 5-7, 2024.

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024.

?

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Symposium on Graph Drawing, GD 2012, held in Redmond, WA, USA, in September 2012.

This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process.

This book constitutes the refereed proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2020, which was held during September 16-18, 2020.

Today, certain computer software systems exist which surpass the computational ability of researchers when their mathematical techniques are applied to many areas of science and engineering.

Near-Rings and Near-Fields opens with three invited lectures on different aspects of the history of near-ring theory.

Das vorliegende Buch ist eine Einführung in die Grundlagen der mathematischen Optimierung, die sich dadurch auszeichnet, dass diskrete und kontinuierliche Methoden integriert behandelt werden.

This book constitutes the refereed proceedings of the 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, held as a virtual event, in June 2021.

This proceedings, ICAST 2022, constitutes the refereed post-conference proceedings of the 10th International Conference on Advancement of Science and Technology, ICAST 2022, which took place in Bahir Dar, Ethiopia, in November 2022.

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017.

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in Sao Paolo, Brazil, in November-December 2021.

This book constitutes the refereed proceedings of the 15th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2021, which took place in Tianjin, China, during December 17-19, 2021.

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022.

This book constitutes the joint refereed proceedings of the 17th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, the 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017.

IH 2010 was the 12th Information Hiding Conference, held in Calgary, Canada, June 28-30, 2010.

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.

This Festschrift volume is published in honor of Juraj Hromkovic on the occasion of his 60th birthday.

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico.

This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10-11, 2024.

This book constitutes the refereed proceedings of the 13th International Conference on Combinatorics on Words, WORDS 2021, held virtually in September 2021.

This book brings together the best contributions of the Applied Statistics and Policy Analysis Conference 2019.

This is a book guaranteed to delight the reader.

Dieses Buch ist entstanden aus einer vom ersten Autor neu konzipierten Vor­ lesung für Erstsemester der Fächer Informatik und Wirtschaftsinformatik an der Universität Tri er.

Mobile crowdsensing (MCS) is emerging as a novel sensing paradigm in the Internet of Things (IoTs) due to the proliferation of smart devices (e.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020.

The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017.

To large organizations, business intelligence (BI) promises the capability of collecting and analyzing internal and external data to generate knowledge and value, thus providing decision support at the strategic, tactical, and operational levels.

This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.

The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering.

This book constitutes the refereed proceedings of the Third Russian Supercomputing Days, RuSCDays 2017, held in Moscow, Russia, in September 2017.

This book constitutes the proceedings of the 26th International Conference on Information Processing in Medical Imaging, IPMI 2019, held at the Hong Kong University of Science and Technology, Hong Kong, China, in June 2019.

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014.

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020.

This book constitutes the conference proceedings of the 10th International Conference on Network Games, Control and Optimization, NETGCOOP 2020, held in Cargese, Corsica, France, in September 2021*.