Symphosius – Bücher, CDs, LPs und mehr, Seite 5 online kaufen

Model Checking Software

Lecture Notes in Computer Science - Band 14624

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

lieferbar innerhalb 2-3 Wochen

Buch

Search-Based Software Engineering

This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024.The 8 papers includ…

lieferbar innerhalb 2-3 Wochen

Buch

Brightening Tomorrow Together 2024

This book includes the proceedings of the Symposium and Industry Summit, June 20-21, 2024 at University of WindsorNegativity and pessimism seem to dominate the media in recent years, overshadowing the bri…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Technology for Future Transportation

This book constitutes the refereed proceedings of the First International Symposium on Intelligent Technology for Future Transportation, ITFT 2024, held in Helsinki, Finland, during October 19-21, 2024.Th…

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

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

lieferbar innerhalb 2-3 Wochen

Buch

Symbolic Computation in Software Science

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7…

lieferbar innerhalb 2-3 Wochen

Buch

Building for the Future: Durable, Sustainable, Resilient

This book presents the proceedings of the fib Symposium ¿Building for the future: Durable, Sustainable, Resilient¿, held in Istanbul, Turkey, on 5¿7 June 2023. The book covers topics such as concrete and …

lieferbar innerhalb 2-3 Wochen

3 Bücher

Building for the Future: Durable, Sustainable, Resilient

This book presents the proceedings of the fib Symposium ¿Building for the future: Durable, Sustainable, Resilient¿, held in Istanbul, Turkey, on 5¿7 June 2023. The book covers topics such as concrete and …

lieferbar innerhalb 2-3 Wochen

3 Bücher

Regeneration of Complex Capital Goods

This open access book compiles the groundbreaking research conducted by the Collaborative Research Center (CRC) 871, centered around the "Regeneration of Complex Capital Goods." This comprehensi…

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

Theoretical Aspects of Software Engineering

This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29¿August 1, 2024.The 24 f…

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

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

lieferbar innerhalb 2-3 Wochen

Buch

Water Resources Management and Water Pollution Control

This book features select peer-reviewed proceedings from the 6th International Symposium on Water Pollution and Treatment (ISWPT 2023). It comprises articles written by researchers, practitioners, policym…

lieferbar innerhalb 2-3 Wochen

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

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

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

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