Search Results for Testing. - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTesting.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?dt=list
2026-03-29T17:56:53Z
Property Testing Current Research and Surveys
ent://SD_ILS/0/SD_ILS:193273
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Goldreich, Oded. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Attacks, Defenses and Testing for Deep Learning
ent://SD_ILS/0/SD_ILS:603831
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485622
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194747
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184496
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182826
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182752
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Traditional vs generative AI pentesting : a hands-on approach to hacking
ent://SD_ILS/0/SD_ILS:574696
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Maleh, Yassine, 1987- author.<br/>Preferred Shelf Number Q335<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Generative AI, cybersecurity, and ethics
ent://SD_ILS/0/SD_ILS:599597
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Islam, Ray (Mohammad Rubyet), author.<br/>Preferred Shelf Number QA76.9 .A25<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394279326">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394279326</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
ent://SD_ILS/0/SD_ILS:599758
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.<br/>Preferred Shelf Number TJ213 .S485 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microsoft Copilot Studio quick start : learn to create and deploy personalized AI solutions
ent://SD_ILS/0/SD_ILS:600098
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Matfess, Jared, author.<br/>Preferred Shelf Number Q335 .M38 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Hospital Manager's Guide to Artificial Intelligence Concepts, Methods, and Techniques
ent://SD_ILS/0/SD_ILS:606983
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Belciug, Smaranda. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Level Business Model: A New Managerial Perspective
ent://SD_ILS/0/SD_ILS:609157
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Cuomo, Maria Teresa. author. (orcid)0000-0003-3117-5914 Foroudi, Pantea. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.<br/>Preferred Shelf Number QA76.76 .C52 V36 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Arif, Tariq M., author. John Wiley & Sons, publisher.<br/>Preferred Shelf Number Q325.73 .A75 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centric AI for Vehicle Dynamics Control With Methodology, Modelling and Simulation
ent://SD_ILS/0/SD_ILS:607958
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Aykent, Baris. author. (orcid)0000-0001-6711-9311 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Seed Quality Evaluation and Improvement
ent://SD_ILS/0/SD_ILS:608527
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Roy, Bidhan. editor. Shukla, Gopal. editor. Dunna, Vijay. editor. Sharma, Priyanka. editor. Shukla, Prabha Shankar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Boosting Software Development Using Machine Learning
ent://SD_ILS/0/SD_ILS:608573
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python
ent://SD_ILS/0/SD_ILS:608723
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Sundararajan, Srikrishnan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial intelligence-based system models in healthcare
ent://SD_ILS/0/SD_ILS:599424
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Anand, A. Jose, editor. Kalaiccelvi, Kā., editor. Chatterje, Jyotir Moy, editor.<br/>Preferred Shelf Number R859.7 .A78<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242528">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242528</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Minoli, Daniel, 1952- author. Occhiogrosso, Benedict, author.<br/>Preferred Shelf Number Q335 .M544 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394190034">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394190034</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mental Fatigue Assessment in Demanding Marine Operations
ent://SD_ILS/0/SD_ILS:603926
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Monteiro, Thiago Gabriel. author. Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Conversational artificial intelligence
ent://SD_ILS/0/SD_ILS:598905
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Rawat, Romil, 1986- editor. Chakrawarti, Rajesh Kumar, editor Sarangi, Sanjaya Kumar, editor Vyas, Piyush, editor Alamanda, Mary Sowjanya, editor<br/>Preferred Shelf Number Q335 .C66 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200801">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200801</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
ITNG 2023 20th International Conference on Information Technology-New Generations
ent://SD_ILS/0/SD_ILS:526966
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management, Analytics and Innovation Proceedings of ICDMAI 2022
ent://SD_ILS/0/SD_ILS:528377
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Goswami, Saptarsi. editor. Barara, Inderjit Singh. editor. Goje, Amol. editor. Mohan, C. editor. Bruckstein, Alfred M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
ent://SD_ILS/0/SD_ILS:528537
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Elements of Data Science, Machine Learning, and Artificial Intelligence Using R
ent://SD_ILS/0/SD_ILS:528540
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Emmert-Streib, Frank. author. Moutari, Salissou. author. Dehmer, Matthias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 2023 Chinese Intelligent Systems Conference Volume I
ent://SD_ILS/0/SD_ILS:528556
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6847-3">https://doi.org/10.1007/978-981-99-6847-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Bhateja, Vikrant. editor. Carroll, Fiona. editor. Tavares, João Manuel R. S. editor. Sengar, Sandeep Singh. editor. Peer, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Control, Robotics, and Industrial Automation Proceedings of International Conference, RCAAI 2022
ent://SD_ILS/0/SD_ILS:528811
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Sharma, Sanjay. editor. Subudhi, Bidyadhar. editor. Sahu, Umesh Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Embracing Machines and Humanity Through Cognitive Computing and IoT
ent://SD_ILS/0/SD_ILS:527331
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science in Applications
ent://SD_ILS/0/SD_ILS:527433
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Bernatavičienė, Jolita. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Artificial Intelligence
ent://SD_ILS/0/SD_ILS:527768
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Zgurovsky, Michael. editor. Pankratova, Nataliya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023
ent://SD_ILS/0/SD_ILS:528766
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Magdi, Dalia. editor. El-Fetouh, Ahmed Abou. editor. Mamdouh, Mohamed. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ethics in Artificial Intelligence: Bias, Fairness and Beyond
ent://SD_ILS/0/SD_ILS:529041
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Mukherjee, Animesh. editor. Kulshrestha, Juhi. editor. Chakraborty, Abhijnan. editor. Kumar, Srijan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Springer Handbook of Model-Based Science
ent://SD_ILS/0/SD_ILS:611998
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Magnani, Lorenzo. editor. Bertolotti, Tommaso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Collaborative Learning Proceedings of the 19th ICL Conference - Volume 2
ent://SD_ILS/0/SD_ILS:616440
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Auer, Michael E. editor. Guralnick, David. editor. Uhomoibhi, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Collaborative Learning Proceedings of the 19th ICL Conference - Volume 1
ent://SD_ILS/0/SD_ILS:614876
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Auer, Michael E. editor. Guralnick, David. editor. Uhomoibhi, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Gao, Yang. editor. Fallah, Saber. editor. Jin, Yaochu. editor. (orcid)0000-0003-1100-0631 Lekakou, Constantina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Robot Interaction Strategies for Walker-Assisted Locomotion
ent://SD_ILS/0/SD_ILS:615864
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Cifuentes, Carlos A. author. Frizera, Anselmo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Algorithms
ent://SD_ILS/0/SD_ILS:617569
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Mechatronics Solutions
ent://SD_ILS/0/SD_ILS:615064
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Jabłoński, Ryszard. editor. Brezina, Tomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Quantitative Software Engineering
ent://SD_ILS/0/SD_ILS:611266
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Decision Technology Support in Practice
ent://SD_ILS/0/SD_ILS:618142
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Gumzej, Roman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Highway Travel Time Estimation With Data Fusion
ent://SD_ILS/0/SD_ILS:615121
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Soriguera Martí, Francesc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Rueher, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Automation, Robotics and Measuring Techniques Volume 3 Measuring Techniques and Systems
ent://SD_ILS/0/SD_ILS:529383
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
ent://SD_ILS/0/SD_ILS:529344
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529978
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2126-5">https://doi.org/10.1007/978-81-322-2126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-29T17:56:53Z
2026-03-29T17:56:53Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
ent://SD_ILS/0/SD_ILS:530565
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Dependability Problems of Complex Information Systems
ent://SD_ILS/0/SD_ILS:530628
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Zamojski, Wojciech. editor. Sugier, Jarosław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formalisms for Reuse and Systems Integration
ent://SD_ILS/0/SD_ILS:530630
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
ent://SD_ILS/0/SD_ILS:530239
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Spaces Applications in Education
ent://SD_ILS/0/SD_ILS:333964
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.<br/>Preferred Shelf Number ONLINE(333964.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Condition Assessment of High Voltage Insulation in Power System Equipment
ent://SD_ILS/0/SD_ILS:247914
2026-03-29T17:56:53Z
2026-03-29T17:56:53Z
Author James, R. E. Su, Q.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBPO053E">http://dx.doi.org/10.1049/PBPO053E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>