Arama Sonu&ccedil;lar&#305; Andr&eacute;, &Eacute;tienne. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAndr$0025C3$0025A9$00252C$002b$0025C3$002589tienne.$0026ps$003d300?dt=list 2026-06-04T14:13:53Z 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 2026-06-04T14:13:53Z 2026-06-04T14:13:53Z Yazar&#160;Andr&eacute;, &Eacute;tienne. editor.&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> 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 2026-06-04T14:13:53Z 2026-06-04T14:13:53Z Yazar&#160;Andr&eacute;, &Eacute;tienne. editor.&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483867 2026-06-04T14:13:53Z 2026-06-04T14:13:53Z Yazar&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555&#160;Stoelinga, Mari&euml;lle. editor. (orcid)0000-0001-6793-8165&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> 12 melodie francesi dei secoli XVII e XVIII : per canto e pianoforte ent://SD_ILS/0/SD_ILS:294528 2026-06-04T14:13:53Z 2026-06-04T14:13:53Z Yazar&#160;Zanon, Maffeo, 1882-1968.&#160;Zanon, Adelia<br/>Yer Numaras&#305;&#160;M1619.D61 Z23 1953<br/>Format:&#160;M&uuml;zik<br/>Durum&#160;Konservatuvar K&uuml;t&uuml;phanesi~5<br/>