Arama Sonu&ccedil;lar&#305; Technology -- Research. - Daralt&#305;lm&#305;&#351;: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTechnology$002b--$002bResearch.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300? 2026-06-16T12:24:46Z Wearing Embodied Emotions A Practice Based Design Research on Wearable Technology ent://SD_ILS/0/SD_ILS:335616 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;U&#287;ur, Se&ccedil;il. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335616.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-88-470-5247-5">http://dx.doi.org/10.1007/978-88-470-5247-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334956 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Aalberg, Trond. editor.&#160;Papatheodorou, Christos. editor.&#160;Dobreva, Milena. editor.&#160;Tsakonas, Giannis. editor.&#160;Farrugia, Charles J. editor.<br/>Yer Numaras&#305;&#160;ONLINE(334956.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40501-3">http://dx.doi.org/10.1007/978-3-642-40501-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Contemporary Research on E-business Technology and Strategy International Conference, iCETS 2012, Tianjin, China, August 29-31, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197518 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Khachidze, Vasil. editor.&#160;Wang, Tim. editor.&#160;Siddiqui, Sohail. editor.&#160;Liu, Vincent. editor.&#160;Cappuccio, Sergio. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34447-3">http://dx.doi.org/10.1007/978-3-642-34447-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Serious Games: The Challenge ITEC/CIP and T 2011: Joint Conference of the Interdisciplinary Research Group on Technology, Education, and Communication, and the Scientific Network on Critical and Flexible Thinking Ghent, Belgium, October 19-21, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197435 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Wannemacker, Stefan. editor.&#160;Vandercruysse, Sylke. editor.&#160;Clarebout, Geraldine. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33814-4">http://dx.doi.org/10.1007/978-3-642-33814-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Interdisciplinary Approaches to Adaptive Learning. A Look at the Neighbours First International Conference on Interdisciplinary Research on Technology, Education and Communication, ITEC 2010, Kortrijk, Belgium, May 25-27, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194253 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Wannemacker, Stefan. editor.&#160;Clarebout, Geraldine. editor.&#160;Causmaecker, Patrick. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20074-8">http://dx.doi.org/10.1007/978-3-642-20074-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2011, Berlin, Germany, September 26-28, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195646 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Gradmann, Stefan. editor.&#160;Borri, Francesca. editor.&#160;Meghini, Carlo. editor.&#160;Schuldt, Heiko. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24469-8">http://dx.doi.org/10.1007/978-3-642-24469-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries : International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings ent://SD_ILS/0/SD_ILS:294574 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Gradmann, Stefan. (DE-588a)111149827.<br/>Yer Numaras&#305;&#160;ZA4080 T63 2011<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Research and Advanced Technology for Digital Libraries 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192978 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Lalmas, Mounia. editor.&#160;Jose, Joemon. editor.&#160;Rauber, Andreas. editor.&#160;Sebastiani, Fabrizio. editor.&#160;Frommholz, Ingo. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15464-5">http://dx.doi.org/10.1007/978-3-642-15464-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries 13th European Conference, ECDL 2009, Corfu, Greece, September 27 - October 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190921 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Agosti, Maristella. editor.&#160;Borbinha, Jos&eacute;. editor.&#160;Kapidakis, Sarantos. editor.&#160;Papatheodorou, Christos. editor.&#160;Tsakonas, Giannis. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04346-8">http://dx.doi.org/10.1007/978-3-642-04346-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188877 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Christensen-Dalsgaard, Birte. editor.&#160;Castelli, Donatella. editor.&#160;Ammitzb&oslash;ll Jurik, Bolette. editor.&#160;Lippincott, Joan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87599-4">http://dx.doi.org/10.1007/978-3-540-87599-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187288 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Kov&aacute;cs, L&aacute;szl&oacute;. editor.&#160;Fuhr, Norbert. editor.&#160;Meghini, Carlo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74851-9">http://dx.doi.org/10.1007/978-3-540-74851-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Organizational Dynamics of Technology-Based Innovation: Diversifying the Research Agenda IFIP TC 8 WG 8.6 International Working Conference, June 14&ndash;16, Manchester, UK ent://SD_ILS/0/SD_ILS:166985 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;McMaster, Tom. editor.&#160;Wastell, David. editor.&#160;Ferneley, Elaine. editor.&#160;DeGross, Janice I. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-0-387-72804-9">http://dx.doi.org/10.1007/978-0-387-72804-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Managing Development and Application of Digital Technologies Research Insights in the Munich Center for Digital Technology &amp; Management (CDTM) ent://SD_ILS/0/SD_ILS:183946 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Kern, Eva-Maria. editor.&#160;Hegering, Heinz-Gerd. editor.&#160;Br&uuml;gge, Bernd. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/3-540-34129-3">http://dx.doi.org/10.1007/3-540-34129-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries 10th European Conference, ECDL 2006, Alicante, Spain, September 17-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184789 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Gonzalo, Julio. editor.&#160;Thanos, Costantino. editor.&#160;Verdejo, M. Felisa. editor.&#160;Carrasco, Rafael C. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11863878">http://dx.doi.org/10.1007/11863878</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research and Advanced Technology for Digital Libraries 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183004 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Rauber, Andreas. editor.&#160;Christodoulakis, Stavros. editor.&#160;Tjoa, A Min. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11551362">http://dx.doi.org/10.1007/11551362</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II ent://SD_ILS/0/SD_ILS:605987 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I ent://SD_ILS/0/SD_ILS:605988 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605098 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Huisman, Marieke. editor. (orcid)0000-0003-4467-072X&#160;Howar, Falk. 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-72044-4">https://doi.org/10.1007/978-3-031-72044-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday ent://SD_ILS/0/SD_ILS:609119 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Barik, Rajkishore. editor.&#160;Gupta, Rajiv. editor.&#160;Palsberg, Jens. editor. (orcid)0000-0003-4747-365X&#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-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Intelligence and Machine Learning in Sports Science ent://SD_ILS/0/SD_ILS:609421 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z 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/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III ent://SD_ILS/0/SD_ILS:609023 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R ent://SD_ILS/0/SD_ILS:610583 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Leung, Ricky. author. (orcid)0000-0002-2852-6771&#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-032-08677-8">https://doi.org/10.1007/978-3-032-08677-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving ent://SD_ILS/0/SD_ILS:603590 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Weng, Wei. 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-981-97-1477-3">https://doi.org/10.1007/978-981-97-1477-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604608 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011&#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-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Creative approaches towards development of computing and multidisciplinary IT solutions for society ent://SD_ILS/0/SD_ILS:599371 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Bijalwan, Anchit, editor.<br/>Yer Numaras&#305;&#160;QA76 .C74 2024<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools ent://SD_ILS/0/SD_ILS:612946 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Mahmood, Zaigham. 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-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610725 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Maedche, Alexander. editor.&#160;vom Brocke, Jan. editor.&#160;Hevner, Alan. editor. (orcid)0000-0003-4953-3900&#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-59144-5">https://doi.org/10.1007/978-3-319-59144-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616270 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990&#160;Sirjani, Marjan. 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-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618002 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Parsons, Jeffrey. editor.&#160;Tuunanen, Tuure. editor.&#160;Venable, John. editor.&#160;Donnellan, Brian. editor.&#160;Helfert, Markus. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-39294-3">https://doi.org/10.1007/978-3-319-39294-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings ent://SD_ILS/0/SD_ILS:613589 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Alferes, Jose Julio. editor.&#160;Bertossi, Leopoldo. editor.&#160;Governatori, Guido. editor.&#160;Fodor, Paul. editor.&#160;Roman, Dumitru. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</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-06-16T12:24:46Z 2026-06-16T12:24:46Z 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/> Expert bytes : computer expertise in forensic documents : players, needs, resources, and pitfalls ent://SD_ILS/0/SD_ILS:545420 2026-06-16T12:24:46Z 2026-06-16T12:24:46Z Yazar&#160;Atanasiu, Vlad, author.<br/>Yer Numaras&#305;&#160;HV8074 .A83 2014<br/>Elektronik Eri&#351;im&#160;<a href="https://www.taylorfrancis.com/books/9781466591912">Click here to view.</a><br/>Format:&#160;Kitap<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>