Search Results for Recursive functions. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRecursive$002bfunctions.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ps$003d300$0026isd$003dtrue?2024-11-09T08:38:15ZFormal systems and recursive functionsent://SD_ILS/0/SD_ILS:2572832024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Crossley, John N. Dummett, Michael, 1925-2011.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5208432024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520843.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5212372024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521237.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45389-2">https://doi.org/10.1007/978-3-031-45389-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5204042024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(520404.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1639-9">https://doi.org/10.1007/978-981-99-1639-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190142024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519014.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15579-1">https://doi.org/10.1007/978-3-319-15579-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5190602024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519060.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20028-6">https://doi.org/10.1007/978-3-319-20028-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:5190652024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519065.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28475-0">https://doi.org/10.1007/978-3-319-28475-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190902024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519090.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5193442024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number XX(519344.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16501-1">https://doi.org/10.1007/978-3-319-16501-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive identification and parameter estimationent://SD_ILS/0/SD_ILS:3571292024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Chen, Hanfu, author. Zhao, Wenxiao, author.<br/>Preferred Shelf Number ONLINE(357129.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466568860">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Continuous time dynamical systems state estimation and optimal control with orthogonal functionsent://SD_ILS/0/SD_ILS:2881332024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Mohan, B. M. (Bosukonda Murali) Kar, S. K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466517301">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatory logic pure, applied and typedent://SD_ILS/0/SD_ILS:2851212024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Bimb,̤ Katalin, 1963-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439800010">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic processes estimation, optimization, & analysisent://SD_ILS/0/SD_ILS:2547812024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Najim, K. Ikonen, Enso, 1965- Daoud, Ait-Kadi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781903996553">http://www.sciencedirect.com/science/book/9781903996553</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modelingent://SD_ILS/0/SD_ILS:2540352024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Goldman, Ron, 1947-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558603547">http://www.sciencedirect.com/science/book/9781558603547</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive functionalsent://SD_ILS/0/SD_ILS:2569592024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Sanchis, Luis E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894472">http://www.sciencedirect.com/science/book/9780444894472</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elementary induction on abstract structuresent://SD_ILS/0/SD_ILS:2573372024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Moschovakis, Yiannis N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105370">http://www.sciencedirect.com/science/book/9780444105370</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Degrees of unsolvabilityent://SD_ILS/0/SD_ILS:2567362024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Shoenfield, Joseph Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720420616">http://www.sciencedirect.com/science/book/9780720420616</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969ent://SD_ILS/0/SD_ILS:2572322024-11-09T08:38:15Z2024-11-09T08:38:15ZAuthor Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>