Search Results for André, Étienne.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAndr$0025C3$0025A9$00252C$002b$0025C3$002589tienne.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-10-24T16:13:59Z
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521249
2024-10-24T16:13:59Z
2024-10-24T16:13:59Z
Author André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521249.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45332-8">https://doi.org/10.1007/978-3-031-45332-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521255
2024-10-24T16:13:59Z
2024-10-24T16:13:59Z
Author André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521255.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45329-8">https://doi.org/10.1007/978-3-031-45329-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483867
2024-10-24T16:13:59Z
2024-10-24T16:13:59Z
Author André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
12 melodie francesi dei secoli XVII e XVIII : per canto e pianoforte
ent://SD_ILS/0/SD_ILS:294528
2024-10-24T16:13:59Z
2024-10-24T16:13:59Z
Author Zanon, Maffeo, 1882-1968. Zanon, Adelia<br/>Preferred Shelf Number M1619.D61 Z23 1953<br/>Format: Music<br/>Availability Conservatory Library~5<br/>