Arama Sonu&ccedil;lar&#305; Computer Hardware. - Daralt&#305;lm&#305;&#351;: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bHardware.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-04-05T09:56:36Z Large-Scale Annotation of Biomedical Data and Expert Label Synthesis and Hardware Aware Learning for Medical Imaging and Computer Assisted Intervention International Workshops, LABELS 2019, HAL-MICCAI 2019, and CuRIOUS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483649 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Zhou, Luping. editor.&#160;Heller, Nicholas. editor. (orcid)0000-0001-8516-8707&#160;Shi, Yiyu. editor.&#160;Xiao, Yiming. editor. (orcid)0000-0002-0962-3525&#160;Sznitman, Raphael. editor. (orcid)0000-0001-6791-4753<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33642-4">https://doi.org/10.1007/978-3-030-33642-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Generative artificial intelligence : concepts and applications ent://SD_ILS/0/SD_ILS:599733 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Nidhya, R., editor.<br/>Yer Numaras&#305;&#160;Q335 .G46 2025<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209835">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209835</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 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607116 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 2 ent://SD_ILS/0/SD_ILS:607401 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129&#160;Sharma, Harish. editor.&#160;Chakravorty, Antorweep. 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-981-97-8096-9">https://doi.org/10.1007/978-981-97-8096-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Unsupervised Computer Vision for Aerospace Systems Spacecraft Pose Estimation to Infrastructure Health Monitoring ent://SD_ILS/0/SD_ILS:609620 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Zhang, Zhaoxiang. 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-95-0023-9">https://doi.org/10.1007/978-981-95-0023-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi ent://SD_ILS/0/SD_ILS:599880 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Arif, Tariq M., author.&#160;John Wiley &amp; Sons, publisher.<br/>Yer Numaras&#305;&#160;Q325.73 .A75 2025<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297</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 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607214 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Congress on Smart Computing Technologies Proceedings of CSCT 2024, Volume 1 ent://SD_ILS/0/SD_ILS:610096 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Saraswat, Mukesh. editor.&#160;Rajan, Abhishek. editor.&#160;Chakravorty, Antorweep. 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-981-96-6254-8">https://doi.org/10.1007/978-981-96-6254-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Vision Metrics Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI ent://SD_ILS/0/SD_ILS:608071 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Krig, Scott. 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-99-3393-8">https://doi.org/10.1007/978-981-99-3393-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, V&auml;ster&aring;s, Sweden, October 16-18, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602047 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Kofro&#328;, Jan. editor. (orcid)0000-0003-0391-4812&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Seceleanu, Cristina. 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-49252-5">https://doi.org/10.1007/978-3-031-49252-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601939 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Li, Chao. editor. (orcid)0000-0001-6218-4659&#160;Li, Zhenhua. editor. (orcid)0000-0001-7286-122X&#160;Shen, Li. editor. (orcid)0000-0001-9043-2998&#160;Wu, Fan. editor. (orcid)0000-0003-0965-9058&#160;Gong, Xiaoli. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602425 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Jordan, Vladimir. editor.&#160;Tarasov, Ilya. editor.&#160;Shurina, Ella. editor.&#160;Filimonov, Nikolay. editor.&#160;Faerman, Vladimir A. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-51057-1">https://doi.org/10.1007/978-3-031-51057-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 1 ent://SD_ILS/0/SD_ILS:605800 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129&#160;Sharma, Harish. editor.&#160;Chakravorty, Antorweep. 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-981-97-5081-8">https://doi.org/10.1007/978-981-97-5081-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603882 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Metcalfe, George. editor.&#160;Studer, Thomas. editor.&#160;de Queiroz, Ruy. editor. (orcid)0000-0003-1482-0977&#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-62687-6">https://doi.org/10.1007/978-3-031-62687-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> From Internet of Things to Internet of Intelligence ent://SD_ILS/0/SD_ILS:604024 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Odhiambo, Marcel Ohanga. editor.&#160;Mwashita, Weston. 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-55718-7">https://doi.org/10.1007/978-3-031-55718-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Internet Modeling with Julia Models, Algorithms and Programs ent://SD_ILS/0/SD_ILS:604174 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Hofmann, Ulrich. 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-658-44692-5">https://doi.org/10.1007/978-3-658-44692-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604582 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Fey, Dietmar. editor. (orcid)0000-0002-6077-4732&#160;Stabernack, Benno. editor. (orcid)0000-0002-6654-1606&#160;Lankes, Stefan. editor. (orcid)0000-0003-4718-2238&#160;Pacher, Mathias. editor. (orcid)0000-0001-5313-5898&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-66146-4">https://doi.org/10.1007/978-3-031-66146-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Explainable AI for Cybersecurity ent://SD_ILS/0/SD_ILS:528936 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Pan, Zhixin. author.&#160;Mishra, Prabhat. 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-46479-9">https://doi.org/10.1007/978-3-031-46479-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Soft Computing for Security Applications Proceedings of ICSCS 2023 ent://SD_ILS/0/SD_ILS:529021 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Ranganathan, G. editor.&#160;EL Allioui, Youssouf. editor.&#160;Piramuthu, Selwyn. 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-981-99-3608-3">https://doi.org/10.1007/978-981-99-3608-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4&ndash;6, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486687 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Sengupta, Anirban. editor.&#160;Dasgupta, Sudeb. editor.&#160;Singh, Virendra. editor.&#160;Sharma, Rohit. editor.&#160;Kumar Vishvakarma, Santosh. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-32-9767-8">https://doi.org/10.1007/978-981-32-9767-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483032 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Hochberger, Christian. editor.&#160;Nelson, Brent. editor.&#160;Koch, Andreas. editor.&#160;Woods, Roger. editor.&#160;Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17227-5">https://doi.org/10.1007/978-3-030-17227-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Computing for Computational Science &ndash; VECPAR 2018 13th International Conference, S&atilde;o Pedro, Brazil, September 17-19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485258 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Senger, Hermes. editor. (orcid)0000-0003-1273-9809&#160;Marques, Osni. editor.&#160;Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X&#160;Pinheiro de Brito, Tatiana. editor.&#160;Iope, Rog&eacute;rio. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-15996-2">https://doi.org/10.1007/978-3-030-15996-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Psychology and Cognitive Ergonomics 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483507 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Harris, Don. 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-030-22507-0">https://doi.org/10.1007/978-3-030-22507-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23&ndash;24, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483615 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Tang, Xiaoxin. editor.&#160;Chen, Quan. editor.&#160;Bose, Pradip. editor.&#160;Zheng, Weiming. editor.&#160;Gaudiot, Jean-Luc. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30709-7">https://doi.org/10.1007/978-3-030-30709-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V&auml;ster&aring;s, Sweden, September 18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399783 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#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-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Medical Image Computing and Computer Assisted Intervention &ndash; MICCAI 2018 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400238 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Frangi, Alejandro F. editor. (orcid)0000-0002-2675-528X&#160;Schnabel, Julia A. editor.&#160;Davatzikos, Christos. editor. (orcid)0000-0002-1025-8561&#160;Alberola-L&oacute;pez, Carlos. editor. (orcid)0000-0003-3684-0055&#160;Fichtinger, Gabor. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-00937-3">https://doi.org/10.1007/978-3-030-00937-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398985 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999&#160;McMinn, Phil. editor. (orcid)0000-0001-9137-7433&#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-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:400121 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Lohstroh, Marten. editor.&#160;Derler, Patricia. editor.&#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-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400521 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Voros, Nikolaos. editor.&#160;Huebner, Michael. editor.&#160;Keramidas, Georgios. editor.&#160;Goehringer, Diana. editor.&#160;Antonopoulos, Christos. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-78890-6">https://doi.org/10.1007/978-3-319-78890-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400539 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Aylward, Stephen. editor. (orcid)0000-0002-7862-8856&#160;Tavares, Jo&atilde;o Manuel R.S. editor. (orcid)0000-0001-7603-6526&#160;Xiao, Yiming. editor. (orcid)0000-0002-0962-3525<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01045-4">https://doi.org/10.1007/978-3-030-01045-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400644 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Ahmed, Amal. editor. (orcid)0000-0001-7424-572X&#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-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402666 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Schmorrow, Dylan D. editor.&#160;Fidopiastis, Cali M. 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-91470-1">https://doi.org/10.1007/978-3-319-91470-1</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 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402522 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;Roveri, Marco. editor. (orcid)0000-0001-9483-3940&#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-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612047 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-70087-8">https://doi.org/10.1007/978-3-319-70087-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616359 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. 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-57708-1">https://doi.org/10.1007/978-3-319-57708-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616686 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Wong, Stephan. editor.&#160;Beck, Antonio Carlos. editor.&#160;Bertels, Koen. editor.&#160;Carro, Luigi. 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-56258-2">https://doi.org/10.1007/978-3-319-56258-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616750 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448&#160;Boucheneb, Hanifa. editor.&#160;Mili, Ali. editor.&#160;Tahar, Sofi&egrave;ne. 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-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Computer and Computational Sciences Proceedings of ICCCCS 2016, Volume 1 ent://SD_ILS/0/SD_ILS:617061 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Bhatia, Sanjiv K. editor.&#160;Mishra, Krishn K. editor.&#160;Tiwari, Shailesh. editor. (orcid)0000-0002-1306-1246&#160;Singh, Vivek Kumar. 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-981-10-3770-2">https://doi.org/10.1007/978-981-10-3770-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V ent://SD_ILS/0/SD_ILS:612357 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-70139-4">https://doi.org/10.1007/978-3-319-70139-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613295 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656&#160;An, Hong. editor.&#160;Wang, Chao. editor.&#160;Kandemir, Mahmut. editor.&#160;Jin, Hai. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-68210-5">https://doi.org/10.1007/978-3-319-68210-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III ent://SD_ILS/0/SD_ILS:613301 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-70090-8">https://doi.org/10.1007/978-3-319-70090-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613302 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-70096-0">https://doi.org/10.1007/978-3-319-70096-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:613303 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-70093-9">https://doi.org/10.1007/978-3-319-70093-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612618 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. 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-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:613748 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-70136-3">https://doi.org/10.1007/978-3-319-70136-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:612086 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46672-9">https://doi.org/10.1007/978-3-319-46672-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:615985 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46681-1">https://doi.org/10.1007/978-3-319-46681-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III ent://SD_ILS/0/SD_ILS:616249 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46675-0">https://doi.org/10.1007/978-3-319-46675-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Robotics 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberl&acirc;ndia, Brazil, October 28 - November 1, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616757 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Santos Os&oacute;rio, Fernando. editor.&#160;Sales Gon&ccedil;alves, Rog&eacute;rio. 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-47247-8">https://doi.org/10.1007/978-3-319-47247-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612468 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Noguet, Dominique. editor.&#160;Moessner, Klaus. editor.&#160;Palicot, Jacques. 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-40352-6">https://doi.org/10.1007/978-3-319-40352-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings ent://SD_ILS/0/SD_ILS:611347 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Bonato, Vanderlei. editor.&#160;Bouganis, Christos. editor.&#160;Gorgon, Marek. 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-30481-6">https://doi.org/10.1007/978-3-319-30481-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:617162 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46687-3">https://doi.org/10.1007/978-3-319-46687-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616108 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Gierlichs, Benedikt. editor.&#160;Poschmann, Axel Y. 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-662-53140-2">https://doi.org/10.1007/978-3-662-53140-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617572 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Gadducci, Fabio. editor.&#160;Tavosanis, Mirko. 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-47286-7">https://doi.org/10.1007/978-3-319-47286-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Vision Metrics Textbook Edition ent://SD_ILS/0/SD_ILS:617468 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Krig, Scott. 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-33762-3">https://doi.org/10.1007/978-3-319-33762-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197076 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Madhusudan, P. editor.&#160;Seshia, Sanjit A. 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-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bio-Inspired Technologies for the Hardware of Adaptive Systems Real-World Implementations and Applications ent://SD_ILS/0/SD_ILS:187754 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Negoita, Mircea Gh. author.&#160;Hintea, Sorin. author.&#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-76995-8">http://dx.doi.org/10.1007/978-3-540-76995-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Life Models in Hardware ent://SD_ILS/0/SD_ILS:175997 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Adamatzky, Andrew. editor.&#160;Komosinski, Maciej. 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-1-84882-530-7">http://dx.doi.org/10.1007/978-1-84882-530-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr&uuml;cken, Germany, October 3-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183095 2026-04-05T09:56:36Z 2026-04-05T09:56:36Z Yazar&#160;Borrione, Dominique. editor.&#160;Paul, Wolfgang. 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/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>