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

Combinatorics, Graph Theory and Computing

1.The es-Splitting Operation for Matroids Representable over Prime Felds GF(p) (P. Malavadkar, S. Gunjal, U. Jagadale, M.M. Shikare, and B.N. Waphare).- 2.The Existence Problem for Strong Complete Mapping…

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 …

lieferbar in mind. 4 Wochen

Buch

Computational Collective Intelligence

Lecture Notes in Computer Science - Band 16139, Lecture Notes in Artificial 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 ab 19.12.2025.

Buch

Computational Social Science of Social Cohesion and Polarization

This is an open access book. This edited volume explores the decay of social cohesion in democratic societies through the lens of Computational Social Science (CSS). Acknowledging its critical role in dem…

lieferbar ab 31.12.2025.

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 von 1-3 Tagen

Buch

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

.- 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

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

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

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

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 ab 15.12.2025.

Buch

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

Lecture Notes in Artificial Intelligence, 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

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

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Frontiers of Combining Systems

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

lieferbar innerhalb 2-3 Wochen

Buch

Fundamentals of Computation Theory

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroc¿aw, Poland, during September 15--17, 2025.The 32 full papers include…

lieferbar innerhalb 2-3 Wochen

Buch

Geometric Science of Information

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St. Malo, France, during October 2025. The main t…

lieferbar innerhalb 2-3 Wochen

Buch

Geometric Science of Information

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St. Malo, France, during October 2025. The main t…

lieferbar innerhalb 2-3 Wochen

Buch

Geometric Science of Information

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St. Malo, France, during October 2025. The main t…

lieferbar innerhalb 2-3 Wochen

Buch

Implementation and Application of Automata

This book constitutes the proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025, held in Palermo, Italy, during September 22--25, 2025.The 22 full paper…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Computer Mathematics

.- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

lieferbar innerhalb 2-3 Wochen

Buch