Arama Sonuçları Testing. - Daraltılmış: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTesting.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?dt=list
2026-03-30T19:07:04Z
Property Testing Current Research and Surveys
ent://SD_ILS/0/SD_ILS:193273
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Goldreich, Oded. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484655
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401714
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611748
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66263-3">https://doi.org/10.1007/978-3-319-66263-3</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-30T19:07:04Z
2026-03-30T19:07:04Z
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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616303
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40970-2">https://doi.org/10.1007/978-3-319-40970-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T19:07:04Z
2026-03-30T19:07:04Z
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 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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334724.1)<br/>Elektronik Erişim <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: 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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197115
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186652
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Traditional vs generative AI pentesting : a hands-on approach to hacking
ent://SD_ILS/0/SD_ILS:574696
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Maleh, Yassine, 1987- author.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003640318">https://www.taylorfrancis.com/books/9781003640318</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generative AI, cybersecurity, and ethics
ent://SD_ILS/0/SD_ILS:599597
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Islam, Ray (Mohammad Rubyet), author.<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394279326">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394279326</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
ent://SD_ILS/0/SD_ILS:599758
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.<br/>Yer Numarası TJ213 .S485 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Hospital Manager's Guide to Artificial Intelligence Concepts, Methods, and Techniques
ent://SD_ILS/0/SD_ILS:606983
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Belciug, Smaranda. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80314-7">https://doi.org/10.1007/978-3-031-80314-7</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python
ent://SD_ILS/0/SD_ILS:608723
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Sundararajan, Srikrishnan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-0353-5">https://doi.org/10.1007/978-981-99-0353-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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Advances in Seed Quality Evaluation and Improvement
ent://SD_ILS/0/SD_ILS:608527
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Roy, Bidhan. editor. Shukla, Gopal. editor. Dunna, Vijay. editor. Sharma, Priyanka. editor. Shukla, Prabha Shankar. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-5178-8">https://doi.org/10.1007/978-981-96-5178-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantum Level Business Model: A New Managerial Perspective
ent://SD_ILS/0/SD_ILS:609157
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Cuomo, Maria Teresa. author. (orcid)0000-0003-3117-5914 Foroudi, Pantea. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-92052-3">https://doi.org/10.1007/978-3-031-92052-3</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
ent://SD_ILS/0/SD_ILS:599880
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Arif, Tariq M., author. John Wiley & Sons, publisher.<br/>Yer Numarası Q325.73 .A75 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human-Centric AI for Vehicle Dynamics Control With Methodology, Modelling and Simulation
ent://SD_ILS/0/SD_ILS:607958
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Aykent, Baris. author. (orcid)0000-0001-6711-9311 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85689-1">https://doi.org/10.1007/978-3-031-85689-1</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Conversational artificial intelligence
ent://SD_ILS/0/SD_ILS:598905
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Rawat, Romil, 1986- editor. Chakrawarti, Rajesh Kumar, editor Sarangi, Sanjaya Kumar, editor Vyas, Piyush, editor Alamanda, Mary Sowjanya, editor<br/>Yer Numarası Q335 .C66 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200801">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200801</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-30T19:07:04Z
2026-03-30T19:07:04Z
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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Mental Fatigue Assessment in Demanding Marine Operations
ent://SD_ILS/0/SD_ILS:603926
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Monteiro, Thiago Gabriel. author. Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-3072-8">https://doi.org/10.1007/978-981-97-3072-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of the TEPEN International Workshop on Fault Diagnostic and Prognostic TEPEN2024-IWFDP - Volume 1
ent://SD_ILS/0/SD_ILS:609923
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Chen, Bingyan. editor. (orcid)0000-0001-7103-0221 Liang, Xiaoxia. editor. Lin, Tian Ran. editor. (orcid)0000-0001-6869-4617 Chu, Fulei. editor. (orcid)0000-0003-0775-3593 Ball, Andrew D. editor. (orcid)0000-0001-7540-8965<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70235-8">https://doi.org/10.1007/978-3-031-70235-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial intelligence-based system models in healthcare
ent://SD_ILS/0/SD_ILS:599424
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Anand, A. Jose, editor. Kalaiccelvi, Kā., editor. Chatterje, Jyotir Moy, editor.<br/>Yer Numarası R859.7 .A78<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242528">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242528</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604350
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Avni, Guy. editor. Giacobbe, Mirco. editor. (orcid)0000-0001-8180-0904 Johnson, Taylor T. editor. (orcid)0000-0001-8021-9923 Katz, Guy. editor. (orcid)0000-0001-5292-801X Lukina, Anna. editor. (orcid)0000-0001-9525-0333<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65112-0">https://doi.org/10.1007/978-3-031-65112-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI applications to communications and information technologies : the role of ultra deep neural networks
ent://SD_ILS/0/SD_ILS:598654
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Minoli, Daniel, 1952- author. Occhiogrosso, Benedict, author.<br/>Yer Numarası Q335 .M544 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394190034">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394190034</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Analysis and Artificial Intelligence
ent://SD_ILS/0/SD_ILS:527768
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Zgurovsky, Michael. editor. Pankratova, Nataliya. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Management, Analytics and Innovation Proceedings of ICDMAI 2022
ent://SD_ILS/0/SD_ILS:528377
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Goswami, Saptarsi. editor. Barara, Inderjit Singh. editor. Goje, Amol. editor. Mohan, C. editor. Bruckstein, Alfred M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 2
ent://SD_ILS/0/SD_ILS:528436
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Elements of Data Science, Machine Learning, and Artificial Intelligence Using R
ent://SD_ILS/0/SD_ILS:528540
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Emmert-Streib, Frank. author. Moutari, Salissou. author. Dehmer, Matthias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of 2023 Chinese Intelligent Systems Conference Volume I
ent://SD_ILS/0/SD_ILS:528556
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Science in Applications
ent://SD_ILS/0/SD_ILS:527433
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Bernatavičienė, Jolita. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023
ent://SD_ILS/0/SD_ILS:528766
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Magdi, Dalia. editor. El-Fetouh, Ahmed Abou. editor. Mamdouh, Mohamed. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ITNG 2023 20th International Conference on Information Technology-New Generations
ent://SD_ILS/0/SD_ILS:526966
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Latifi, Shahram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 1
ent://SD_ILS/0/SD_ILS:528807
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Control, Robotics, and Industrial Automation Proceedings of International Conference, RCAAI 2022
ent://SD_ILS/0/SD_ILS:528811
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Sharma, Sanjay. editor. Subudhi, Bidyadhar. editor. Sahu, Umesh Kumar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Bhateja, Vikrant. editor. Carroll, Fiona. editor. Tavares, João Manuel R. S. editor. Sengar, Sandeep Singh. editor. Peer, Peter. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ethics in Artificial Intelligence: Bias, Fairness and Beyond
ent://SD_ILS/0/SD_ILS:529041
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Mukherjee, Animesh. editor. Kulshrestha, Juhi. editor. Chakraborty, Abhijnan. editor. Kumar, Srijan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612715
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59936-6">https://doi.org/10.1007/978-3-319-59936-6</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-30T19:07:04Z
2026-03-30T19:07:04Z
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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Springer Handbook of Model-Based Science
ent://SD_ILS/0/SD_ILS:611998
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Magnani, Lorenzo. editor. Bertolotti, Tommaso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30526-4">https://doi.org/10.1007/978-3-319-30526-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616778
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66158-2">https://doi.org/10.1007/978-3-319-66158-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 I
ent://SD_ILS/0/SD_ILS:617433
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Collaborative Learning Proceedings of the 19th ICL Conference - Volume 1
ent://SD_ILS/0/SD_ILS:614876
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Auer, Michael E. editor. Guralnick, David. editor. Uhomoibhi, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-50337-0">https://doi.org/10.1007/978-3-319-50337-0</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616017
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Gao, Yang. editor. Fallah, Saber. editor. Jin, Yaochu. editor. (orcid)0000-0003-1100-0631 Lekakou, Constantina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64107-2">https://doi.org/10.1007/978-3-319-64107-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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618013
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51738-4">https://doi.org/10.1007/978-3-319-51738-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616091
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Interactive Collaborative Learning Proceedings of the 19th ICL Conference - Volume 2
ent://SD_ILS/0/SD_ILS:616440
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Auer, Michael E. editor. Guralnick, David. editor. Uhomoibhi, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-50340-0">https://doi.org/10.1007/978-3-319-50340-0</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 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-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Mechatronics Solutions
ent://SD_ILS/0/SD_ILS:615064
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Jabłoński, Ryszard. editor. Brezina, Tomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23923-1">https://doi.org/10.1007/978-3-319-23923-1</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616174
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Rueher, Michel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44953-1">https://doi.org/10.1007/978-3-319-44953-1</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-30T19:07:04Z
2026-03-30T19:07:04Z
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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Intelligent Robotics and Applications 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617507
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43506-0">https://doi.org/10.1007/978-3-319-43506-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617509
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43518-3">https://doi.org/10.1007/978-3-319-43518-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Decision Technology Support in Practice
ent://SD_ILS/0/SD_ILS:618142
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Tweedale, Jeffrey W. editor. Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Phillips-Wren, Gloria. editor. Watada, Junzo. editor. (orcid)0000-0002-3322-2086<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21209-8">https://doi.org/10.1007/978-3-319-21209-8</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Highway Travel Time Estimation With Data Fusion
ent://SD_ILS/0/SD_ILS:615121
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Soriguera Martí, Francesc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48858-4">https://doi.org/10.1007/978-3-662-48858-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human-Robot Interaction Strategies for Walker-Assisted Locomotion
ent://SD_ILS/0/SD_ILS:615864
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Cifuentes, Carlos A. author. Frizera, Anselmo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-34063-0">https://doi.org/10.1007/978-3-319-34063-0</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
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ów, Poland
ent://SD_ILS/0/SD_ILS:529344
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529978
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependability Problems of Complex Information Systems
ent://SD_ILS/0/SD_ILS:530628
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Zamojski, Wojciech. editor. Sugier, Jarosław. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formalisms for Reuse and Systems Integration
ent://SD_ILS/0/SD_ILS:530630
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Progress in Automation, Robotics and Measuring Techniques Volume 3 Measuring Techniques and Systems
ent://SD_ILS/0/SD_ILS:529383
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
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-18503-3">https://doi.org/10.1007/978-3-319-18503-3</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-30T19:07:04Z
2026-03-30T19:07:04Z
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/>
Knowledge Spaces Applications in Education
ent://SD_ILS/0/SD_ILS:333964
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.<br/>Yer Numarası ONLINE(333964.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Condition Assessment of High Voltage Insulation in Power System Equipment
ent://SD_ILS/0/SD_ILS:247914
2026-03-30T19:07:04Z
2026-03-30T19:07:04Z
Yazar James, R. E. Su, Q.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBPO053E">http://dx.doi.org/10.1049/PBPO053E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>