Results
|
3841.
|
Ernst Denert Award for Software Engineering 2022 [electronic resource] : Practice Meets Foundations / by
- Bodden, Eric [editor.]
- Felderer, Michael [editor.]
- Hasselbring, Wilhelm [editor.]
- Herber, Paula [editor.]
- Koziolek, Heiko [editor.]
- Lilienthal, Carola [editor.]
- Matthes, Florian [editor.]
- Prechelt, Lutz [editor.]
- Rumpe, Bernhard [editor.]
- Schaefer, Ina [editor.]
- SpringerLink (Online service)
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
3842.
|
|
|
3843.
|
|
|
3844.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 I / by Series: Lecture Notes in Computer Science ; 14570
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
3845.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 / by Series: Lecture Notes in Computer Science ; 14571
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
3846.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 III / by Series: Lecture Notes in Computer Science ; 14572
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
3847.
|
|
|
3848.
|
|
|
3849.
|
|
|
3850.
|
|
|
3851.
|
|
|
3852.
|
|
|
3853.
|
|
|
3854.
|
|
|
3855.
|
|
|
3856.
|
|
|
3857.
|
|
|
3858.
|
|
|
3859.
|
|
|
3860.
|
|