Results
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I. by Sankaranarayanan, Sriram | Sharygina, Natasha. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Diseases of the Chest, Breast, Heart and Vessels 2019-2022 : Diagnostic and Interventional Imaging. by Hodler, Juerg | Kubik-Huch, Rahel A | von Schulthess, , Gustav K | Hodler, Juerg | Kubik-Huch, Rahel A | von Schulthess, , Gustav K. Series: IDKD Springer SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2019Copyright date: �2019Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|