Schlagwort Mathematik / Informatik, Computer – alle Bücher, Seite 4

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science - Band 15980

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science - Band 16145

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16032

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

lieferbar innerhalb 2-3 Wochen

Buch

Business Process Management

Lecture Notes in Computer Science - Band 16044

This book constitutes the refereed proceedings of the 23rd International Conference on Business Process Management, BPM 2025, which took place in Seville, Spain, in September 2025.The 30 full papers inclu…

lieferbar innerhalb 2-3 Wochen

Buch

Cellular Automata and Discrete Complex Systems

Lecture Notes in Computer Science - Band 15831

.- Determination of platelets properties in blood: combining discrete numerical models with experiments..- Searching for Attractors : To infinity and beyond..- Cellular automata and percolation: an overvi…

sofort lieferbar

Buch

Combinatorics, Graph Theory and Computing

Springer Proceedings in Mathematics & Statistics - Band 448

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 Florid…

lieferbar innerhalb 2-3 Wochen

Buch

Components Operationally: Reversibility and System Engineering

Lecture Notes in Computer Science - Band 16065

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to …

sofort lieferbar

Buch

Computational Collective Intelligence

This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Collective Intelligence

This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Social Science of Social Cohesion and Polarization

This is an open access book. What holds societies together---and what drives them apart? As worry over political polarization and social cohesion intensifies across the globe, this volume explores timely …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Algebra in Scientific Computing

Lecture Notes in Computer Science - Band 16235

This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 2…

lieferbar innerhalb 2-3 Wochen

Buch

Computer and Communication Engineering

Communications in Computer and Information Science - Band 2642

This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23--25, 2025.The 12 full papers i…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Lecture Notes in Computer Science - Band 15955

.- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). .- An end-to-end testbed for communication, compute, and control co-design: th…

lieferbar innerhalb 2-3 Wochen

Buch

Conceptual Knowledge Structures

Lecture Notes in Computer Science - Band 15941

This book constitutes the refereed proceedings of the Second International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2025, held in Cluj-Napoca, Romania, during September 8--12, 2025.Th…

lieferbar innerhalb 2-3 Wochen

Buch

Concurrent Programming, Open Systems and Formal Methods

Lecture Notes in Computer Science - Band 16120

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen

Buch

Developments in Language Theory

Lecture Notes in Computer Science - Band 16036

This LNCS conference volume constitutes the proceedings of the29th International Conference on Developments in Language Theory, DLT 2025, in Seoul, South Korea, in August 2025.The 18 full papers and 2 inv…

sofort lieferbar

Buch

Digitalisation and Artificial Intelligence Using Mathematical and Computational Approaches

This book is a collection of selected papers presented at the 28th FAI International Conference on Digitalisation and Artificial Intelligence Revolution in Business Management (28th FAI-DAIRBM 2024), held…

lieferbar innerhalb 2-3 Wochen

Buch

Discrete Geometry and Mathematical Morphology

Lecture Notes in Computer Science - Band 16296

This book constitutes the refereed proceedings of the 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, DGMM 2025, held in Groningen, The Netherlands, during November 3-…

lieferbar innerhalb 2-3 Wochen

Buch

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

Lecture Notes in Computer Science - Band 15936

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during…

sofort lieferbar

Buch

Flexible Query Answering Systems

Lecture Notes in Computer Science - Band 16119

This book constitutes the refereed proceedings of the 16th International Conference on Flexible Query Answering Systems, FQAS 2025, held in Burgas, Bulgaria, during September 11--13, 2025.The 26 full pape…

lieferbar innerhalb 2-3 Wochen

Buch