Symposion – Bücher, LPs, CDs und mehr, Seite 5

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Symposion" finden. Könnten diese Produkte zu Ihrer Suche passen?

Static Analysis

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar innerhalb 2-3 Wochen

Buch

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

lieferbar innerhalb 2-3 Wochen

Buch

AI Verification

This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The fir…

lieferbar innerhalb 2-3 Wochen

Buch

The Future of Hermeneutics

This volume is comprised of contributions from internationally respected scholars dedicated to the theme of "The Future of Hermeneutics." These contributions are gathered from research originall…

lieferbar ab 30.3.2026.

Buch

Model-Based Safety and Assessment

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Game Theory

This volume constitutes the refereed proceedings of 18th International Symposium on Algorithmic Game Theory, SAGT 2025, held in Bath, UK, during September 2--5, 2025.The 26 full papers included in this bo…

lieferbar innerhalb 2-3 Wochen

Buch

Farm Machinery and Processes Management in Sustainable Agriculture

This book gathers the latest advances, innovations, and applications in the field of sustainable and smart agriculture, as presented by leading researchers at the XII Farm Machinery and Processes Manageme…

lieferbar innerhalb 2-3 Wochen

Buch

Business Modeling and Software Design

This book constitutes the refereed proceedings of the 15h International Symposium on Business Modeling and Software Design, BMSD 2025, which took place in Milan, Italy, during July 1-3, 2025.The 9 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Trends in Functional Programming

This book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held in Oxford, UK, during January 13--16, 2025.The 20 full papers and 2 …

lieferbar innerhalb 2-3 Wochen

Buch

Empowering Digital Transformation

This book contains selected papers from the 2025 Greek Marketing Academy and the Global Alliance of Marketing and Management Associations Joint Symposium (GMA-GAMMA2025) held from July 24 to 27, 2025, in …

lieferbar innerhalb 2-3 Wochen

Buch

Cyberspace Safety and Security

.- Dynamic spectrum sharing scheme for anti-malicious user's queries based on blockchain..- Internet of Vehicle Privacy Protection Solution Based on Blockchain and Zero Knowledge Proof..- A New Asymmetric…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Distributed Computing XVI

This book presents selected contributions to the 16th Symposium on Intelligent Distributed Computing (IDC'23) held from September 13 to 15, 2023, at the HAW Hamburg, Germany. This unique collection of pap…

lieferbar innerhalb 2-3 Wochen

Buch

Dependable and Secure Computing

Communications in Computer and Information Science - Band 2697

This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.The 17 …

lieferbar ab 21.3.2026.

Buch

Model Checking Software

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

Buch

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.The 11 full papers …

lieferbar innerhalb 2-3 Wochen

Buch

Alan Pichanick
Plato's Politics of Passion

An original reading of three Platonic dialogues concerned with the soul, tyranny, self-knowledge, and the beautiful. Guided by the question "What is Socratic self-knowledge," this study begins w…

lieferbar innerhalb 2-3 Wochen

Buch

Distributed Autonomous Robotic Systems

This book of the SPAR series contains 40 scientific articles presented at the 17th International Symposium on Distributed Autonomous Robotic Systems. The conference was held October 27--30, 2024, on Roose…

lieferbar innerhalb 2-3 Wochen

Buch

Applications of Mathematics in Sciences, Engineering, and Economics

V. Y. Glizer and V. Turetsky, Robust Capture Pursuit Based on Differential Games.- A. Comaneci, Simplicial Fermat--Weber Problems are Dual to Minimum Cost Flow Problems.- M. Baumgartner, G. Schr¨oder, C. …

lieferbar innerhalb 2-3 Wochen

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

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.