Symposium – Bücher, CDs, LPs und mehr, Seite 6

Business Modeling and Software Design

Lecture Notes in Business Information Processing - Band 523

This book constitutes the refereed proceedings of the 14h International Symposium on Business Modeling and Software Design, BMSD 2024, which took place in Luxembourg, during July 1-3, 2024. The 13 full a…

lieferbar innerhalb 2-3 Wochen

Buch

Explorations in the History and Heritage of Machines and Mechanisms

This book gathers the latest advances in the field of history of science and technology, as presented by leading international researchers at the 8th International Symposium on History of Machines and Mec…

lieferbar innerhalb 2-3 Wochen

Buch

Research Developments in Sustainable Aviation

Sustainable aviation is a long-term strategy aimed at providing innovative solutions to the challenges facing the aviation industry. The International Symposium on Sustainable Aviation is a multi-discipli…

lieferbar innerhalb 2-3 Wochen

Buch

New Achievements in Unmanned Systems

Unmanned systems are one of the fastest-growing and widely developing technologies in the world, offering many possibilities for a variety of research fields. This book comprises the proceedings of the 20…

lieferbar innerhalb 2-3 Wochen

Buch

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science - Band 14919

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9 10, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

Bus

The Unknown Secretary

Am Anfang war das Chaos - Einige Zeit später wurde im Himmel, wo die Engel herrschten, ein großes Symposium abgehalten, ein herrliches Fest. Alle waren glücklich und amüsierten sich prächtig, bis Luzifer…

lieferbar innerhalb 1-2 Wochen

LP

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20-21, 2025. The 15 fu…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4 6, 2024. The 8 full p…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmics of Wireless Networks

This book constitutes the refereed proceedings of the 20th International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2024, held in Egham, UK, in September 2024. The 14 full papers presented h…

lieferbar innerhalb 2-3 Wochen

Buch

National Academies of Sciences Engineering and Medicine, Transportation Research Board, Consensus and Advisory Studies Division
Global Pathways to Net-Zero

The climate crisis poses a threat to life on the planet, with human health, ecosystem, and economic impacts globally. These impacts are projected to worsen in the future, as greenhouse gas emissions conti…

lieferbar ab 14.8.2025.

Buch

Superalloys 2024

The 15th International Symposium on Superalloys (Superalloys 2024) highlights technologies for lifecycle improvement of superalloys. In addition to the traditional focus areas of alloy development, proces…

lieferbar innerhalb 2-3 Wochen

Buch

Rites, Rituals and Festivals as Instruments of Stability of Royal Power

Königtum, Staat und Gesellschaft früher Hochkulturen - 4,7

Rituals and festivals have always been fascinating subjects of debate for scholars, sparking curiosity and inspiring countless discussions. While much has been said and written on these topics, this publi…

lieferbar ab 18.6.2025.

Buch

Transforming Construction: Advances in Fiber Reinforced Concrete

RILEM Bookseries - Band 54

This volume highlights the latest advances, innovations, and applications in the field of fiber-reinforced concrete (FRC) and textile-reinforced concrete (TRC), as presented by scientists and engineers at…

lieferbar innerhalb 2-3 Wochen

Buch

Great Reset-Opportunity or Threat?

This book gathers revised papers presented at the 2024 International Symposium of the Business Systems Laboratory, held in Palermo, Italy on January 11 12, 2024. In the last four years, the world has see…

lieferbar innerhalb 2-3 Wochen

Buch

NASA Formal Methods

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together…

lieferbar innerhalb 2-3 Wochen

Buch

From Data to Models and Back

This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4–5, 2024. The 9 full papers includ…

lieferbar innerhalb 2-3 Wochen

Buch

Marketing Solutions to the Challenges of a VUCA Environment

This book contains selected papers from the 2023 Greek Marketing Academy and the Global Alliance of Marketing and Management Associations Joint Symposium (GMA-GAMMA2023) held from July 20 to 23, 2023, in …

lieferbar innerhalb 2-3 Wochen

Buch

Trends in Functional Programming

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024. The 10 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods

Lecture Notes in Computer Science - Band 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Symposium" - alle Bücher, CDs, LPs und mehr