Search Results for Database - Narrowed by: Theory of Computation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDatabase$0026qf$003dSUBJECT$002509Subject$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026ps$003d300?dt=list
2026-06-15T17:13:10Z
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV Special Issue on Database- and Expert-Systems Applications
ent://SD_ILS/0/SD_ILS:617347
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49214-7">https://doi.org/10.1007/978-3-662-49214-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607173
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1490-5">https://doi.org/10.1007/978-981-96-1490-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608589
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219 Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-7071-0">https://doi.org/10.1007/978-981-96-7071-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:606204
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77847-6">https://doi.org/10.1007/978-3-031-77847-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602014
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605161
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72407-7">https://doi.org/10.1007/978-3-031-72407-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
ent://SD_ILS/0/SD_ILS:602225
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43540-9">https://doi.org/10.1007/978-3-031-43540-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603699
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 Bono, Mayumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-3076-6">https://doi.org/10.1007/978-981-97-3076-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603826
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61057-8">https://doi.org/10.1007/978-3-031-61057-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604265
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65887-7">https://doi.org/10.1007/978-3-031-65887-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 - June 1, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613539
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Hose, Katja. editor. Paulheim, Heiko. editor. Ławrynowicz, Agnieszka. editor. Ciravegna, Fabio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70407-4">https://doi.org/10.1007/978-3-319-70407-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613593
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Petrosino, Alfredo. editor. Loia, Vincenzo. editor. Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52962-2">https://doi.org/10.1007/978-3-319-52962-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613436
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Da Silveira, Marcos. editor. Pruski, Cédric. editor. Schneider, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69751-2">https://doi.org/10.1007/978-3-319-69751-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616320
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII Special Issue on Big Data for Complex Urban Systems
ent://SD_ILS/0/SD_ILS:617300
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Anjomshoaa, Amin. editor. Hung, Patrick C. K. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53416-8">https://doi.org/10.1007/978-3-662-53416-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613572
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Flores, Víctor. editor. Gomide, Fernando. editor. Janusz, Andrzej. editor. Meneses, Claudio. editor. Miao, Duoqian. editor. (orcid)0000-0001-6588-1468<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47160-0">https://doi.org/10.1007/978-3-319-47160-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611999
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Morishima, Atsuyuki. editor. Zhang, Rong. editor. Zhang, Wenjie. editor. Chang, Lijun. editor. Fu, Tom Z. J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45835-9">https://doi.org/10.1007/978-3-319-45835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Challenges Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613629
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Sack, Harald. editor. Dietze, Stefan. editor. Tordai, Anna. editor. Lange, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46565-4">https://doi.org/10.1007/978-3-319-46565-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616357
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conformal and Probabilistic Prediction with Applications 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618422
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Gammerman, Alexander. editor. Luo, Zhiyuan. editor. Vega, Jesús. editor. Vovk, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33395-3">https://doi.org/10.1007/978-3-319-33395-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611087
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32859-1">https://doi.org/10.1007/978-3-319-32859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612113
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Ortiz, Magdalena. editor. Schlobach, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45276-0">https://doi.org/10.1007/978-3-319-45276-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615998
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618141
2026-06-15T17:13:10Z
2026-06-15T17:13:10Z
Author Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. Li, Xiaodong. editor. López-Ibáñez, Manuel. editor. Ohkura, Kazuhiro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44427-7">https://doi.org/10.1007/978-3-319-44427-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>