Search Results for r&eacute;cursion. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dr$0025C3$0025A9cursion.$0026ic$003dtrue$0026ps$003d300?dt=list 2024-11-27T16:33:57Z Recursion Theory and Computational Complexity ent://SD_ILS/0/SD_ILS:191568 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Lolli, G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of generalized recursion theory ent://SD_ILS/0/SD_ILS:257085 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Fitting, Melvin, 1942-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computability theory an introduction to recursion theory ent://SD_ILS/0/SD_ILS:148802 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Enderton, Herbert B.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123849588">http://www.sciencedirect.com/science/book/9780123849588</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized recursion theory II proceedings of the 1977 Oslo Symposium ent://SD_ILS/0/SD_ILS:257363 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)&#160;Fenstad, Jens Erik.&#160;Gandy, R. O. (Robin O.)&#160;Sacks, Gerald E.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized recursion theory Proceedings of the 1972 Oslo symposium ent://SD_ILS/0/SD_ILS:257238 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)&#160;Fenstad, Jens Erik.&#160;Hinman, Peter G.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:256597 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rek&ouml;rsiyon ile sembolik integral = Symbolic integration with recursion ent://SD_ILS/0/SD_ILS:25381 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Laeli, Mahbobeh.<br/>Preferred Shelf Number&#160;TEZ 2315 .L34 1993<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:257171 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 ent://SD_ILS/0/SD_ILS:257286 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Logic Colloquium (10th : 1965 : University of Leicester)&#160;Crossley, John N.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Mathematics for Computer Scientists A Practice-Oriented Approach ent://SD_ILS/0/SD_ILS:520344 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Hartmann, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520344.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Java A Concise Introduction to Programming ent://SD_ILS/0/SD_ILS:520560 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Streib, James T. author.&#160;Soma, Takako. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520560.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521090 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Kutrib, Martin. editor. (orcid)&#160;Meyer, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521090.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven? ent://SD_ILS/0/SD_ILS:520261 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Hausser, Roland. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520261.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginners Guide to Python 3 Programming ent://SD_ILS/0/SD_ILS:520602 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Hunt, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520602.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519237 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519237.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Production, Cognition, and the Lexicon ent://SD_ILS/0/SD_ILS:518530 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Gala, N&uacute;ria. editor.&#160;Rapp, Reinhard. editor.&#160;Bel-Enguix, Gemma. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518530.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Structures and Algorithms with Python ent://SD_ILS/0/SD_ILS:518537 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Lee, Kent D. author.&#160;Hubbard, Steve. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518537.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519135 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Bartocci, Ezio. editor.&#160;Majumdar, Rupak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519135.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Macei&oacute;, AL, Brazil, September 29--October 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:519154 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Braga, Christiano. editor.&#160;Mart&iacute;-Oliet, Narciso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519154.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519161.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519090 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Baier, Christel. editor.&#160;Tinelli, Cesare. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519090.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519117 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Jain, Rahul. editor.&#160;Jain, Sanjay. editor.&#160;Stephan, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519117.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The foundations of mathematics ent://SD_ILS/0/SD_ILS:267321 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Kunen, Kenneth.<br/>Preferred Shelf Number&#160;QA9 K796 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The recursive mind : the origins of human language, thought, and civilization ent://SD_ILS/0/SD_ILS:375394 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Corballis, Michael C.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7sw8d">http://www.jstor.org/stable/10.2307/j.ctt7sw8d</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The primacy of grammar ent://SD_ILS/0/SD_ILS:239572 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Mukherji, Nirmalangshu.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Navigating through discrete mathematics in prekindergarten through grade 5 ent://SD_ILS/0/SD_ILS:267342 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;DeBellis, Valerie A.<br/>Preferred Shelf Number&#160;QA135.6 N34 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical objects in C++ computational tools in a unified object-oriented approach ent://SD_ILS/0/SD_ILS:286054 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Shapira, Yair, 1960-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439811481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of recursive mathematics ent://SD_ILS/0/SD_ILS:256591 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Ershov, I&#865;Uri&#301; Leonidovich.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500038">http://www.sciencedirect.com/science/book/9780444500038</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of recursive mathematics ent://SD_ILS/0/SD_ILS:256594 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Ershov, I&#865;Uri&#301; Leonidovich.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501066">http://www.sciencedirect.com/science/book/9780444501066</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The formal semantics of programming languages an introduction ent://SD_ILS/0/SD_ILS:220170 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Winskel, G. (Glynn)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An introduction to programming with specifications a mathematical approach ent://SD_ILS/0/SD_ILS:257756 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Kubiak, Ryszard.&#160;Rudzi&#324;ski, Roman.&#160;Soko&#322;owski, S. (Stefan)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990 ent://SD_ILS/0/SD_ILS:255105 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.)&#160;Fulk, Mark A.&#160;Case, John, 1942-&#160;ACM Special Interest Group for Automata and Computability Theory.&#160;SIGART.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558601468">http://www.sciencedirect.com/science/book/9781558601468</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:256951 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Kleene Symposium (1978 : Madison, Wis.)&#160;Kleene, Stephen Cole, 1909-1994.&#160;Barwise, Jon.&#160;Keisler, H. Jerome.&#160;Kunen, Kenneth.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recursive analysis ent://SD_ILS/0/SD_ILS:257352 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533944">http://www.sciencedirect.com/science/book/9780444533944</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recursive number theory a development of recursive arithmetic in a logic-free equation calculus. ent://SD_ILS/0/SD_ILS:257204 2024-11-27T16:33:57Z 2024-11-27T16:33:57Z Author&#160;Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>