Search Results for Testing. - Narrowed by: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTesting.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300?dt=list 2025-03-19T14:49:42Z Property Testing Current Research and Surveys ent://SD_ILS/0/SD_ILS:193273 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Goldreich, Oded. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16367-8">http://dx.doi.org/10.1007/978-3-642-16367-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484655 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401714 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Beyersdorff, Olaf. editor.&#160;Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485622 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Sinz, Carsten. editor.&#160;Egly, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334724 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;J&auml;rvisalo, Matti. editor.&#160;Van Gelder, Allen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334724.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197115 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Cimatti, Alessandro. editor.&#160;Sebastiani, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Eder, Kerstin. editor.&#160;Louren&ccedil;o, Jo&atilde;o. editor.&#160;Shehory, Onn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194747 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Sakallah, Karem A. editor.&#160;Simon, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188500 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Kleine B&uuml;ning, Hans. editor.&#160;Zhao, Xishun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186652 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Marques-Silva, Jo&atilde;o. editor.&#160;Sakallah, Karem A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184496 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Biere, Armin. editor.&#160;Gomes, Carla P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182826 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Bacchus, Fahiem. editor.&#160;Walsh, Toby. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182752 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Hoos, Holger H. editor.&#160;Mitchell, David G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embracing Machines and Humanity Through Cognitive Computing and IoT ent://SD_ILS/0/SD_ILS:527331 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Usman, Mohammed. editor.&#160;Gao, Xiao-Zhi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-19-4522-9">https://doi.org/10.1007/978-981-19-4522-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Novel &amp; Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 1 ent://SD_ILS/0/SD_ILS:528807 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Kabassi, Katerina. editor.&#160;Mylonas, Phivos. editor.&#160;Caro, Jaime. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44097-7">https://doi.org/10.1007/978-3-031-44097-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Control, Robotics, and Industrial Automation Proceedings of International Conference, RCAAI 2022 ent://SD_ILS/0/SD_ILS:528811 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Sharma, Sanjay. editor.&#160;Subudhi, Bidyadhar. editor.&#160;Sahu, Umesh Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-4634-1">https://doi.org/10.1007/978-981-99-4634-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ethics in Artificial Intelligence: Bias, Fairness and Beyond ent://SD_ILS/0/SD_ILS:529041 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Mukherjee, Animesh. editor.&#160;Kulshrestha, Juhi. editor.&#160;Chakraborty, Abhijnan. editor.&#160;Kumar, Srijan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7184-8">https://doi.org/10.1007/978-981-99-7184-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science in Applications ent://SD_ILS/0/SD_ILS:527433 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328&#160;Bernatavi&#269;ien&#279;, Jolita. editor.&#160;Kacprzyk, Janusz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-24453-7">https://doi.org/10.1007/978-3-031-24453-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ITNG 2023 20th International Conference on Information Technology-New Generations ent://SD_ILS/0/SD_ILS:526966 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Latifi, Shahram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28332-1">https://doi.org/10.1007/978-3-031-28332-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Artificial Intelligence ent://SD_ILS/0/SD_ILS:527768 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Zgurovsky, Michael. editor.&#160;Pankratova, Nataliya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-37450-0">https://doi.org/10.1007/978-3-031-37450-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management, Analytics and Innovation Proceedings of ICDMAI 2022 ent://SD_ILS/0/SD_ILS:528377 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Goswami, Saptarsi. editor.&#160;Barara, Inderjit Singh. editor.&#160;Goje, Amol. editor.&#160;Mohan, C. editor.&#160;Bruckstein, Alfred M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-19-2600-6">https://doi.org/10.1007/978-981-19-2600-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Novel &amp; Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 2 ent://SD_ILS/0/SD_ILS:528436 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Kabassi, Katerina. editor.&#160;Mylonas, Phivos. editor.&#160;Caro, Jaime. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44146-2">https://doi.org/10.1007/978-3-031-44146-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022 ent://SD_ILS/0/SD_ILS:528537 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Yadav, Sanjay. editor.&#160;Kumar, Harish. editor.&#160;Kankar, Pavan Kumar. editor.&#160;Dai, Wanyang. editor.&#160;Huang, Fenghua. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-4554-2">https://doi.org/10.1007/978-981-99-4554-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Elements of Data Science, Machine Learning, and Artificial Intelligence Using R ent://SD_ILS/0/SD_ILS:528540 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Emmert-Streib, Frank. author.&#160;Moutari, Salissou. author.&#160;Dehmer, Matthias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-13339-8">https://doi.org/10.1007/978-3-031-13339-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of 2023 Chinese Intelligent Systems Conference Volume I ent://SD_ILS/0/SD_ILS:528556 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Jia, Yingmin. editor.&#160;Zhang, Weicun. editor.&#160;Fu, Yongling. editor.&#160;Wang, Jiqiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Analytics Proceedings of the 11th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA 2023) ent://SD_ILS/0/SD_ILS:528843 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Bhateja, Vikrant. editor.&#160;Carroll, Fiona. editor.&#160;Tavares, Jo&atilde;o Manuel R. S. editor.&#160;Sengar, Sandeep Singh. editor.&#160;Peer, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-6706-3">https://doi.org/10.1007/978-981-99-6706-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023 ent://SD_ILS/0/SD_ILS:528766 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Magdi, Dalia. editor.&#160;El-Fetouh, Ahmed Abou. editor.&#160;Mamdouh, Mohamed. editor.&#160;Joshi, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-4764-5">https://doi.org/10.1007/978-981-99-4764-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Automation, Robotics and Measuring Techniques Volume 3 Measuring Techniques and Systems ent://SD_ILS/0/SD_ILS:529383 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Szewczyk, Roman. editor.&#160;Zieli&#324;ski, Cezary. editor.&#160;Kaliczy&#324;ska, Ma&#322;gorzata. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15835-8">https://doi.org/10.1007/978-3-319-15835-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Suresh, L. Padma. editor.&#160;Dash, Subhransu Sekhar. editor.&#160;Panigrahi, Bijaya Ketan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formalisms for Reuse and Systems Integration ent://SD_ILS/0/SD_ILS:530630 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Bouabana-Tebibel, Thouraya. editor.&#160;Rubin, Stuart H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16577-6">https://doi.org/10.1007/978-3-319-16577-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brun&oacute;w, Poland ent://SD_ILS/0/SD_ILS:529344 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Zamojski, Wojciech. editor.&#160;Mazurkiewicz, Jacek. editor.&#160;Sugier, Jaros&#322;aw. editor.&#160;Walkowiak, Tomasz. editor.&#160;Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19216-1">https://doi.org/10.1007/978-3-319-19216-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Systems in Cybernetics and Automation Theory Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory ent://SD_ILS/0/SD_ILS:530555 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Prokopova, Zdenka. editor.&#160;Silhavy, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18503-3">https://doi.org/10.1007/978-3-319-18503-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems ent://SD_ILS/0/SD_ILS:530565 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Prokopova, Zdenka. editor.&#160;Silhavy, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18473-9">https://doi.org/10.1007/978-3-319-18473-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2 ent://SD_ILS/0/SD_ILS:530239 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Mandal, J. K. editor.&#160;Satapathy, Suresh Chandra. editor.&#160;Kumar Sanyal, Manas. editor.&#160;Sarkar, Partha Pratim. editor.&#160;Mukhopadhyay, Anirban. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2247-7">https://doi.org/10.1007/978-81-322-2247-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependability Problems of Complex Information Systems ent://SD_ILS/0/SD_ILS:530628 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Zamojski, Wojciech. editor.&#160;Sugier, Jaros&#322;aw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08964-5">https://doi.org/10.1007/978-3-319-08964-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Spaces Applications in Education ent://SD_ILS/0/SD_ILS:333964 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;Falmagne, Jean-Claude. editor.&#160;Albert, Dietrich. editor.&#160;Doble, Christopher. editor.&#160;Eppstein, David. editor.&#160;Hu, Xiangen. editor.<br/>Preferred Shelf Number&#160;ONLINE(333964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35329-1">http://dx.doi.org/10.1007/978-3-642-35329-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Condition Assessment of High Voltage Insulation in Power System Equipment ent://SD_ILS/0/SD_ILS:247914 2025-03-19T14:49:42Z 2025-03-19T14:49:42Z Author&#160;James, R. E.&#160;Su, Q.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBPO053E">http://dx.doi.org/10.1049/PBPO053E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>