Maths for computer scientists

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Body Area Networks, BodyNets 2021, held in October 2021.

Learn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods.

This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1-3, 2022.

This book gives you a step-by-step introduction to analysing time series using the open source software R.

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.

This book constitutes the refereed conference proceedings of the 11th International Conference on Algorithms and Complexity, CIAC 2019, held in Rome, Italy, in May 2019.

This proceedings constitutes the refereed proceedings of the 15th EAI International Conference on Communications and Networking, ChinaCom 2020, held in November 2020 in Shanghai, China.

This book constitutes the refereed proceedings of the 14th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2025, held in Caen, France, in June 2025.

Integrating concepts from deep learning, machine learning, and artificial neural networks, this highly unique textbook presents content progressively from easy to more complex, orienting its content about knowledge transfer from the viewpoint of machine intelligence.

Randomized search heuristics such as evolutionary algorithms, genetic algorithms, evolution strategies, ant colony and particle swarm optimization turn out to be highly successful for optimization in practice.

This book constitutes the refereed proceedings of the 10th International Symposium on Algorithmic Game Theory, SAGT 2017, held in L'Aquila, Italy, in September 2017.

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.

There are many good Java programming books on the market, but it's not easy to find one fit for a beginner.

This book constitutes the proceedings of the 22nd International Conference on Smart Card Research and Advanced Applications, CARDIS 2023, held in Amsterdam, The Netherlands, during November 14-16, 2023.

This proceedings volume collects contributions from the 5th AIRO Young Workshop and AIRO PhD School 2021 joint event on "e;Optimization and Data Science: Trends and Applications"e;, held online, from February 8 to 12, 2021.

This proceedings constitutes the refereed proceedings of the 16th International Conference on Communications and Networking, ChinaCom 2021, held in November 2021.

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  two volume set LNCS 14422-14423 constitutes the refereed proceedings of the 29th International Conference, COCOON 2023, held in Hawaii, HI, USA, during December 2023.

This three volume set (CCIS 1237-1239) constitutes the proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020, in June 2020.

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.

The two volume set LNAI 10984 and LNAI 10985 constitutes the refereed proceedings of the 11th International Conference on Intelligent Robotics and Applications, ICIRA 2018, held in Newcastle, NSW, Australia, in August 2018.

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers.

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

This book constitutes revised selected papers from the workshops of the 6th Asia-Pacific Web and Web-Age Information Management International Joint Conference on Web and Big Data, APWeb-WAIM 2022: The Fifth International Workshop on Knowledge Graph Management and Applications, KGMA 2022, The Fourth International Workshop on Semi-structured Big Data Management and Applications, SemiBDMA 2022, and The Third International Workshop on Deep Learning in Large-scale Unstructured Data Analytics, DeepLUDA 2022, held in Nanjing, China, in August 2022.

This volume constitutes the refereed proceedings of theSecond International Workshop on Advanced Methodologies for Bayesian Networks,AMBN 2015, held in Yokohama, Japan, in November 2015.

This book constitutes the refereed proceedings of the 14th International Conference on Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 2023.

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

This book covers applications of machine learning in artificial intelligence.

Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics.

This book gives an intuitive and hands-on introduction to Topological Data Analysis (TDA).

This book evolved from notes originally developed for a graduate course, "e;Best Approximation in Normed Linear Spaces,"e; that I began giving at Penn State Uni- versity more than 25 years ago.

This book constitutes the proceedings of the 4th International Conference on Internet of Vehicles, IOV 2017, held in Kanazawa, Japan, in November 2017.

Walter Gautschi has written extensively on topics ranging from special functions, quadrature and orthogonal polynomials to difference and differential equations, software implementations, and the history of mathematics.

This book constitutes the conference proceedings of the 8th International Conference on Algorithmic Decision Theory, ADT 2024, held in New Brunswick, NJ, USA, during October 14-16, 2024.

This book constitutes the proceedings of the 26th Annual Conference on Research in Computational Molecular Biology, RECOMB 2022, held in San Diego, CA, USA in May 2022.

1.

This book puts in one place and in accessible form Richard Berk's most recent work on forecasts of re-offending by individuals already in criminal justice custody.

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Mathematics and Computation in Music, MCM 2022, held in Atlanta, GA, USA, in June 2022.

This book constitutes the proceedings of the 14th International Conference on Queueing Theory and Network Applications, QTNA 2019, held in Ghent, Belgium, in August 2019.

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.

Discover the art and science of solving artificial intelligence problems with Python using optimization modeling.

This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour.

This book constitutes the refereed proceedings of the 10th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2019 held in East Lansing, MI, USA, in March 2019.

The two-volume set LNAI 15875 + 15876 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025 Special Session, held in Sydney, NSW, Australia, during June 10–13, 2025.

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software.

This book constitutes the proceedings of the 16th International Conference on Advanced Data Mining and Applications, ADMA 2020, held in Foshan, China in November 2020.