Search Results for Recursive functions.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRecursive$002bfunctions.$0026ps$003d300?dt=list2026-03-23T10:15:51ZFormal systems and recursive functions : proceedingent://SD_ILS/0/SD_ILS:7682026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number BC 135 L8292 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:2572832026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor 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/>The foundations of intuitionistic mathematics : especially in relation to recursive functionsent://SD_ILS/0/SD_ILS:725062026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.<br/>Preferred Shelf Number QA 248.5 K652 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Digital signal processing : theory and practiceent://SD_ILS/0/SD_ILS:5988332026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Bellanger, Maurice, author. Engel, Benjamin A., translator.<br/>Preferred Shelf Number TK5102.9 .B4513 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394182695">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394182695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Python for Data Scienceent://SD_ILS/0/SD_ILS:6032732026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Muddana, A. Lakshmi. author. Vinayakam, Sandhya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52473-8">https://doi.org/10.1007/978-3-031-52473-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cybernetical intelligence : engineering cybernetics with machine intelligenceent://SD_ILS/0/SD_ILS:5986792026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Wong, Kelvin K. L., author.<br/>Preferred Shelf Number Q325.5 .W637 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital speech transmission and enhancementent://SD_ILS/0/SD_ILS:5987452026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Vary, Peter, author. Martin, Rainer, author.<br/>Preferred Shelf Number TK5103.7 .V37 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119060970">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119060970</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Downey, Rod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</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:5204042026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number ONLINE<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/>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-23T10:15:51Z2026-03-23T10:15:51ZAuthor Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Data analytics in the AWS cloud : building a data platform for BI and predictive analytics on AWSent://SD_ILS/0/SD_ILS:5982982026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Minichino, Joe, author.<br/>Preferred Shelf Number QA76.585 .M56 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320677">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320677</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:5212372026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Economic Model Predictive Control Theory, Formulations and Chemical Process Applicationsent://SD_ILS/0/SD_ILS:6129702026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Ellis, Matthew. author. Liu, Jinfeng. author. Christofides, Panagiotis D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41108-8">https://doi.org/10.1007/978-3-319-41108-8</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:5190602026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5190652026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5190902026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>SVA: The Power of Assertions in SystemVerilogent://SD_ILS/0/SD_ILS:5299002026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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:5193442026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<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/>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-23T10:15:51Z2026-03-23T10:15:51ZAuthor Dediu, Adrian-Horia. editor. Formenti, Enrico. 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-15579-1">https://doi.org/10.1007/978-3-319-15579-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive identification and parameter estimationent://SD_ILS/0/SD_ILS:5416852026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Chen, Hanfu, author. Zhao, Wenxiao, author.<br/>Preferred Shelf Number TA168 .C476 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466568860">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Continuous time dynamical systems : state estimation and optimal control with orthogonal functionsent://SD_ILS/0/SD_ILS:5404542026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Mohan, B. M. (Bosukonda Murali), author. Kar, S. K.<br/>Preferred Shelf Number QA404.5 .M64 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466517301">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Combinatory logic : pure, applied and typedent://SD_ILS/0/SD_ILS:5416542026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Bimbo, Katalin, 1963, author.<br/>Preferred Shelf Number QA9.5 .B56 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439800010">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Stochastic processes estimation, optimization, & analysisent://SD_ILS/0/SD_ILS:2547812026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor 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:2540352026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor 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 macroeconomic theoryent://SD_ILS/0/SD_ILS:753492026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Ljungqvist, Lars. Sargent, Thomas J., ort. yaz.<br/>Preferred Shelf Number HB 172.5 L59 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The handbook of formulas and tables for signal processingent://SD_ILS/0/SD_ILS:5464782026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor Poularikas, Alexander D., 1933- author.<br/>Preferred Shelf Number TK5102.9 .P677 1999<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420049701">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Recursive functionalsent://SD_ILS/0/SD_ILS:2569592026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor 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:2573372026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor 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:2567362026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor 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:2572322026-03-23T10:15:51Z2026-03-23T10:15:51ZAuthor 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/>