Megjelenítés: 1 - 6 / 6 - kulcsszavak: 'Steffen, Bernhard', keresési idő: 0.01mp Találatok szűrése
1
Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches
Szerző: Steffen, Bernhard
Megjelenés: 2018
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 Proceedings
Megjelenés: 2017
Közreműködő(k): “...Steffen, Bernhard, szerk....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Computing and Software Science : State of the Art and Perspectives
Megjelenés: 2019
Közreműködő(k): “...Steffen, Bernhard, szerk....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Megjelenés: 2020
Közreműködő(k): “...Steffen, Bernhard, szerk....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Megjelenés: 2020
Közreműködő(k): “...Steffen, Bernhard, szerk....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Megjelenés: 2020
Közreműködő(k): “...Steffen, Bernhard, szerk....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —