Arama Sonuçları Software Testing. - Daraltılmış: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSoftware$002bTesting.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?dt=list
2026-03-21T22:24:25Z
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399422
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334820.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332962.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Boosting Software Development Using Machine Learning
ent://SD_ILS/0/SD_ILS:608573
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-88188-6">https://doi.org/10.1007/978-3-031-88188-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:607973
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608171
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-89277-6">https://doi.org/10.1007/978-3-031-89277-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps
ent://SD_ILS/0/SD_ILS:599609
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.<br/>Yer Numarası QA76.76 .C52 V36 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Microsoft Copilot Studio quick start : learn to create and deploy personalized AI solutions
ent://SD_ILS/0/SD_ILS:600098
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Matfess, Jared, author.<br/>Yer Numarası Q335 .M38 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602078
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49266-2">https://doi.org/10.1007/978-3-031-49266-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602079
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49269-3">https://doi.org/10.1007/978-3-031-49269-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Attacks, Defenses and Testing for Deep Learning
ent://SD_ILS/0/SD_ILS:603831
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-0425-5">https://doi.org/10.1007/978-981-97-0425-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023
ent://SD_ILS/0/SD_ILS:602435
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7077-3">https://doi.org/10.1007/978-981-99-7077-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Embracing Machines and Humanity Through Cognitive Computing and IoT
ent://SD_ILS/0/SD_ILS:527331
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
ent://SD_ILS/0/SD_ILS:528537
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615981
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616071
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616270
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616016
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617405
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617433
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611537
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Intelligence and Quantitative Software Engineering
ent://SD_ILS/0/SD_ILS:611266
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25964-2">https://doi.org/10.1007/978-3-319-25964-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Encyclopedia of Algorithms
ent://SD_ILS/0/SD_ILS:617569
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4939-2864-4">https://doi.org/10.1007/978-1-4939-2864-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617013
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40180-5">https://doi.org/10.1007/978-3-319-40180-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Gumzej, Roman. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28905-2">https://doi.org/10.1007/978-3-319-28905-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
ent://SD_ILS/0/SD_ILS:530239
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-21T22:24:25Z
2026-03-21T22:24:25Z
Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>