Search Results for récursion.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dr$0025C3$0025A9cursion.$0026ps$003d300$0026isd$003dtrue?dt=list2026-06-14T05:10:38ZQuick recursionent://SD_ILS/0/SD_ILS:5831262026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Matuszek, David L., author.<br/>Preferred Shelf Number QA76.6<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003359616">https://www.taylorfrancis.com/books/9781003359616</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2570852026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:1488022026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2573632026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2572382026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2565972026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:253812026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2571712026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2572862026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:766782026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:6093752026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84560-4">https://doi.org/10.1007/978-3-031-84560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Liu, Xinyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Java A Test-Driven Approachent://SD_ILS/0/SD_ILS:6048402026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66638-4">https://doi.org/10.1007/978-3-031-66638-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Python Arithmetic The Informational Nature of Numbersent://SD_ILS/0/SD_ILS:6059102026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Manca, Vincenzo. author. (orcid)0000-0002-1304-0277 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66545-5">https://doi.org/10.1007/978-3-031-66545-5</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-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:5205602026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5205742026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210902026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:5282592026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651 Cruz-Reyes, Laura. editor. Dorronsoro, Bernabé. editor. Rosete, Alejandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38325-0">https://doi.org/10.1007/978-3-031-38325-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germanyent://SD_ILS/0/SD_ILS:5290122026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26651-5">https://doi.org/10.1007/978-3-031-26651-5</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:5202612026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:5206022026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Optimal and robust state estimation : finite impulse response (FIR) and Kalman approachesent://SD_ILS/0/SD_ILS:5976542026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Shmaliy, Yuriy, author. Zhao, Shunyi, author.<br/>Preferred Shelf Number QA402.3 .S53 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Strategic engineeringent://SD_ILS/0/SD_ILS:5967202026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Arcade, Jacques, author.<br/>Preferred Shelf Number TA190<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistically Speaking : A Dictionary of Quotations.ent://SD_ILS/0/SD_ILS:5451722026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Gaither, C. C. Cavazos-Gaither, Alma E.<br/>Preferred Shelf Number QA273<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429187124">https://www.taylorfrancis.com/books/9780429187124</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming interviews exposed : coding your way through the interviewent://SD_ILS/0/SD_ILS:5944542026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Mongan, John, 1976- author. Kindler, Noah, author. Giguère, Eric, 1967- author.<br/>Preferred Shelf Number HF5549.5 .I6 M664 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application of graph rewriting to natural language processingent://SD_ILS/0/SD_ILS:5944912026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.<br/>Preferred Shelf Number P98<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reinsurance : actuarial and statistical aspectsent://SD_ILS/0/SD_ILS:5938062026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Albrecher, Hansjörg, author. Beirlant, Jan, author. Teugels, Jef L., author.<br/>Preferred Shelf Number HG8083<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:6112402026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Limits of Computation From a Programming Perspectiveent://SD_ILS/0/SD_ILS:6174152026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Reus, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27889-6">https://doi.org/10.1007/978-3-319-27889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cool Math for Hot Music A First Introduction to Mathematics for Music Theoristsent://SD_ILS/0/SD_ILS:6146492026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Mazzola, Guerino. author. Mannone, Maria. author. Pang, Yan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42937-3">https://doi.org/10.1007/978-3-319-42937-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</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-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5191542026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5191612026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5192372026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:5185372026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Handbook of Mathematical Induction : Theory and Applicationsent://SD_ILS/0/SD_ILS:5440492026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Gunderson, David S., author.<br/>Preferred Shelf Number QA9.54 G863 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Advanced Topics in Java Core Concepts in Data Structuresent://SD_ILS/0/SD_ILS:6185782026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Kalicharan, Noel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6620-4">https://doi.org/10.1007/978-1-4302-6620-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Essential algorithms : a practical approach to computer algorithmsent://SD_ILS/0/SD_ILS:5930612026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Stephens, Rod, 1961- author.<br/>Preferred Shelf Number QA76.9 .S74 2013<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:3753942026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2395722026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:5456902026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Shapira, Yair, 1960, author.<br/>Preferred Shelf Number QA297 .S464 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439811481">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Navigating through discrete mathematics in prekindergarten through grade 5ent://SD_ILS/0/SD_ILS:2673422026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2565912026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2565942026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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/>Elementary standard MLent://SD_ILS/0/SD_ILS:5405112026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor Michaelson, Greg, 1953-<br/>Preferred Shelf Number QA76.73 .M5 M53 1995<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482286946">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2577562026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2551052026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2569512026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2573522026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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:2572042026-06-14T05:10:38Z2026-06-14T05:10:38ZAuthor 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/>