Mathematical Theory of Computation

Theneedforintelligentsystemstechnologyinsolvingreal-lifeproblemshasbeen consistently growing. In order to address this need, researchers in the ?el...

2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. Th...

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in ...

Thisbookcontainsthearticlespresentedatthe11thInternationalConferenceon theSimulationofAdaptiveBehavior(SAB2010),whichwasheldattheMuseum d'Histoire ...

This book constitutes the refereed proceedings of the 16th International Conference on Scalable Uncertainty Management, SUM 2024, held in Palermo, ...

This book constitutes the proceedings of the 24th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, T...

This book constitutes the proceedings of the 24th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, T...

Research in hybrid metaheuristics is now established as a reference ?eld in the areas of optimization and problem solving. Hybrid metaheuristics ha...

Cognitive science arose in the 1950s when it became apparent that anumber of disciplines, including psychology, computer science,linguistics, and p...

The aim of this text is to introduce discrete mathematics to beginning students of mathematics or computer science. It does this by bringing some c...

This textbook offers a guided tutorial that reviews the theoretical fundamentals while going through the practical examples used for constructing t...

This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneerin...

This book constitutes the conference proceedings of the 8th International Conference on Algorithmic Decision Theory, ADT 2024, held in New Brunswic...

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during Oc...

Quantum calculus is the modern name for the investigation of calculus without limits. Quantum calculus, or q-calculus, began with F.H. Jackson in t...

Quantum calculus is the modern name for the investigation of calculus without limits. Quantum calculus, or q-calculus, began with F.H. Jackson in t...

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Informatio...

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Informatio...

Disruptive technologies are gaining importance in healthcare systems and health informatics. By discussing computational intelligence, IoT, blockch...

Fortran remains one of the principal programming languages used in high-performance scientific, numerical, and engineering computing. A series of s...

This book offers a fresh perspective on the study and teaching of the Theory of Computation. The author's selection of topics and the comprehensive...