Search Results for Theory of Computation. - Narrowed by: Artificial intelligence.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheory$002bof$002bComputation.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?2025-12-12T16:21:23ZFoundations 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-12T16:21:23Z2025-12-12T16:21:23ZAuthor Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T16:21:23Z2025-12-12T16:21:23ZAuthor Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T16:21:23Z2025-12-12T16:21:23ZAuthor Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T16:21:23Z2025-12-12T16:21:23ZAuthor Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335433.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T16:21:23Z2025-12-12T16:21:23ZAuthor Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Artificial intelligence and mathematical theory of computation papers in honor of John McCarthyent://SD_ILS/0/SD_ILS:2578862025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Software Defect Predictionent://SD_ILS/0/SD_ILS:5290652025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Smart Trends in Computing and Communications Proceedings of SmartCom 2023, Volume 2ent://SD_ILS/0/SD_ILS:5278872025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Senjyu, Tomonobu. editor. So-In, Chakchai. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1ent://SD_ILS/0/SD_ILS:5292012025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Decentralized Spatial Computing Foundations of Geosensor Networksent://SD_ILS/0/SD_ILS:3333642025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Duckham, Matt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333364.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Search: From Algorithms to Systemsent://SD_ILS/0/SD_ILS:3351092025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Hamadi, Youssef. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335109.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice Xent://SD_ILS/0/SD_ILS:3321352025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332135.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Massively Parallel Evolutionary Computation on GPGPUsent://SD_ILS/0/SD_ILS:3345072025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334507.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedingsent://SD_ILS/0/SD_ILS:3349732025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computing Nature Turing Centenary Perspectiveent://SD_ILS/0/SD_ILS:3343872025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334387.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applicationsent://SD_ILS/0/SD_ILS:3352082025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335208.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Applied Self-Organizing Systemsent://SD_ILS/0/SD_ILS:3311482025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331148.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T16:21:23Z2025-12-12T16:21:23ZAuthor Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Analyzing Evolutionary Algorithms The Computer Science Perspectiveent://SD_ILS/0/SD_ILS:3330752025-12-12T16:21:23Z2025-12-12T16:21:23ZAuthor Jansen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333075.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T16:21:23Z2025-12-12T16:21:23ZAuthor Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>