Maths for computer scientists

 This proceedings volume convenes selected, revised papers presented at the 52nd Southeastern International Conference on Combinatorics, Graph Theory and Computing (SEICCGTC 2021), virtually held at Florida Atlantic University in Boca Raton, USA, on March 8-12, 2021.

 Das Buch führt in die Grundlagen der technischen Informatik ein und richtet sich generell an Studierende der MINT-Fächer in den ersten Semestern.

This book covers all the topics found in introductory descriptive statistics courses, including simple linear regression and time series analysis, the fundamentals of inferential statistics (probability theory, random sampling and estimation theory), and inferential statistics itself (confidence intervals, testing).

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014.

This book analyzes the generation of the arrow-categories of a given category, which is a foundational and distinguishable Category Theory phenomena, in analogy to the foundational role of sets in the traditional set-based Mathematics, for defi nition of natural numbers as well.

This textbook contains the mathematics needed to study computer science in application-oriented computer science courses.

The first edition of this textbook was published in 2021.

This textbook contains the mathematics needed to study computer science in application-oriented computer science courses.

This book teaches the fundamentals and mathematical formulas of reversible transformations (or transforms) that are used in many source coding and signal processing systems.

This book teaches the fundamentals and mathematical formulas of reversible transformations (or transforms) that are used in many source coding and signal processing systems.

Scientific Computing for Scientists and Engineers is designed to teach undergraduate students relevant numerical methods and required fundamentals in scientific computing.

Facilitate coding in generating geometric motives with a special focus on analyzing their geometric formulations.

Facilitate coding in generating geometric motives with a special focus on analyzing their geometric formulations.

This Element provides a tutorial on the Gillespie algorithms focusing on social multiagent dynamics and also review their recent extensions.

This Element provides a tutorial on the Gillespie algorithms focusing on social multiagent dynamics and also review their recent extensions.

Erzeugende Funktionen sind ein wichtiges Werkzeug in der Kombinatorik und der Theoretischen Informatik.

This book constitutes the proceedings of the Second International Conference on Spatial Data and Intelligence, SpatialDI 2021, which was held during April 22-24, 2021 in Hangzhou, China.

This book constitutes the refereed conference proceedings of the 15th International Conference, ACG 2017, held in Leiden, The Netherlands, in July 2017.

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.

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 outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics.

This book constitutes the refereed proceedings of the Third IFIP WG 1.

This two-volume set LNCS 13344 and 13345 constitutes the proceedings of the 13th International Conference on Advances in Swarm Intelligence, ICSI 2022, which took place in Xi'an, China, in July 2022.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.

 This proceedings volume convenes selected, revised papers presented at the 52nd Southeastern International Conference on Combinatorics, Graph Theory and Computing (SEICCGTC 2021), virtually held at Florida Atlantic University in Boca Raton, USA, on March 8-12, 2021.

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

This book provides an introduction to information theory, focussing on Shannon's three foundational theorems of 1948-1949.

This textbook aims to point out the most important principles of data analysis from the mathematical point of view.

As the first book of a three-part series, this book is offered as a tribute to pioneers in vision, such as Bela Julesz, David Marr, King-Sun Fu, Ulf Grenander, and David Mumford.

This book provides a practical and comprehensive introduction to computational problem solving from the viewpoints of practitioners in both academic and industrial worlds.

This book constitutes the proceedings of the 21st International Conference on Smart Card Research and Advanced Applications, CARDIS 2022, which took place in November 2022.

In this third edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the second edition, and added chapters on systems of counting, area and volume.

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.

This book constitutes the refereed proceedings of the 17th International Conference on Green, Pervasive, and Cloud Computing, GPC 2022, held in Chengdu, China, in December 2022.

The two-volume set LNAI 13588 and 13589 constitutes the refereed post-conference proceedings of the 21st International Conference on Artificial Intelligence and Soft Computing, ICAISC 2022, held in Zakopane, Poland, during June 19-23, 2022.

This book constitutes the refereed proceedings of the 18th European Workshop on Computer Performance Engineering, EPEW 2022, held in Santa Pola, Spain, in September 2022.

This book constitutes the proceedings of the 9th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2023, which was held in Gandhinagar, India, during February 9-11, 2023.

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization, GD 2022, held in Tokyo, Japan, during September 13-16, 2022.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2022, held in Chengdu, China, in August - September 2022.

This Festschrift celebrates Teddy Seidenfeld and his seminal contributions to philosophy, statistics, probability, game theory and related areas.

This book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022.

This book constitutes the refereed proceedings of the 201st International Workshop on Combinatorial Image Analysis, IWCIA 2022, held in Messina, Italy, in July 2022.