Mathematical theory of computation

This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications.

Autonomous Experimentation is poised to revolutionize scientific experiments at advanced experimental facilities.

This book presents an enticing introduction to tropical circuits and their use as a rigorous mathematical model for dynamic programming (DP), which is one of the most fundamental algorithmic paradigms for solving combinatorial, discrete optimization problems.

The 2nd edition has been thoroughly revised and is intended as a wakeup call in the stagnant and dormant field of switching algebra and logic circuit design.

This textbook explores applications of linear algebra in data science at an introductory level, showing readers how the two are deeply connected.

This book presents an enticing introduction to tropical circuits and their use as a rigorous mathematical model for dynamic programming (DP), which is one of the most fundamental algorithmic paradigms for solving combinatorial, discrete optimization problems.

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.

This book offers a practical approach to modeling real-world discrete systems and performing analysis.

This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory.

This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern education and is the main computer language driving development in science and engineering.

This book complements the authors' monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics).

This book gathers the peer-reviewed proceedings of the 14th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'19, held in Sofia, Bulgaria.

This textbook is a thorough, up-to-date introduction to the principles and techniques that guide the design and implementation of modern programming languages.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.

Mechatronics is a mongrel, a crossbreed of classic mechanical engineering, the relatively young pup of computer science, the energetic electrical engineering, the pedigree mathematics and the bloodhound of Control Theory.

Mechatronics is a mongrel, a crossbreed of classic mechanical engineering, the relatively young pup of computer science, the energetic electrical engineering, the pedigree mathematics and the bloodhound of Control Theory.

In recent years, cosmic rays have become the protagonists of a new scientific revolution.

This book presents a comprehensive treatment of recently developed scalable algorithms for solving multibody contact problems of linear elasticity.

This book complements the authors' monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics).

In this book, various numerical methods are discussed in a comprehensive way.

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.

This book gathers the peer-reviewed proceedings of the 14th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'19, held in Sofia, Bulgaria.

This book highlights recent developments in the field of computer simulation and its application to social dynamics and behaviour.

 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 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 constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013.

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 offers a captivating exploration of the intersection between mathematics, chaos theory, and dynamical systems through the personal journeys of twelve renowned mathematicians and physicists from China, Europe, Russia, and the USA.

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 connects three vibrant areas at the interface between economics and computer science: algorithmic game theory, computational social choice, and fair division.

This book highlights recent developments in the field of computer simulation and its application to social dynamics and behaviour.

This book is one of its own kind.

This book presents interdisciplinary research in the science of Human Cognition through mathematical and computational modeling and simulation.

This textbook provides readers a comprehensive introduction to numerical methods, using MATLAB(R).

Clifford algebra for dual quaternions has emerged recently as an alternative to standard matrix algebra as a computational framework for computer graphics.

This textbook provides readers a comprehensive introduction to numerical methods, using MATLAB(R).

This book is a comprehensive guide that explores the intersection of artificial intelligence and forecasting, providing the latest insights and trends in this rapidly evolving field.

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.

The second edition includes new findings that were only a theory in the first edition, clarifying what is beginning to be proven true.

This textbook introduces quantum computing to readers who do not have much background in linear algebra based on the self-study experience of the author as an engineer.

This book illustrates how to achieve effective dimension reduction and data clustering.

This book is a comprehensive guide that explores the intersection of artificial intelligence and forecasting, providing the latest insights and trends in this rapidly evolving field.

This textbook introduces quantum computing to readers who do not have much background in linear algebra based on the self-study experience of the author as an engineer.