0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

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

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

    Ansicht:

    Model Checking Software

    Lecture Notes in Computer Science - Band 15945

    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
    Vorheriger Preis EUR 63,51, reduziert um 22%
    Aktueller Preis: EUR 49,28

    Applied Computer Science

    Communications in Computer and Information Science - Band 2831

    This book constitutes the proceedings of the 11th Spanish German Symposium on Applied Computer Science, SGSOACS 2025, held in Vienna, Austria, during June 30--July 3, 2025.The 11 full papers were carefull…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 119,03, reduziert um 17%
    Aktueller Preis: EUR 98,56

    NASA Formal Methods

    This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in t…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    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 innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66

    Applications of Mathematics in Sciences, Engineering, and Economics

    This book addresses a broad range of mathematical methods and their usage in a wide variety of disciplines ranging from physics, electrical engineering, chemistry, biology and computer sciences to society…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Cellular Automata Technology

    This book constitutes the refereed conference proceedings of the 5th Asian Symposium on Cellular Automata Technology, ASCAT 2026, held in Calicut, India, during February 25--27, 2026.The 20 full papers in…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66

    Formal Methods: Foundations and Applications

    This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Smart Computing and Systems

    This book constitutes the refereed proceedings of the 9th Global Symposium on Smart Computing and Systems, G3S 2025, held in Beni Mellal, Morocco, during November 27--29, 2025.The 30 full papers included …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 98,56

    Logic-Based Program Synthesis and Transformation

    Lecture Notes in Computer Science - Band 16117

    This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9--10, 2025.The 17 full pap…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Intelligent Technology for Future Transportation

    Communications in Computer and Information Science - Band 2876

    This book constitutes the refereed proceedings of the Second International Symposium on Intelligent Technology for Future Transportation, ITFT 2025 held in London, UK, during November 18--20, 2025.The 26 …

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

    Bioinformatics Research and Applications

    Lecture Notes in Computer Science - Band 16690

    This two-volume set LNCS16690 - 16691 constitutes the refereed proceedings of the 22nd International Symposium on Bioinformatics Research and Applications, ISBRA 2026, held in Macao, China, during July 22…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 116,09

    Algorithmic Aspects of Cloud Computing

    Lecture Notes in Computer Science - Band 16349

    This volume, LNCS 16349, constitutes revised selected papers from the 10th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2025, held in Warsaw, Poland, during September 15--1…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Foundations of Information and Knowledge Systems

    This book constitutes the proceedings of the 14th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2026, which took place in Hanover, Germany, during March 2026.The 13 fu…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Geotechnical Lessons Learnt-Building and Transport Infrastructure Projects

    This book presents the select proceedings of the 26th Annual Symposium organized by the Sydney Chapter of the Australian Geomechanics Society (AGS). The symposium brought together key stakeholders of the …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Transforming Construction: Advances in Fiber Reinforced Concrete

    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 383,33

    Bioinformatics Research and Applications

    Lecture Notes in Computer Science - Band 16691

    This two-volume set LNCS16690 - 16691 constitutes the refereed proceedings of the 22nd International Symposium on Bioinformatics Research and Applications, ISBRA 2026, held in Macao, China, July 22--24, 2…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 107,32

    Together Again for Geodesy

    International Association of Geodesy Symposia - Band 157

    This open access volume contains 46 selected papers from the symposia organised or co-organised by the International Association of Geodesy (IAG) in the framework of the 28th General Assembly of the Inter…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    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 innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,31

    Advanced Parallel Processing Technologies

    Lecture Notes in Computer Science - Band 16062

    This book constitutes the refereed proceedings of the 16th International Symposium on Advanced Parallel Processing Technologies, APPT 2025, held in Athens, Greece, during July 13--16, 2025.The 17 full pap…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Theoretical Aspects of Software Engineering

    Lecture Notes in Computer Science - Band 16697

    This book constitutes the refereed proceedings of the 20th International Symposium on Theoretical Aspects of Software Engineering, TASE 2026, held in Shanghai, China, during July 4--6, 2026.The 23 full pa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04
    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.