Arama Sonuçları Artificial intelligence. - Daraltılmış: Computer hardware.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dArtificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bhardware.$002509Computer$002bhardware.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-11-29T16:23:00ZEngineering 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–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835072024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Harris, Don. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Ient://SD_ILS/0/SD_ILS:4026662024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836152024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830322024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852582024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866872024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997832024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Papersent://SD_ILS/0/SD_ILS:4025222024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3989852024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005212024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005392024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Stoyanov, Danail. editor. Taylor, Zeike. editor. Aylward, Stephen. editor. (orcid)0000-0002-7862-8856 Tavares, João Manuel R.S. editor. (orcid)0000-0001-7603-6526 Xiao, Yiming. editor. (orcid)0000-0002-0962-3525<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 IIent://SD_ILS/0/SD_ILS:4006412024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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, Proceedingsent://SD_ILS/0/SD_ILS:4006442024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4001212024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4002382024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Frangi, Alejandro F. editor. (orcid)0000-0002-2675-528X Schnabel, Julia A. editor. Davatzikos, Christos. editor. (orcid)0000-0002-1025-8561 Alberola-López, Carlos. editor. (orcid)0000-0003-3684-0055 Fichtinger, Gabor. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedingsent://SD_ILS/0/SD_ILS:1970762024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Life Models in Hardwareent://SD_ILS/0/SD_ILS:1759972024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bio-Inspired Technologies for the Hardware of Adaptive Systems Real-World Implementations and Applicationsent://SD_ILS/0/SD_ILS:1877542024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Negoita, Mircea Gh. author. Hintea, Sorin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830952024-11-29T16:23:00Z2024-11-29T16:23:00ZYazar Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>