0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Symphosius
    3. Symphosius – Bücher, CDs, LPs und mehr, Seite 5

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

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

    Ansicht:

    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
    Aktueller Preis: EUR 63,51

    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
    Aktueller Preis: EUR 63,51

    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
    Aktueller Preis: EUR 63,51

    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 comprehensive work un…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    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
    Vorheriger Preis EUR 142,37, reduziert um 38%
    Aktueller Preis: EUR 87,60

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

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 93,08

    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…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 120,46

    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
    Aktueller Preis: EUR 383,33

    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
    Aktueller Preis: EUR 383,33

    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
    Aktueller Preis: EUR 58,10

    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
    Vorheriger Preis EUR 131,42, reduziert um 51%
    Aktueller Preis: EUR 63,51

    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
    Aktueller Preis: EUR 361,42

    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
    Aktueller Preis: EUR 219,03

    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
    Aktueller Preis: EUR 240,94

    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
    Aktueller Preis: EUR 43,80

    Ubiquitous Networking

    This book constitutes the refereed proceedings of the 9th International Symposium on Ubiquitous Networking, UNet 2023, held in Clermont-Ferrand, France, during November 01 03, 2023. The 14 full papers in…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 120,46, reduziert um 50%
    Aktueller Preis: EUR 60,23

    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
    Aktueller Preis: EUR 142,37

    Formal Methods

    Lecture Notes in Computer Science - Band 14934

    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
    Aktueller Preis: EUR 164,28

    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
    Aktueller Preis: EUR 164,28

    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
    Aktueller Preis: EUR 240,94
    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.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH