Arama Sonuçları Semantics. - Daraltılmış: 2023

Vector Semantics

2024-12-26T01:08:29Z

Yazar Kornai, András. author. SpringerLink (Online service)
Yer Numarası XX(520168.1)
Elektronik Erişim https://doi.org/10.1007/978-981-19-5607-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Syntax and semantics

2024-12-26T01:08:29Z

Yazar Summer Linguistics Conference / University of California, Santa Cruz, 1971. Kimball, John P., ed.
Yer Numarası P 291 S8 1972- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~5

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası XX(521257.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43977-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part II

2024-12-26T01:08:29Z

Yazar Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)
Yer Numarası XX(520930.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-28956-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I

2024-12-26T01:08:29Z

Yazar Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)
Yer Numarası XX(521389.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-28953-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic theory

2024-12-26T01:08:29Z

Yazar Kempson, Ruth M.
Yer Numarası P 325 K44 1977
Format: Kitap
Durum Beytepe Kütüphanesi~1

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Yer Numarası XX(520343.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42941-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part II

2024-12-26T01:08:29Z

Yazar Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Yer Numarası XX(520768.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-2385-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Forum BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Yer Numarası XX(520780.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-41623-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

2024-12-26T01:08:29Z

Yazar Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Yer Numarası XX(520784.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-21203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.
Yer Numarası XX(520656.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-25380-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II

2024-12-26T01:08:29Z

Yazar Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)
Yer Numarası XX(520700.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45124-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explainable Artificial Intelligence First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part II

2024-12-26T01:08:29Z

Yazar Longo, Luca. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520713.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-44067-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III

2024-12-26T01:08:29Z

Yazar Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası XX(521319.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47665-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hukuki argümantasyon teorisi : hukuki gerekçelendirme teorisi olarak rasyonel söylem teorisi

2024-12-26T01:08:29Z

Yazar Alexy, Robert. Çap, Güneş. Bingöl, Metin. Yalçın, Elçin.
Yer Numarası K213 A4419 2023
Format: Kitap
Durum Hukuk Kütüphanesi~2

Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings

2024-12-26T01:08:29Z

Yazar Zhenhua, Ling. editor. Jianqing, Gao. editor. Kai, Yu. editor. Jia, Jia. editor. SpringerLink (Online service)
Yer Numarası XX(520242.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-2401-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Representation Learning for Natural Language Processing

2024-12-26T01:08:29Z

Yazar Liu, Zhiyuan. editor. Lin, Yankai. editor. Sun, Maosong. editor. SpringerLink (Online service)
Yer Numarası XX(520543.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-1600-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

2024-12-26T01:08:29Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası XX(520574.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26212-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Yer Numarası XX(520580.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33080-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Governance with Emerging Technologies Second International Conference, EGETC 2023, Poznan, Poland, September 11-12, 2023, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Ortiz-Rodríguez, Fernando. editor. Tiwari, Sanju. editor. Usoro Usip, Patience. editor. Palma, Raul. editor. SpringerLink (Online service)
Yer Numarası XX(520622.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43940-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part IV

2024-12-26T01:08:29Z

Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Yer Numarası XX(521303.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40292-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Yer Numarası XX(521305.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40843-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I

2024-12-26T01:08:29Z

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

Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part II

2024-12-26T01:08:29Z

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

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 I

2024-12-26T01:08:29Z

Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası XX(520843.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30823-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2024-12-26T01:08:29Z

Yazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası XX(520864.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-31476-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası XX(520493.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-36597-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Health Information Processing. Evaluation Track Papers 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Tang, Buzhou. editor. Chen, Qingcai. editor. Lin, Hongfei. editor. Wu, Fei. editor. Liu, Lei. editor.
Yer Numarası XX(520519.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-4826-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I

2024-12-26T01:08:29Z

Yazar Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası XX(521317.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47634-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II

2024-12-26T01:08:29Z

Yazar Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası XX(521318.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47637-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası XX(521082.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42626-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2024-12-26T01:08:29Z

Yazar Farmer, William M. author. SpringerLink (Online service)
Yer Numarası XX(520259.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-21112-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?

2024-12-26T01:08:29Z

Yazar Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası XX(520261.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-22739-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Searchable Encryption From Concepts to Systems

2024-12-26T01:08:29Z

Yazar Ren, Kui. author. Wang, Cong. author. SpringerLink (Online service)
Yer Numarası XX(520262.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-21377-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Garoufallou, Emmanouel. editor. (orcid) Vlachidis, Andreas. editor. SpringerLink (Online service)
Yer Numarası XX(520448.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-39141-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings

2024-12-26T01:08:29Z

Yazar Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Yer Numarası XX(520458.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-34586-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers

2024-12-26T01:08:29Z

Yazar Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)
Yer Numarası XX(520482.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-37189-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III

2024-12-26T01:08:29Z

Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Yer Numarası XX(521062.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40289-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Yer Numarası XX(520802.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-25803-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası XX(520823.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26689-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T01:08:29Z

Yazar Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Yer Numarası XX(520827.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-25894-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part I

2024-12-26T01:08:29Z

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

Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II

2024-12-26T01:08:29Z

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

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası XX(521245.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45784-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Yer Numarası XX(521251.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

2024-12-26T01:08:29Z

Yazar Madeira, Alexandre. editor. Martins, Manuel A. editor. SpringerLink (Online service)
Yer Numarası XX(521254.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43345-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.
Yer Numarası XX(521256.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-7254-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Sales, Tiago Prince. editor. Araújo, João. editor. Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(521265.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47112-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-26T01:08:29Z

Yazar Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası XX(521280.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47546-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Yer Numarası XX(521340.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47963-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Hur, Chung-Kil. editor. SpringerLink (Online service)
Yer Numarası XX(521341.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-8311-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Yer Numarası XX(521379.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-50959-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası XX(520889.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-27481-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information for a Better World: Normality, Virtuality, Physicality, Inclusivity 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I

2024-12-26T01:08:29Z

Yazar Sserwanga, Isaac. editor. Goulding, Anne. editor. Moulaison-Sandy, Heather. editor. Du, Jia Tina. editor. Soares, António Lucas. editor.
Yer Numarası XX(520895.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-28035-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Knowledge Discovery and Data Mining 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III

2024-12-26T01:08:29Z

Yazar Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)
Yer Numarası XX(520947.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33380-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Yer Numarası XX(520949.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33620-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Bioinformatics and Computational Biology 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Reis, Marcelo S. editor. de Melo-Minardi, Raquel C. editor. SpringerLink (Online service)
Yer Numarası XX(520977.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42715-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II

2024-12-26T01:08:29Z

Yazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Yer Numarası XX(520982.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-5837-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)
Yer Numarası XX(521132.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42697-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası XX(521139.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43513-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Yer Numarası XX(521142.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43835-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VII

2024-12-26T01:08:29Z

Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası XX(521165.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-44195-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I

2024-12-26T01:08:29Z

Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası XX(521167.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-44207-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

2024-12-26T01:08:29Z

Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası XX(521192.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40875-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Prolog: The Next 50 Years

2024-12-26T01:08:29Z

Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Yer Numarası XX(521397.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-35254-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I

2024-12-26T01:08:29Z

Yazar Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.
Yer Numarası XX(521408.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-46661-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Terminology, Ontology and their Implementations

2024-12-26T01:08:29Z

Yazar Elkin, Peter L. editor. SpringerLink (Online service)
Yer Numarası XX(521842.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-11039-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1