Arama Sonuçları Testing. - Daraltılmış: Artificial intelligence.

Property Testing Current Research and Surveys

2026-03-30T04:26:03Z

Yazar Goldreich, Oded. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16367-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Attacks, Defenses and Testing for Deep Learning

2026-03-30T04:26:03Z

Yazar Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0425-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2026-03-30T04:26:03Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24258-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2026-03-30T04:26:03Z

Yazar Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99927-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-30T04:26:03Z

Yazar Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2026-03-30T04:26:03Z

Yazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70389-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-03-30T04:26:03Z

Yazar Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66263-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2026-03-30T04:26:03Z

Yazar Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49052-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2026-03-30T04:26:03Z

Yazar Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40970-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-30T04:26:03Z

Yazar Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09284-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-03-30T04:26:03Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-03-30T04:26:03Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-03-30T04:26:03Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

2026-03-30T04:26:03Z

Yazar Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34188-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

2026-03-30T04:26:03Z

Yazar Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31612-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

2026-03-30T04:26:03Z

Yazar Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21581-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2026-03-30T04:26:03Z

Yazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2026-03-30T04:26:03Z

Yazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2026-03-30T04:26:03Z

Yazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814948
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2026-03-30T04:26:03Z

Yazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137280
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2026-03-30T04:26:03Z

Yazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11527695
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Traditional vs generative AI pentesting : a hands-on approach to hacking

2026-03-30T04:26:03Z

Yazar Maleh, Yassine, 1987- author.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003640318 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative AI, cybersecurity, and ethics

2026-03-30T04:26:03Z

Yazar Islam, Ray (Mohammad Rubyet), author.
Yer Numarası QA76.9 .A25
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394279326
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart cyber-physical power systems : solutions from emerging technologies. Volume 2

2026-03-30T04:26:03Z

Yazar Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.
Yer Numarası TJ213 .S485 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microsoft Copilot Studio quick start : learn to create and deploy personalized AI solutions

2026-03-30T04:26:03Z

Yazar Matfess, Jared, author.
Yer Numarası Q335 .M38 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Hospital Manager's Guide to Artificial Intelligence Concepts, Methods, and Techniques

2026-03-30T04:26:03Z

Yazar Belciug, Smaranda. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80314-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Level Business Model: A New Managerial Perspective

2026-03-30T04:26:03Z

Yazar Cuomo, Maria Teresa. author. (orcid)0000-0003-3117-5914 Foroudi, Pantea. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92052-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps

2026-03-30T04:26:03Z

Yazar Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.
Yer Numarası QA76.76 .C52 V36 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

2026-03-30T04:26:03Z

Yazar Arif, Tariq M., author. John Wiley & Sons, publisher.
Yer Numarası Q325.73 .A75 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centric AI for Vehicle Dynamics Control With Methodology, Modelling and Simulation

2026-03-30T04:26:03Z

Yazar Aykent, Baris. author. (orcid)0000-0001-6711-9311 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85689-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-03-30T04:26:03Z

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings

2026-03-30T04:26:03Z

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89277-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Seed Quality Evaluation and Improvement

2026-03-30T04:26:03Z

Yazar Roy, Bidhan. editor. Shukla, Gopal. editor. Dunna, Vijay. editor. Sharma, Priyanka. editor. Shukla, Prabha Shankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-5178-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Boosting Software Development Using Machine Learning

2026-03-30T04:26:03Z

Yazar Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88188-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python

2026-03-30T04:26:03Z

Yazar Sundararajan, Srikrishnan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0353-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence-based system models in healthcare

2026-03-30T04:26:03Z

Yazar Anand, A. Jose, editor. Kalaiccelvi, Kā., editor. Chatterje, Jyotir Moy, editor.
Yer Numarası R859.7 .A78
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242528
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI applications to communications and information technologies : the role of ultra deep neural networks

2026-03-30T04:26:03Z

Yazar Minoli, Daniel, 1952- author. Occhiogrosso, Benedict, author.
Yer Numarası Q335 .M544 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394190034
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023

2026-03-30T04:26:03Z

Yazar Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7077-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mental Fatigue Assessment in Demanding Marine Operations

2026-03-30T04:26:03Z

Yazar Monteiro, Thiago Gabriel. author. Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-3072-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conversational artificial intelligence

2026-03-30T04:26:03Z

Yazar Rawat, Romil, 1986- editor. Chakrawarti, Rajesh Kumar, editor Sarangi, Sanjaya Kumar, editor Vyas, Piyush, editor Alamanda, Mary Sowjanya, editor
Yer Numarası Q335 .C66 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200801
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

2026-03-30T04:26:03Z

Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49266-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

2026-03-30T04:26:03Z

Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49269-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

2026-03-30T04:26:03Z

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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65112-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the TEPEN International Workshop on Fault Diagnostic and Prognostic TEPEN2024-IWFDP - Volume 1

2026-03-30T04:26:03Z

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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70235-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ITNG 2023 20th International Conference on Information Technology-New Generations

2026-03-30T04:26:03Z

Yazar Latifi, Shahram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28332-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Management, Analytics and Innovation Proceedings of ICDMAI 2022

2026-03-30T04:26:03Z

Yazar Goswami, Saptarsi. editor. Barara, Inderjit Singh. editor. Goje, Amol. editor. Mohan, C. editor. Bruckstein, Alfred M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-2600-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 2

2026-03-30T04:26:03Z

Yazar Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44146-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022

2026-03-30T04:26:03Z

Yazar Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-4554-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elements of Data Science, Machine Learning, and Artificial Intelligence Using R

