Arama Sonu&ccedil;lar&#305; Formal languages. - Daralt&#305;lm&#305;&#351;: Human-computer interaction. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002blanguages.$0026qf$003dSUBJECT$002509Konu$002509Human-computer$002binteraction.$002509Human-computer$002binteraction.$0026ps$003d300? 2026-04-20T18:35:01Z The Handbook of Formal Methods in Human-Computer Interaction ent://SD_ILS/0/SD_ILS:618485 2026-04-20T18:35:01Z 2026-04-20T18:35:01Z Yazar&#160;Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X&#160;Bowen, Judy. editor.&#160;Dix, Alan. editor.&#160;Palanque, Philippe. editor. (orcid)0000-0002-5381-971X&#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-319-51838-1">https://doi.org/10.1007/978-3-319-51838-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611703 2026-04-20T18:35:01Z 2026-04-20T18:35:01Z Yazar&#160;Friedrich, Gerhard. editor.&#160;Helmert, Malte. editor.&#160;Wotawa, Franz. 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-319-46073-4">https://doi.org/10.1007/978-3-319-46073-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> AI*IA 2016 Advances in Artificial Intelligence XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616829 2026-04-20T18:35:01Z 2026-04-20T18:35:01Z Yazar&#160;Adorni, Giovanni. editor.&#160;Cagnoni, Stefano. editor.&#160;Gori, Marco. editor.&#160;Maratea, Marco. 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-319-49130-1">https://doi.org/10.1007/978-3-319-49130-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>