Arama Sonuçları set. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dset.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?
2026-05-15T19:37:29Z
Notes on Set Theory
ent://SD_ILS/0/SD_ILS:165825
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Particle Filters for Random Set Models
ent://SD_ILS/0/SD_ILS:332002
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Ristic, Branko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332002.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6316-0">http://dx.doi.org/10.1007/978-1-4614-6316-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to the Technique of Formative Processes in Set Theory
ent://SD_ILS/0/SD_ILS:401806
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74778-1">https://doi.org/10.1007/978-3-319-74778-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
ent://SD_ILS/0/SD_ILS:610688
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Incomplete Information System and Rough Set Theory Models and Attribute Reductions
ent://SD_ILS/0/SD_ILS:196087
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Yang, Xibei. author. Yang, Jingyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25935-7">http://dx.doi.org/10.1007/978-3-642-25935-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196329
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28038-2">http://dx.doi.org/10.1007/978-3-642-28038-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:207043
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195009
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22386-0">http://dx.doi.org/10.1007/978-3-642-22386-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customization
ent://SD_ILS/0/SD_ILS:173102
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Karuri, Kingshuk. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8255-1">http://dx.doi.org/10.1007/978-1-4419-8255-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic and Set Theory Applying Formalized Logic to Analysis
ent://SD_ILS/0/SD_ILS:168601
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-808-9">http://dx.doi.org/10.1007/978-0-85729-808-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ultra-Low Energy Domain-Specific Instruction-Set Processors
ent://SD_ILS/0/SD_ILS:205516
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Catthoor, Francky. author. Raghavan, Praveen. author. Lambrechts, Andy. author. Jayapala, Murali. author. Kritikakou, Angeliki. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9528-2">http://dx.doi.org/10.1007/978-90-481-9528-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
ent://SD_ILS/0/SD_ILS:188417
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rough Set and Knowledge Technology 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193234
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Yu, Jian. editor. Greco, Salvatore. editor. Lingras, Pawan. editor. Wang, Guoyin. editor. Skowron, Andrzej. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16248-0">http://dx.doi.org/10.1007/978-3-642-16248-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics
ent://SD_ILS/0/SD_ILS:175758
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-201-2">http://dx.doi.org/10.1007/978-1-84800-201-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188660
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85279-7">http://dx.doi.org/10.1007/978-3-540-85279-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Variational, Geometric, and Level Set Methods in Computer Vision Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183171
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paragios, Nikos. editor. Faugeras, Olivier. editor. Chan, Tony. editor. Schnörr, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11567646">http://dx.doi.org/10.1007/11567646</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606998
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82700-6">https://doi.org/10.1007/978-3-031-82700-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607116
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607681
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory of Computation Automata, Formal Languages, Computation and Complexity
ent://SD_ILS/0/SD_ILS:607704
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Chowdhary, K.R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608173
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608174
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608296
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:608297
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608320
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609020
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-96239-4">https://doi.org/10.1007/978-3-031-96239-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:609052
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-96235-6">https://doi.org/10.1007/978-3-031-96235-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609230
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97629-2">https://doi.org/10.1007/978-3-031-97629-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606205
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-77850-6">https://doi.org/10.1007/978-3-031-77850-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606984
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82703-7">https://doi.org/10.1007/978-3-031-82703-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:607380
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82024-3">https://doi.org/10.1007/978-3-031-82024-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607335
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-1093-8">https://doi.org/10.1007/978-981-96-1093-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608926
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-94569-4">https://doi.org/10.1007/978-3-031-94569-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608927
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-94571-7">https://doi.org/10.1007/978-3-031-94571-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609072
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-96228-8">https://doi.org/10.1007/978-3-031-96228-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609116
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-95973-8">https://doi.org/10.1007/978-3-031-95973-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609117
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-95976-9">https://doi.org/10.1007/978-3-031-95976-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609125
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97626-1">https://doi.org/10.1007/978-3-031-97626-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:609219
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:609226
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:609229
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609231
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97632-2">https://doi.org/10.1007/978-3-031-97632-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:609240
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97635-3">https://doi.org/10.1007/978-3-031-97635-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609244
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609245
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609246
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605121
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606225
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-77844-5">https://doi.org/10.1007/978-3-031-77844-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Maths For Computing A Beginner's Guide
ent://SD_ILS/0/SD_ILS:606296
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606475
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80308-6">https://doi.org/10.1007/978-3-031-80308-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606476
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80311-6">https://doi.org/10.1007/978-3-031-80311-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607417
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-81806-6">https://doi.org/10.1007/978-3-031-81806-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607455
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82021-2">https://doi.org/10.1007/978-3-031-82021-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607540
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-1090-7">https://doi.org/10.1007/978-981-96-1090-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608375
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-4445-2">https://doi.org/10.1007/978-981-96-4445-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Concise Introduction to Software Engineering With Open Source and GenAI
ent://SD_ILS/0/SD_ILS:607111
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Jalote, Pankaj. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607214
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:607238
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-1195-9">https://doi.org/10.1007/978-981-96-1195-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607584
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-2882-7">https://doi.org/10.1007/978-981-96-2882-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607597
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-2885-8">https://doi.org/10.1007/978-981-96-2885-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608362
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-4448-3">https://doi.org/10.1007/978-981-96-4448-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:602186
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50078-7">https://doi.org/10.1007/978-3-031-50078-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602209
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50072-5">https://doi.org/10.1007/978-3-031-50072-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602216
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602217
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
ent://SD_ILS/0/SD_ILS:603504
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Downey, Rod. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:604079
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:604080
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:604432
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65238-7">https://doi.org/10.1007/978-3-031-65238-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:604433
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65282-0">https://doi.org/10.1007/978-3-031-65282-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:604434
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65318-6">https://doi.org/10.1007/978-3-031-65318-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:604435
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65332-2">https://doi.org/10.1007/978-3-031-65332-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604501
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65154-0">https://doi.org/10.1007/978-3-031-65154-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605025
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65223-3">https://doi.org/10.1007/978-3-031-65223-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605050
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70816-9">https://doi.org/10.1007/978-3-031-70816-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605051
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70819-0">https://doi.org/10.1007/978-3-031-70819-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Text, Speech, and Dialogue 27th International Conference, TSD 2024, Brno, Czech Republic, September 9-13, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604966
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Nöth, Elmar. editor. (orcid)0000-0002-3396-555X Horák, Aleš. editor. (orcid)0000-0001-6348-109X Sojka, Petr. editor. (orcid)0000-0002-5768-4007 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70563-2">https://doi.org/10.1007/978-3-031-70563-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Text, Speech, and Dialogue 27th International Conference, TSD 2024, Brno, Czech Republic, September 9-13, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604967
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Nöth, Elmar. editor. (orcid)0000-0002-3396-555X Horák, Aleš. editor. (orcid)0000-0001-6348-109X Sojka, Petr. editor. (orcid)0000-0002-5768-4007 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70566-3">https://doi.org/10.1007/978-3-031-70566-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605218
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71704-8">https://doi.org/10.1007/978-3-031-71704-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605233
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7798-3">https://doi.org/10.1007/978-981-97-7798-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605234
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7801-0">https://doi.org/10.1007/978-981-97-7801-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:608123
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65285-1">https://doi.org/10.1007/978-3-031-65285-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602108
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49190-0">https://doi.org/10.1007/978-3-031-49190-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602110
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49611-0">https://doi.org/10.1007/978-3-031-49611-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIII
ent://SD_ILS/0/SD_ILS:602060
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8178-6">https://doi.org/10.1007/978-981-99-8178-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electromagnetic Sources and Electromagnetic Fields
ent://SD_ILS/0/SD_ILS:602368
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9449-6">https://doi.org/10.1007/978-981-99-9449-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602383
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50069-5">https://doi.org/10.1007/978-3-031-50069-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:602390
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50075-6">https://doi.org/10.1007/978-3-031-50075-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Digital Signal Processing Illustration Using Python
ent://SD_ILS/0/SD_ILS:602419
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-6752-0">https://doi.org/10.1007/978-981-99-6752-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602837
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Ahmadi, Seyed-Ahmad. editor. Pereira, Sérgio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55088-1">https://doi.org/10.1007/978-3-031-55088-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603019
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603145
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603151
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:603152
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms
ent://SD_ILS/0/SD_ILS:603566
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Paar, Christof. author. Pelzl, Jan. author. Güneysu, Tim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-69007-9">https://doi.org/10.1007/978-3-662-69007-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603722
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61137-7">https://doi.org/10.1007/978-3-031-61137-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603723
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61140-7">https://doi.org/10.1007/978-3-031-61140-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604091
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:604092
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:604093
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
ent://SD_ILS/0/SD_ILS:603976
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Blum, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-60103-3">https://doi.org/10.1007/978-3-031-60103-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:601647
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65329-2">https://doi.org/10.1007/978-3-031-65329-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:602009
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8126-7">https://doi.org/10.1007/978-981-99-8126-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:602016
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8132-8">https://doi.org/10.1007/978-981-99-8132-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:602017
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8138-0">https://doi.org/10.1007/978-981-99-8138-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:602018
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8141-0">https://doi.org/10.1007/978-981-99-8141-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XII
ent://SD_ILS/0/SD_ILS:602019
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8148-9">https://doi.org/10.1007/978-981-99-8148-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XV
ent://SD_ILS/0/SD_ILS:602020
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8184-7">https://doi.org/10.1007/978-981-99-8184-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:602027
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8145-8">https://doi.org/10.1007/978-981-99-8145-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIV
ent://SD_ILS/0/SD_ILS:602028
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8181-6">https://doi.org/10.1007/978-981-99-8181-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602109
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49193-1">https://doi.org/10.1007/978-3-031-49193-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602111
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49614-1">https://doi.org/10.1007/978-3-031-49614-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structures of Computing A Guide to Practice-Oriented Theory
ent://SD_ILS/0/SD_ILS:602773
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602979
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:603259
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2272-3">https://doi.org/10.1007/978-981-97-2272-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:603260
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2275-4">https://doi.org/10.1007/978-981-97-2275-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:604114
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604078
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604341
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-4982-9">https://doi.org/10.1007/978-981-97-4982-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604342
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-4985-0">https://doi.org/10.1007/978-981-97-4985-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics in Programming
ent://SD_ILS/0/SD_ILS:604267
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Liu, Xinyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:604502
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65343-8">https://doi.org/10.1007/978-3-031-65343-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:604771
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65273-8">https://doi.org/10.1007/978-3-031-65273-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605010
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71713-0">https://doi.org/10.1007/978-3-031-71713-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604794
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7181-3">https://doi.org/10.1007/978-981-97-7181-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604795
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7184-4">https://doi.org/10.1007/978-981-97-7184-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Spiking Neural P Systems Models and Applications
ent://SD_ILS/0/SD_ILS:604830
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-5280-5">https://doi.org/10.1007/978-981-97-5280-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605113
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71707-9">https://doi.org/10.1007/978-3-031-71707-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:605122
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71710-9">https://doi.org/10.1007/978-3-031-71710-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:610225
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65308-7">https://doi.org/10.1007/978-3-031-65308-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610796
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63312-1">https://doi.org/10.1007/978-3-319-63312-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:610857
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70700-6">https://doi.org/10.1007/978-3-319-70700-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
String Analysis for Software Verification and Security
ent://SD_ILS/0/SD_ILS:611157
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Self-Aware Computing Systems
ent://SD_ILS/0/SD_ILS:611535
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613483
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Tryfonas, Theo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58460-7">https://doi.org/10.1007/978-3-319-58460-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:613551
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70694-8">https://doi.org/10.1007/978-3-319-70694-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613739
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68204-4">https://doi.org/10.1007/978-3-319-68204-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pervasive Computing Engineering Smart Systems
ent://SD_ILS/0/SD_ILS:617371
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618013
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51738-4">https://doi.org/10.1007/978-3-319-51738-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618110
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. (orcid)0000-0002-3088-0788 Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63309-1">https://doi.org/10.1007/978-3-319-63309-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618157
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70697-9">https://doi.org/10.1007/978-3-319-70697-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Sets and Graphs Perspectives on Logic and Combinatorics
ent://SD_ILS/0/SD_ILS:611736
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54981-1">https://doi.org/10.1007/978-3-319-54981-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617027
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617405
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617433
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616289
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615919
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58472-0">https://doi.org/10.1007/978-3-319-58472-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615930
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615934
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58475-1">https://doi.org/10.1007/978-3-319-58475-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618456
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68288-4">https://doi.org/10.1007/978-3-319-68288-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finitely Supported Mathematics An Introduction
ent://SD_ILS/0/SD_ILS:615413
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42282-4">https://doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:616249
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46675-0">https://doi.org/10.1007/978-3-319-46675-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616810
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53887-6">https://doi.org/10.1007/978-3-662-53887-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617162
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46687-3">https://doi.org/10.1007/978-3-319-46687-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618117
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44781-0">https://doi.org/10.1007/978-3-319-44781-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611438
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42291-6">https://doi.org/10.1007/978-3-319-42291-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611614
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39384-1">https://doi.org/10.1007/978-3-319-39384-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611948
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44778-0">https://doi.org/10.1007/978-3-319-44778-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612086
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46672-9">https://doi.org/10.1007/978-3-319-46672-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612667
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42294-7">https://doi.org/10.1007/978-3-319-42294-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613372
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:615985
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46681-1">https://doi.org/10.1007/978-3-319-46681-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616026
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616050
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42324-1">https://doi.org/10.1007/978-3-319-42324-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616055
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616273
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39378-0">https://doi.org/10.1007/978-3-319-39378-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616277
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41000-5">https://doi.org/10.1007/978-3-319-41000-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616144
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53890-6">https://doi.org/10.1007/978-3-662-53890-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616165
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49096-9">https://doi.org/10.1007/978-3-662-49096-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616188
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41009-8">https://doi.org/10.1007/978-3-319-41009-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615927
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49099-0">https://doi.org/10.1007/978-3-662-49099-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615941
2026-05-15T19:37:29Z
2026-05-15T19:37:29Z
Yazar Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42321-0">https://doi.org/10.1007/978-3-319-42321-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>