Search Results for Model theory. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModel$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2024-10-05T22:03:38Z
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520345
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.<br/>Preferred Shelf Number XX(520345.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5844-3">https://doi.org/10.1007/978-981-99-5844-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520369
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Buckley, Christopher L. editor. Cialfi, Daniela. editor. Lanillos, Pablo. editor. Ramstead, Maxwell. editor. Sajid, Noor. editor.<br/>Preferred Shelf Number XX(520369.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28719-0">https://doi.org/10.1007/978-3-031-28719-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520370
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520370.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28787-9">https://doi.org/10.1007/978-3-031-28787-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520374
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520374.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28816-6">https://doi.org/10.1007/978-3-031-28816-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520296
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520296.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27609-5">https://doi.org/10.1007/978-3-031-27609-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520836
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520836.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29956-8">https://doi.org/10.1007/978-3-031-29956-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520865
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520865.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32808-4">https://doi.org/10.1007/978-3-031-32808-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520868
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520868.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33498-6">https://doi.org/10.1007/978-3-031-33498-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521140
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521140.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42823-4">https://doi.org/10.1007/978-3-031-42823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521168
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521168.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44210-0">https://doi.org/10.1007/978-3-031-44210-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metaverse - METAVERSE 2023 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521176
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author He, Sheng. editor. Lai, Jiacai. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521176.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44754-9">https://doi.org/10.1007/978-3-031-44754-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520232
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520232.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30648-8">https://doi.org/10.1007/978-3-031-30648-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520194
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520194.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23950-2">https://doi.org/10.1007/978-3-031-23950-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:520405
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(520405.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1648-1">https://doi.org/10.1007/978-981-99-1648-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520407
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Pan, Linqiang. editor. Zhao, Dongming. editor. Li, Lianghao. editor. Lin, Jianqing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520407.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1549-1">https://doi.org/10.1007/978-981-99-1549-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520410
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Yang, Hongming. editor. Fei, Jiang. editor. Qiang, Tang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520410.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31733-0">https://doi.org/10.1007/978-3-031-31733-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks
ent://SD_ILS/0/SD_ILS:520469
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520469.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33920-2">https://doi.org/10.1007/978-3-031-33920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520319
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520319.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2446-2">https://doi.org/10.1007/978-981-99-2446-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520735
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520735.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8296-7">https://doi.org/10.1007/978-981-99-8296-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520757
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Ngatched Nkouatchah, Telex Magloire. editor. Woungang, Isaac. editor. Tapamo, Jules-Raymond. editor. Viriri, Serestina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520757.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25271-6">https://doi.org/10.1007/978-3-031-25271-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:521010
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number XX(521010.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37114-1">https://doi.org/10.1007/978-3-031-37114-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520890
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520890.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28083-2">https://doi.org/10.1007/978-3-031-28083-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520893
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520893.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27066-6">https://doi.org/10.1007/978-3-031-27066-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520898
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520898.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Computational Molecular Biology 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520924
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Tang, Haixu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520924.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29119-7">https://doi.org/10.1007/978-3-031-29119-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521120
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521120.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42441-0">https://doi.org/10.1007/978-3-031-42441-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521127
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521127.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43264-4">https://doi.org/10.1007/978-3-031-43264-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521236
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521236.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45368-7">https://doi.org/10.1007/978-3-031-45368-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521363
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.<br/>Preferred Shelf Number XX(521363.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49008-8">https://doi.org/10.1007/978-3-031-49008-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521379
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Preferred Shelf Number XX(521379.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Worldwide Successful Pediatric Nurse-Led Models of Care
ent://SD_ILS/0/SD_ILS:521442
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Betz, Cecily L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521442.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22152-1">https://doi.org/10.1007/978-3-031-22152-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521388
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(521388.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30105-6">https://doi.org/10.1007/978-3-031-30105-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nursing: Health Education and Improving Patient Self-Management Intervention Mapping for Healthy Lifestyles
ent://SD_ILS/0/SD_ILS:521553
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Sassen, Barbara. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521553.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-11255-3">https://doi.org/10.1007/978-3-031-11255-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Threshold Decision-making in Clinical Medicine With Practical Application to Hematology and Oncology
ent://SD_ILS/0/SD_ILS:521946
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Djulbegovic, Benjamin. author. Hozo, Iztok. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521946.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37993-2">https://doi.org/10.1007/978-3-031-37993-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520517
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520517.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36840-0">https://doi.org/10.1007/978-3-031-36840-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics A Theoretical and Practical View from the EDISON Project
ent://SD_ILS/0/SD_ILS:520729
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520729.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39129-3">https://doi.org/10.1007/978-3-031-39129-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Forum BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520780
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520780.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41623-1">https://doi.org/10.1007/978-3-031-41623-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence: A Bridge Between Psychoanalysis and Neurology The Psi-Organ in a Nutshell
ent://SD_ILS/0/SD_ILS:520673
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Dietrich, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520673.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30368-5">https://doi.org/10.1007/978-3-031-30368-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520677
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520677.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33728-4">https://doi.org/10.1007/978-3-031-33728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520682
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.<br/>Preferred Shelf Number XX(520682.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36336-8">https://doi.org/10.1007/978-3-031-36336-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521027
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521027.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34609-5">https://doi.org/10.1007/978-3-031-34609-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Family-Centered Care in Childhood Disability Theory, Research, Practice
ent://SD_ILS/0/SD_ILS:521711
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Provenzi, Livio. editor. Grumi, Serena. editor. Borgatti, Renato. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521711.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34252-3">https://doi.org/10.1007/978-3-031-34252-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520219
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520219.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31353-0">https://doi.org/10.1007/978-3-031-31353-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Transfer Learning Algorithms and Practice
ent://SD_ILS/0/SD_ILS:520394
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Wang, Jindong. author. Chen, Yiqiang. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520394.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7584-4">https://doi.org/10.1007/978-981-19-7584-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:520402
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(520402.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1642-9">https://doi.org/10.1007/978-981-99-1642-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520493
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520493.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36597-3">https://doi.org/10.1007/978-3-031-36597-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520516
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520516.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-4430-9">https://doi.org/10.1007/978-981-99-4430-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520601
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520601.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42532-5">https://doi.org/10.1007/978-3-031-42532-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520617
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.<br/>Preferred Shelf Number XX(520617.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5971-6">https://doi.org/10.1007/978-981-99-5971-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520698
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520698.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44668-9">https://doi.org/10.1007/978-3-031-44668-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Data-Aware Processes via Satisfiability Modulo Theories
ent://SD_ILS/0/SD_ILS:520722
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Gianola, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520722.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42746-6">https://doi.org/10.1007/978-3-031-42746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521271
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.<br/>Preferred Shelf Number XX(521271.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47262-6">https://doi.org/10.1007/978-3-031-47262-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Storytelling 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521276
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Holloway-Attaway, Lissa. editor. Murray, John T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521276.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47655-6">https://doi.org/10.1007/978-3-031-47655-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521295
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521295.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33163-3">https://doi.org/10.1007/978-3-031-33163-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521302
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521302.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39764-6">https://doi.org/10.1007/978-3-031-39764-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521325
2024-10-05T22:03:38Z
2024-10-05T22:03:38Z
Author Olenev, Nicholas. editor. (orcid) Evtushenko, Yuri. editor. Jaćimović, Milojica. editor. Khachay, Michael. editor. (orcid) Malkova, Vlasta. editor.<br/>Preferred Shelf Number XX(521325.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47859-8">https://doi.org/10.1007/978-3-031-47859-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>