2026-03-30T04:26:03Z

Yazar Emmert-Streib, Frank. author. Moutari, Salissou. author. Dehmer, Matthias. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-13339-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of 2023 Chinese Intelligent Systems Conference Volume I

2026-03-30T04:26:03Z

Yazar Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6847-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Data Engineering and Analytics Proceedings of the 11th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA 2023)

2026-03-30T04:26:03Z

Yazar Bhateja, Vikrant. editor. Carroll, Fiona. editor. Tavares, João Manuel R. S. editor. Sengar, Sandeep Singh. editor. Peer, Peter. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6706-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Control, Robotics, and Industrial Automation Proceedings of International Conference, RCAAI 2022

2026-03-30T04:26:03Z

Yazar Sharma, Sanjay. editor. Subudhi, Bidyadhar. editor. Sahu, Umesh Kumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-4634-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embracing Machines and Humanity Through Cognitive Computing and IoT

2026-03-30T04:26:03Z

Yazar Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4522-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science in Applications

2026-03-30T04:26:03Z

Yazar Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Bernatavičienė, Jolita. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-24453-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Artificial Intelligence

2026-03-30T04:26:03Z

Yazar Zgurovsky, Michael. editor. Pankratova, Nataliya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37450-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 1

2026-03-30T04:26:03Z

Yazar Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44097-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023

2026-03-30T04:26:03Z

Yazar Magdi, Dalia. editor. El-Fetouh, Ahmed Abou. editor. Mamdouh, Mohamed. editor. Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-4764-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ethics in Artificial Intelligence: Bias, Fairness and Beyond

2026-03-30T04:26:03Z

Yazar Mukherjee, Animesh. editor. Kulshrestha, Juhi. editor. Chakraborty, Abhijnan. editor. Kumar, Srijan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7184-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Springer Handbook of Model-Based Science

2026-03-30T04:26:03Z

Yazar Magnani, Lorenzo. editor. Bertolotti, Tommaso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30526-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-03-30T04:26:03Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66197-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Collaborative Learning Proceedings of the 19th ICL Conference - Volume 2

2026-03-30T04:26:03Z

Yazar Auer, Michael E. editor. Guralnick, David. editor. Uhomoibhi, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50340-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

2026-03-30T04:26:03Z

Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59147-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

2026-03-30T04:26:03Z

Yazar Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59936-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Collaborative Learning Proceedings of the 19th ICL Conference - Volume 1

2026-03-30T04:26:03Z

Yazar Auer, Michael E. editor. Guralnick, David. editor. Uhomoibhi, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50337-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-30T04:26:03Z

Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63121-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-03-30T04:26:03Z

Yazar Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51738-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-03-30T04:26:03Z

Yazar Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61467-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

2026-03-30T04:26:03Z

Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55792-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings

2026-03-30T04:26:03Z

Yazar Gao, Yang. editor. Fallah, Saber. editor. Jin, Yaochu. editor. (orcid)0000-0003-1100-0631 Lekakou, Constantina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64107-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-03-30T04:26:03Z

Yazar Beck, J. Christopher. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66158-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

2026-03-30T04:26:03Z

Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59153-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

2026-03-30T04:26:03Z

Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55849-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-30T04:26:03Z

Yazar Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60225-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-03-30T04:26:03Z

Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30734-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Robot Interaction Strategies for Walker-Assisted Locomotion

2026-03-30T04:26:03Z

Yazar Cifuentes, Carlos A. author. Frizera, Anselmo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34063-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

2026-03-30T04:26:03Z

Yazar Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40180-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Algorithms

2026-03-30T04:26:03Z

Yazar Kao, Ming-Yang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-2864-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-30T04:26:03Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47169-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Mechatronics Solutions

2026-03-30T04:26:03Z

Yazar Jabłoński, Ryszard. editor. Brezina, Tomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23923-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Quantitative Software Engineering

2026-03-30T04:26:03Z

Yazar Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25964-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-03-30T04:26:03Z

Yazar Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50230-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I

2026-03-30T04:26:03Z

Yazar Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43506-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Decision Technology Support in Practice

2026-03-30T04:26:03Z

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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21209-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach

2026-03-30T04:26:03Z

Yazar Gumzej, Roman. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28905-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-30T04:26:03Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47166-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Highway Travel Time Estimation With Data Fusion

2026-03-30T04:26:03Z

Yazar Soriguera Martí, Francesc. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-48858-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2026-03-30T04:26:03Z

Yazar Rueher, Michel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II

2026-03-30T04:26:03Z

Yazar Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43518-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Automation, Robotics and Measuring Techniques Volume 3 Measuring Techniques and Systems

2026-03-30T04:26:03Z

Yazar Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15835-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-30T04:26:03Z

Yazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19216-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1

2026-03-30T04:26:03Z

Yazar Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2126-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-30T04:26:03Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18503-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-03-30T04:26:03Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18473-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependability Problems of Complex Information Systems

2026-03-30T04:26:03Z

Yazar Zamojski, Wojciech. editor. Sugier, Jarosław. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08964-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formalisms for Reuse and Systems Integration

2026-03-30T04:26:03Z

Yazar Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16577-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2

2026-03-30T04:26:03Z

Yazar Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2247-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Spaces Applications in Education

2026-03-30T04:26:03Z

Yazar Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.
Yer Numarası ONLINE(333964.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35329-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Condition Assessment of High Voltage Insulation in Power System Equipment

2026-03-30T04:26:03Z

Yazar James, R. E. Su, Q.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1049/PBPO053E
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1