0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Laura Kovács – alle Bücher

    Ihre Suche nach "laura kovács" ergab 6 Treffer

    Ansicht:
    : Reachability Problems, Buch

    Reachability Problems

    Lecture Notes in Computer Science -Band 15050

    This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25 27, 2024. The 13 full papers include…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    : Integrated Formal Methods, Buch

    Integrated Formal Methods

    Lecture Notes in Computer Science -Band 15234

    This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 142,37*
    : Intelligent Computer Mathematics, Buch

    Intelligent Computer Mathematics

    Lecture Notes in Artificial Intelligence -Band 14960

    This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5 9, 2024. The 21 full …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    : Tools and Algorithms for the Construction and Analysis of Systems, Buch

    Tools and Algorithms for the Construction and Analysis of Systems

    Lecture Notes in Computer Science -Band 14572

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    : Tools and Algorithms for the Construction and Analysis of Systems, Buch

    Tools and Algorithms for the Construction and Analysis of Systems

    Lecture Notes in Computer Science -Band 14571

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    : Tools and Algorithms for the Construction and Analysis of Systems, Buch

    Tools and Algorithms for the Construction and Analysis of Systems

    Lecture Notes in Computer Science -Band 14570

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    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