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*
: 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*
: 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*
: 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.