Search Results for récursion.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dr$0025C3$0025A9cursion.$0026ic$003dtrue$0026ps$003d300?2024-11-06T10:35:20ZRecursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Lolli, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of generalized recursion theoryent://SD_ILS/0/SD_ILS:2570852024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Fitting, Melvin, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability theory an introduction to recursion theoryent://SD_ILS/0/SD_ILS:1488022024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Enderton, Herbert B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123849588">http://www.sciencedirect.com/science/book/9780123849588</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generalized recursion theory II proceedings of the 1977 Oslo Symposiument://SD_ILS/0/SD_ILS:2573632024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generalized recursion theory Proceedings of the 1972 Oslo symposiument://SD_ILS/0/SD_ILS:2572382024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rekörsiyon ile sembolik integral = Symbolic integration with recursionent://SD_ILS/0/SD_ILS:253812024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Laeli, Mahbobeh.<br/>Preferred Shelf Number TEZ 2315 .L34 1993<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:2572862024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520344.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?ent://SD_ILS/0/SD_ILS:5202612024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520261.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22739-4">https://doi.org/10.1007/978-3-031-22739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:5205602024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520560.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22842-1">https://doi.org/10.1007/978-3-031-22842-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520574.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:5206022024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520602.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35122-8">https://doi.org/10.1007/978-3-031-35122-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210902024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521090.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38100-3">https://doi.org/10.1007/978-3-031-38100-3</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-06T10:35:20Z2024-11-06T10:35:20ZAuthor 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/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519117.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 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:5192372024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519237.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518530.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08043-7">https://doi.org/10.1007/978-3-319-08043-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:5185372024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518537.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13072-9">https://doi.org/10.1007/978-3-319-13072-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519135.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:5191542024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519154.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15075-8">https://doi.org/10.1007/978-3-319-15075-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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:5191612024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The recursive mind : the origins of human language, thought, and civilizationent://SD_ILS/0/SD_ILS:3753942024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Corballis, Michael C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sw8d">http://www.jstor.org/stable/10.2307/j.ctt7sw8d</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The primacy of grammarent://SD_ILS/0/SD_ILS:2395722024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Mukherji, Nirmalangshu. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical objects in C++ computational tools in a unified object-oriented approachent://SD_ILS/0/SD_ILS:2860542024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Shapira, Yair, 1960-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439811481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Navigating through discrete mathematics in prekindergarten through grade 5ent://SD_ILS/0/SD_ILS:2673422024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor DeBellis, Valerie A.<br/>Preferred Shelf Number QA135.6 N34 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Ershov, I͡Uriĭ Leonidovich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500038">http://www.sciencedirect.com/science/book/9780444500038</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565942024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Ershov, I͡Uriĭ Leonidovich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501066">http://www.sciencedirect.com/science/book/9780444501066</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to programming with specifications a mathematical approachent://SD_ILS/0/SD_ILS:2577562024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990ent://SD_ILS/0/SD_ILS:2551052024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.) Fulk, Mark A. Case, John, 1942- ACM Special Interest Group for Automata and Computability Theory. SIGART.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558601468">http://www.sciencedirect.com/science/book/9781558601468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.ent://SD_ILS/0/SD_ILS:2569512024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive analysisent://SD_ILS/0/SD_ILS:2573522024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533944">http://www.sciencedirect.com/science/book/9780444533944</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042024-11-06T10:35:20Z2024-11-06T10:35:20ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>