Search Results for hardware. - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dhardware.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300$0026isd$003dtrue?
2025-12-12T04:48:19Z
Artificial Intelligence and Hardware Accelerators
ent://SD_ILS/0/SD_ILS:527542
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Mishra, Ashutosh. editor. Cha, Jaekwang. editor. Park, Hyunbin. editor. Kim, Shiho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22170-5">https://doi.org/10.1007/978-3-031-22170-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Hardware
ent://SD_ILS/0/SD_ILS:175997
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits
ent://SD_ILS/0/SD_ILS:528284
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4017-0">https://doi.org/10.1007/978-981-19-4017-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Zhou, Luping. editor. Heller, Nicholas. editor. (orcid)0000-0001-8516-8707 Shi, Yiyu. editor. Xiao, Yiming. editor. (orcid)0000-0002-0962-3525 Sznitman, Raphael. editor. (orcid)0000-0001-6791-4753<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware for Soft Computing and Soft Computing for Hardware
ent://SD_ILS/0/SD_ILS:487869
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Nedjah, Nadia. author. Mourelle, Luiza de Macedo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03110-1">https://doi.org/10.1007/978-3-319-03110-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192933
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15323-5">http://dx.doi.org/10.1007/978-3-642-15323-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-Inspired Technologies for the Hardware of Adaptive Systems Real-World Implementations and Applications
ent://SD_ILS/0/SD_ILS:187754
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Negoita, Mircea Gh. author. Hintea, Sorin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Robotic Exploration and Landmark Determination Hardware-Efficient Algorithms and FPGA Implementations
ent://SD_ILS/0/SD_ILS:187402
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Sridharan, K. author. Kumar, Panakala Rajesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75394-0">http://dx.doi.org/10.1007/978-3-540-75394-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188793
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187218
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74626-3">http://dx.doi.org/10.1007/978-3-540-74626-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:181842
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format: Electronic Resources<br/>Availability Online Library~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. Proceedings
ent://SD_ILS/0/SD_ILS:183095
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence of Things: Technologies and Applications The Second International Conference on Intelligence of Things (ICIT 2023), Ho Chi Minh City, Vietnam, October 25-27, 2023, Proceedings, Volume 2
ent://SD_ILS/0/SD_ILS:528643
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Dao, Nhu-Ngoc. editor. Thinh, Tran Ngoc. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46749-3">https://doi.org/10.1007/978-3-031-46749-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing for Security Applications Proceedings of ICSCS 2023
ent://SD_ILS/0/SD_ILS:529021
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable AI for Cybersecurity
ent://SD_ILS/0/SD_ILS:528936
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Pan, Zhixin. author. Mishra, Prabhat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Trends in Electronics and Health Informatics TEHI 2022
ent://SD_ILS/0/SD_ILS:527979
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Mahmud, Mufti. editor. Mendoza-Barrera, Claudia. editor. Kaiser, M. Shamim. editor. Bandyopadhyay, Anirban. editor. Ray, Kanad. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1916-1">https://doi.org/10.1007/978-981-99-1916-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
2021 International Conference on Security and Information Technologies with AI, Internet Computing and Big-data Applications
ent://SD_ILS/0/SD_ILS:527120
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Tsihrintzis, George A. editor. Wang, Shiuh-Jeng. editor. Lin, Iuon-Chang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-05491-4">https://doi.org/10.1007/978-3-031-05491-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pipeline Inspection and Health Monitoring Technology The Key to Integrity Management
ent://SD_ILS/0/SD_ILS:527139
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Lu, Hongfang. author. Xu, Zhao-Dong. author. Iseley, Tom. author. Peng, Haoyan. author. Fu, Lingdi. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6798-6">https://doi.org/10.1007/978-981-19-6798-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Disruptive Technologies, Tech Ethics and Artificial Intelligence The DITTET 2023 Collection
ent://SD_ILS/0/SD_ILS:528138
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author de la Iglesia, Daniel H. editor. de Paz Santana, Juan F. editor. López Rivero, Alfonso J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38344-1">https://doi.org/10.1007/978-3-031-38344-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Use of Artificial Intelligence for Space Applications Workshop at the 2022 International Conference on Applied Intelligence and Informatics
ent://SD_ILS/0/SD_ILS:528223
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Ieracitano, Cosimo. editor. Mammone, Nadia. editor. Di Clemente, Marco. editor. Mahmud, Mufti. editor. Furfaro, Roberto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25755-1">https://doi.org/10.1007/978-3-031-25755-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 2023 Chinese Intelligent Systems Conference Volume I
ent://SD_ILS/0/SD_ILS:528556
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6847-3">https://doi.org/10.1007/978-981-99-6847-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483032
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483507
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483615
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485258
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486687
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399783
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:400238
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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, Proceedings
ent://SD_ILS/0/SD_ILS:400539
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
ent://SD_ILS/0/SD_ILS:529297
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Magdalena, Luis. editor. Verdegay, Jose Luis. editor. Esteva, Francesc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16235-5">https://doi.org/10.1007/978-3-319-16235-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1
ent://SD_ILS/0/SD_ILS:529343
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay Chen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13359-1">https://doi.org/10.1007/978-3-319-13359-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
ent://SD_ILS/0/SD_ILS:529942
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Abe, Jair Minoro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19722-7">https://doi.org/10.1007/978-3-319-19722-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529978
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2126-5">https://doi.org/10.1007/978-81-322-2126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2025-12-12T04:48:19Z
2025-12-12T04:48:19Z
Author Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>