Search Results for Logic. - Narrowed by: E-Book - 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-03T01:46:20Z
R-Calculus, IV: Propositional Logic
ent://SD_ILS/0/SD_ILS:520383
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520383.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8633-8">https://doi.org/10.1007/978-981-19-8633-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Farmer, William M. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520259.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520880
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520880.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521080
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521080.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39965-7">https://doi.org/10.1007/978-3-031-39965-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521191
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521191.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36978-0">https://doi.org/10.1007/978-3-031-36978-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521192
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521192.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521376
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521376.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49299-0">https://doi.org/10.1007/978-3-031-49299-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521384
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521384.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26622-5">https://doi.org/10.1007/978-3-031-26622-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520731
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520731.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7869-4">https://doi.org/10.1007/978-981-99-7869-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WAIC and WBIC with R Stan 100 Exercises for Building Logic
ent://SD_ILS/0/SD_ILS:520717
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Suzuki, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520717.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3838-4">https://doi.org/10.1007/978-981-99-3838-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520823
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520823.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520827
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520827.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25894-7">https://doi.org/10.1007/978-3-031-25894-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521245
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521245.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521257
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521257.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43977-3">https://doi.org/10.1007/978-3-031-43977-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521259
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521259.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45558-2">https://doi.org/10.1007/978-3-031-45558-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520324.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26904-2">https://doi.org/10.1007/978-3-031-26904-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradigms of Smart and Intelligent Communication, 5G and Beyond
ent://SD_ILS/0/SD_ILS:520326
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520326.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0109-8">https://doi.org/10.1007/978-981-99-0109-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics for Computer Scientists A Practice-Oriented Approach
ent://SD_ILS/0/SD_ILS:520344
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520344.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520368
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.<br/>Preferred Shelf Number XX(520368.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28180-8">https://doi.org/10.1007/978-3-031-28180-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature of Computation and Communication 8th EAI International Conference, ICTCC 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520373
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520373.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28790-9">https://doi.org/10.1007/978-3-031-28790-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520459
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520459.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34622-4">https://doi.org/10.1007/978-3-031-34622-4</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520477
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520477.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34896-9">https://doi.org/10.1007/978-3-031-34896-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Preferred Shelf Number XX(520609.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39179-8">https://doi.org/10.1007/978-3-031-39179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520498
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520498.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35078-8">https://doi.org/10.1007/978-3-031-35078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520499
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520499.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35081-8">https://doi.org/10.1007/978-3-031-35081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520668
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.<br/>Preferred Shelf Number XX(520668.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29126-5">https://doi.org/10.1007/978-3-031-29126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520518
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520518.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38296-3">https://doi.org/10.1007/978-3-031-38296-3</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520796
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520796.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19907-3">https://doi.org/10.1007/978-3-031-19907-3</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520911
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520911.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information Thematic Area, HIMI 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:521033
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521033.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35129-7">https://doi.org/10.1007/978-3-031-35129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:521062
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.<br/>Preferred Shelf Number XX(521062.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40289-0">https://doi.org/10.1007/978-3-031-40289-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521082
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521082.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42626-1">https://doi.org/10.1007/978-3-031-42626-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521089
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Atluri, Vijayalakshmi. editor. Ferrara, Anna Lisa. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521089.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37586-6">https://doi.org/10.1007/978-3-031-37586-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521111
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Holzinger, Andreas. editor. Kieseberg, Peter. editor. Cabitza, Federico. editor. Campagner, Andrea. editor. Tjoa, A Min. editor.<br/>Preferred Shelf Number XX(521111.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40837-3">https://doi.org/10.1007/978-3-031-40837-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521289
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)<br/>Preferred Shelf Number XX(521289.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28244-7">https://doi.org/10.1007/978-3-031-28244-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Prolog: The Next 50 Years
ent://SD_ILS/0/SD_ILS:521397
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Preferred Shelf Number XX(521397.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521406
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521406.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47745-4">https://doi.org/10.1007/978-3-031-47745-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Automation of Quantum Computers
ent://SD_ILS/0/SD_ILS:520174
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Topaloglu, Rasit O. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520174.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-15699-1">https://doi.org/10.1007/978-3-031-15699-1</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520271.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17411-7">https://doi.org/10.1007/978-3-031-17411-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520525.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
ent://SD_ILS/0/SD_ILS:520574
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520574.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520625
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520625.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42622-3">https://doi.org/10.1007/978-3-031-42622-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520500
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520500.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36833-2">https://doi.org/10.1007/978-3-031-36833-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520693
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520693.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45438-7">https://doi.org/10.1007/978-3-031-45438-7</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Programming Languages: Principles and Paradigms
ent://SD_ILS/0/SD_ILS:520706
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520706.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34144-1">https://doi.org/10.1007/978-3-031-34144-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520784
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Preferred Shelf Number XX(520784.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520788
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520788.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520889.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520802
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520802.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520976.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520982
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Preferred Shelf Number XX(520982.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5837-5">https://doi.org/10.1007/978-981-99-5837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520984.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521001
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.<br/>Preferred Shelf Number XX(521001.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36402-0">https://doi.org/10.1007/978-3-031-36402-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521002
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521002.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36616-1">https://doi.org/10.1007/978-3-031-36616-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521194
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521194.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43153-1">https://doi.org/10.1007/978-3-031-43153-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521209
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521209.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521324
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521324.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521340
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521340.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521359
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.<br/>Preferred Shelf Number XX(521359.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47966-3">https://doi.org/10.1007/978-3-031-47966-3</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521296
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521296.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33469-6">https://doi.org/10.1007/978-3-031-33469-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521300
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521300.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37616-0">https://doi.org/10.1007/978-3-031-37616-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521307
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)<br/>Preferred Shelf Number XX(521307.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40725-3">https://doi.org/10.1007/978-3-031-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:521411
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521411.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ent://SD_ILS/0/SD_ILS:520401
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Schreiner, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520401.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24934-1">https://doi.org/10.1007/978-3-031-24934-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:520416
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520416.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29386-3">https://doi.org/10.1007/978-3-031-29386-3</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Konrad Zuse's Early Computers The Quest for the Computer in Germany
ent://SD_ILS/0/SD_ILS:520704
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Rojas, Raúl. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520704.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39876-6">https://doi.org/10.1007/978-3-031-39876-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520837
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520837.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30047-9">https://doi.org/10.1007/978-3-031-30047-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520840
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520840.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520842
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520842.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520858
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520858.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32180-1">https://doi.org/10.1007/978-3-031-32180-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:520864
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520864.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520955
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520955.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33180-0">https://doi.org/10.1007/978-3-031-33180-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520965
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520965.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40113-8">https://doi.org/10.1007/978-3-031-40113-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521004.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521126
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.<br/>Preferred Shelf Number XX(521126.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42935-4">https://doi.org/10.1007/978-3-031-42935-4</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521139
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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 X
ent://SD_ILS/0/SD_ILS:521166
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521166.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44204-9">https://doi.org/10.1007/978-3-031-44204-9</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 IV
ent://SD_ILS/0/SD_ILS:521170
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521170.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44216-2">https://doi.org/10.1007/978-3-031-44216-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521178
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Kadry, Seifedine. editor. Prasath, Rajendra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521178.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44084-7">https://doi.org/10.1007/978-3-031-44084-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521228
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.<br/>Preferred Shelf Number XX(521228.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45275-8">https://doi.org/10.1007/978-3-031-45275-8</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-09-03T01:46:20Z
2024-09-03T01:46:20Z
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/>
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521244
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521244.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521275.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521280
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521280.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47546-7">https://doi.org/10.1007/978-3-031-47546-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Medical Persuasion Understanding the Impact on Medical Argumentation
ent://SD_ILS/0/SD_ILS:521482
2024-09-03T01:46:20Z
2024-09-03T01:46:20Z
Author Velanovich, Vic. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521482.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30371-5">https://doi.org/10.1007/978-3-031-30371-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>