Arama Sonuçları Theory of Computation. - Daraltılmış: Artificial intelligence.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTheory$002bof$002bComputation.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?2025-12-09T12:18:01ZFoundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4006072025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part Ient://SD_ILS/0/SD_ILS:4890342025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-45321-2">https://doi.org/10.1007/978-3-642-45321-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedingsent://SD_ILS/0/SD_ILS:3354332025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335433.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedingsent://SD_ILS/0/SD_ILS:2039722025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-4-431-54106-6">http://dx.doi.org/10.1007/978-4-431-54106-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial intelligence and mathematical theory of computation papers in honor of John McCarthyent://SD_ILS/0/SD_ILS:2578862025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Smart Trends in Computing and Communications Proceedings of SmartCom 2023, Volume 2ent://SD_ILS/0/SD_ILS:5278872025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Senjyu, Tomonobu. editor. So-In, Chakchai. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-0838-7">https://doi.org/10.1007/978-981-99-0838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Software Defect Predictionent://SD_ILS/0/SD_ILS:5290652025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-2842-2">https://doi.org/10.1007/978-981-99-2842-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1ent://SD_ILS/0/SD_ILS:5292012025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Applied Self-Organizing Systemsent://SD_ILS/0/SD_ILS:3311482025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331148.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5113-5">http://dx.doi.org/10.1007/978-1-4471-5113-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming Theory and Practice Xent://SD_ILS/0/SD_ILS:3321352025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332135.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analyzing Evolutionary Algorithms The Computer Science Perspectiveent://SD_ILS/0/SD_ILS:3330752025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Jansen, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333075.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17339-4">http://dx.doi.org/10.1007/978-3-642-17339-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decentralized Spatial Computing Foundations of Geosensor Networksent://SD_ILS/0/SD_ILS:3333642025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Duckham, Matt. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333364.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30853-6">http://dx.doi.org/10.1007/978-3-642-30853-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing Nature Turing Centenary Perspectiveent://SD_ILS/0/SD_ILS:3343872025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334387.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37225-4">http://dx.doi.org/10.1007/978-3-642-37225-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedingsent://SD_ILS/0/SD_ILS:3349732025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334973.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorial Search: From Algorithms to Systemsent://SD_ILS/0/SD_ILS:3351092025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Hamadi, Youssef. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335109.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lecturesent://SD_ILS/0/SD_ILS:3348412025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334841.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Massively Parallel Evolutionary Computation on GPGPUsent://SD_ILS/0/SD_ILS:3345072025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334507.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37959-8">http://dx.doi.org/10.1007/978-3-642-37959-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applicationsent://SD_ILS/0/SD_ILS:3352082025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335208.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45318-2">http://dx.doi.org/10.1007/978-3-642-45318-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3329752025-12-09T12:18:01Z2025-12-09T12:18:01ZYazar Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332975.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>