Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II
Autor:
Springer Nature Switzerland;Springer International Publishing
Verlag:
Springer Nature Switzerland;Springer International Publishing
Sprache:
English
Keine Beschreibung für das Buch
CHF 55.50
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II
ISBN
978-3-031-57248-7
EAN
9783031572487
Erscheinungsjahr
4/5/2024
Edition
2024
Verlag
Springer Nature Switzerland;Springer International Publishing
Sprache
English
Springer Nature Switzerland;Springer International Publishing weitere Bücher
Durch flexible Arbeitszeitmodelle zu ein
CHF 16.00
Genetics: Recent Developments
CHF 164.00
Good for the Soul
CHF 43.90
Nursing School Tips in a Nutshell
CHF 36.50
Like Normal People
CHF 12.41
Einführung in die lösungsorientierte Kur
CHF 24.90
Energy Policy Advancement
CHF 157.00
Die Ökonomisierung der Bundeswehr unter
CHF 24.90
Optimal Re-Entry Trajectory Terminal Sta
CHF 76.00
Combined Action Platoons: A Possible Rol
CHF 74.00
The Life of Oliver Goldsmith, M. B.: Fro
CHF 52.90
The Hermit in the Country, Or, Sketches
CHF 44.90
Logistical Support in Atomic and Guided
CHF 78.00
The Religion of the First Christians
CHF 45.50
Sky - Clad
CHF 27.90
By the Sword
CHF 32.90
Störendes Verhalten
CHF 92.00
Die Politik im Unterhaltungsfernsehen de
CHF 14.00
The Fifth Reader
CHF 46.90
Autumn Leaves
CHF 40.90
A Plea for Early Oviarotomy
CHF 42.50
Notes On the Treatment of Skin Diseases
CHF 43.90
The Geology and Mineral Resources of the
CHF 54.90
Sunshine in Sorrow, by the Author of 'su
CHF 45.90
Il Fondaco dei Turchi. Das Handelshaus d
CHF 24.90
Synoptische Quellenanalyse und die Frage
CHF 138.00
Sermons of the Rev. James Saurin: Late P
CHF 52.90
Lucky Rat
CHF 12.90
Patterns and Processes of Speciation in
CHF 236.00
Legion Condor 1936–39
CHF 26.90
Bewertungen
0 Bewertungen
Anmeldung erforderlich