Arama Sonuçları Recursive functions.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dRecursive$002bfunctions.$0026ps$003d300$0026isd$003dtrue?2026-03-09T21:54:09ZFormal systems and recursive functions : proceedingent://SD_ILS/0/SD_ILS:7682026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Logic Colloquium (8th : 1963 : Oxford).<br/>Yer Numarası BC 135 L8292 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:2572832026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Crossley, John N. Dummett, Michael, 1925-2011.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The foundations of intuitionistic mathematics : especially in relation to recursive functionsent://SD_ILS/0/SD_ILS:725062026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.<br/>Yer Numarası QA 248.5 K652 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cybernetical intelligence : engineering cybernetics with machine intelligenceent://SD_ILS/0/SD_ILS:5986792026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Wong, Kelvin K. L., author.<br/>Yer Numarası Q325.5 .W637 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital speech transmission and enhancementent://SD_ILS/0/SD_ILS:5987452026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Vary, Peter, author. Martin, Rainer, author.<br/>Yer Numarası TK5103.7 .V37 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119060970">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119060970</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital signal processing : theory and practiceent://SD_ILS/0/SD_ILS:5988332026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Bellanger, Maurice, author. Engel, Benjamin A., translator.<br/>Yer Numarası TK5102.9 .B4513 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394182695">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394182695</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:5208432026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5204042026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5212372026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data analytics in the AWS cloud : building a data platform for BI and predictive analytics on AWSent://SD_ILS/0/SD_ILS:5982982026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Minichino, Joe, author.<br/>Yer Numarası QA76.585 .M56 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320677">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320677</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:5190602026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:5190652026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5193442026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SVA: The Power of Assertions in SystemVerilogent://SD_ILS/0/SD_ILS:5299002026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07139-8">https://doi.org/10.1007/978-3-319-07139-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:5190142026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:5190902026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive identification and parameter estimationent://SD_ILS/0/SD_ILS:5416852026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Chen, Hanfu, author. Zhao, Wenxiao, author.<br/>Yer Numarası TA168 .C476 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466568860">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Continuous time dynamical systems : state estimation and optimal control with orthogonal functionsent://SD_ILS/0/SD_ILS:5404542026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Mohan, B. M. (Bosukonda Murali), author. Kar, S. K.<br/>Yer Numarası QA404.5 .M64 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466517301">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logic : pure, applied and typedent://SD_ILS/0/SD_ILS:5416542026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Bimbo, Katalin, 1963, author.<br/>Yer Numarası QA9.5 .B56 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439800010">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic processes estimation, optimization, & analysisent://SD_ILS/0/SD_ILS:2547812026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Najim, K. Ikonen, Enso, 1965- Daoud, Ait-Kadi.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781903996553">http://www.sciencedirect.com/science/book/9781903996553</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modelingent://SD_ILS/0/SD_ILS:2540352026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Goldman, Ron, 1947-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558603547">http://www.sciencedirect.com/science/book/9781558603547</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive macroeconomic theoryent://SD_ILS/0/SD_ILS:753492026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Ljungqvist, Lars. Sargent, Thomas J., ort. yaz.<br/>Yer Numarası HB 172.5 L59 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The handbook of formulas and tables for signal processingent://SD_ILS/0/SD_ILS:5464782026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Poularikas, Alexander D., 1933- author.<br/>Yer Numarası TK5102.9 .P677 1999<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420049701">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive functionalsent://SD_ILS/0/SD_ILS:2569592026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Sanchis, Luis E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894472">http://www.sciencedirect.com/science/book/9780444894472</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elementary induction on abstract structuresent://SD_ILS/0/SD_ILS:2573372026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Moschovakis, Yiannis N.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105370">http://www.sciencedirect.com/science/book/9780444105370</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Degrees of unsolvabilityent://SD_ILS/0/SD_ILS:2567362026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar Shoenfield, Joseph Robert.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720420616">http://www.sciencedirect.com/science/book/9780720420616</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969ent://SD_ILS/0/SD_ILS:2572322026-03-09T21:54:09Z2026-03-09T21:54:09ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>