Arama Sonu&ccedil;lar&#305; Technology and state. - Daralt&#305;lm&#305;&#351;: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTechnology$002band$002bstate.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list 2026-04-08T07:23:35Z Artificial Intelligence and Machine Learning in Sports Science ent://SD_ILS/0/SD_ILS:609421 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Memmert, Daniel. editor. (orcid)0000-0002-3406-9175&#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-662-70155-3">https://doi.org/10.1007/978-3-662-70155-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FPGA EDA Design Principles and Implementation ent://SD_ILS/0/SD_ILS:602481 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Tu, Kaihui. author.&#160;Tang, Xifan. author.&#160;Yu, Cunxi. author. (orcid)0000-0003-3481-307X&#160;Josipovi&#263;, Lana. author.&#160;Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease ent://SD_ILS/0/SD_ILS:601934 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Channa, Asma. author.&#160;Popescu, Nirvana. author.&#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-45003-7">https://doi.org/10.1007/978-3-031-45003-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616579 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Gurfinkel, Arie. editor.&#160;Seshia, Sanjit A. 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-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Decision Diagrams for Optimization ent://SD_ILS/0/SD_ILS:617845 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Bergman, David. author.&#160;Cire, Andre A. author.&#160;van Hoeve, Willem-Jan. author.&#160;Hooker, John. author.&#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-42849-9">https://doi.org/10.1007/978-3-319-42849-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611917 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Dediu, Adrian-Horia. editor.&#160;Janou&scaron;ek, Jan. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. 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-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deductive Software Verification - The KeY Book From Theory to Practice ent://SD_ILS/0/SD_ILS:616009 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Ahrendt, Wolfgang. editor.&#160;Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291&#160;Bubel, Richard. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Schmitt, Peter H. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Operational risk management a practical approach to intelligent data analysis ent://SD_ILS/0/SD_ILS:318959 2026-04-08T07:23:35Z 2026-04-08T07:23:35Z Yazar&#160;Kenett, Ron.&#160;Raanan, Yossi.<br/>Yer Numaras&#305;&#160;ONLINE(318959.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://onlinelibrary.wiley.com/book/10.1002/9780470972571">Access restricted to McGill users</a> Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589233">http://public.eblib.com/choice/publicfullrecord.aspx?p=589233</a> ebrary <a href="http://site.ebrary.com/id/10412605">http://site.ebrary.com/id/10412605</a> EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470972571">http://dx.doi.org/10.1002/9780470972571</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>