Megjelenítés: 1 - 6 / 6 - kulcsszavak: '"Theoretical Computer Science and General Issues"', keresési idő: 0.12mp Találatok szűrése
1
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Megjelenés: 2017
“...Theoretical Computer Science and General Issues ; 10206...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Megjelenés: 2017
“...Theoretical Computer Science and General Issues ; 10205...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
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
“...Theoretical Computer Science and General Issues ; 12478....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
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
“...Theoretical Computer Science and General Issues ; 12477....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
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
“...Theoretical Computer Science and General Issues ; 12476....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11200...”
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 — Keresés mentése