Arama Sonuçları récursion.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dr$0025C3$0025A9cursion.$0026ps$003d300$0026isd$003dtrue?2026-06-25T19:05:56ZQuick recursionent://SD_ILS/0/SD_ILS:5831262026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Matuszek, David L., author.<br/>Yer Numarası QA76.6<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Lolli, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of generalized recursion theoryent://SD_ILS/0/SD_ILS:2570852026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Fitting, Melvin, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability theory an introduction to recursion theoryent://SD_ILS/0/SD_ILS:1488022026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Enderton, Herbert B.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123849588">http://www.sciencedirect.com/science/book/9780123849588</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generalized recursion theory II proceedings of the 1977 Oslo Symposiument://SD_ILS/0/SD_ILS:2573632026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generalized recursion theory Proceedings of the 1972 Oslo symposiument://SD_ILS/0/SD_ILS:2572382026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Odifreddi, Piergiorgio, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rekörsiyon ile sembolik integral = Symbolic integration with recursionent://SD_ILS/0/SD_ILS:253812026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Laeli, Mahbobeh.<br/>Yer Numarası TEZ 2315 .L34 1993<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Odifreddi, Piergiorgio, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:6093752026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Stephenson, Ben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Downey, Rod. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Liu, Xinyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning Java A Test-Driven Approachent://SD_ILS/0/SD_ILS:6048402026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Python Arithmetic The Informational Nature of Numbersent://SD_ILS/0/SD_ILS:6059102026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Manca, Vincenzo. author. (orcid)0000-0002-1304-0277 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:5205602026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:5206022026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210902026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:5282592026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651 Cruz-Reyes, Laura. editor. Dorronsoro, Bernabé. editor. Rosete, Alejandro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?ent://SD_ILS/0/SD_ILS:5202612026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Hausser, Roland. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Hartmann, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimal and robust state estimation : finite impulse response (FIR) and Kalman approachesent://SD_ILS/0/SD_ILS:5976542026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Shmaliy, Yuriy, author. Zhao, Shunyi, author.<br/>Yer Numarası QA402.3 .S53 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Strategic engineeringent://SD_ILS/0/SD_ILS:5967202026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Arcade, Jacques, author.<br/>Yer Numarası TA190<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Statistically Speaking : A Dictionary of Quotations.ent://SD_ILS/0/SD_ILS:5451722026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Gaither, C. C. Cavazos-Gaither, Alma E.<br/>Yer Numarası QA273<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application of graph rewriting to natural language processingent://SD_ILS/0/SD_ILS:5944912026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.<br/>Yer Numarası P98<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming interviews exposed : coding your way through the interviewent://SD_ILS/0/SD_ILS:5944542026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Mongan, John, 1976- author. Kindler, Noah, author. Giguère, Eric, 1967- author.<br/>Yer Numarası HF5549.5 .I6 M664 2018<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reinsurance : actuarial and statistical aspectsent://SD_ILS/0/SD_ILS:5938062026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Albrecher, Hansjörg, author. Beirlant, Jan, author. Teugels, Jef L., author.<br/>Yer Numarası HG8083<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:6112402026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Draheim, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cool Math for Hot Music A First Introduction to Mathematics for Music Theoristsent://SD_ILS/0/SD_ILS:6146492026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Mazzola, Guerino. author. Mannone, Maria. author. Pang, Yan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Limits of Computation From a Programming Perspectiveent://SD_ILS/0/SD_ILS:6174152026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Reus, Bernhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-06-25T19:05:56Z2026-06-25T19:05:56ZYazar 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/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:5185372026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Mathematical Induction : Theory and Applicationsent://SD_ILS/0/SD_ILS:5440492026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Gunderson, David S., author.<br/>Yer Numarası QA9.54 G863 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Topics in Java Core Concepts in Data Structuresent://SD_ILS/0/SD_ILS:6185782026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Kalicharan, Noel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Essential algorithms : a practical approach to computer algorithmsent://SD_ILS/0/SD_ILS:5930612026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Stephens, Rod, 1961- author.<br/>Yer Numarası QA76.9 .S74 2013<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Kunen, Kenneth.<br/>Yer Numarası QA9 K796 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The recursive mind : the origins of human language, thought, and civilizationent://SD_ILS/0/SD_ILS:3753942026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Corballis, Michael C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7sw8d">http://www.jstor.org/stable/10.2307/j.ctt7sw8d</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The primacy of grammarent://SD_ILS/0/SD_ILS:2395722026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Mukherji, Nirmalangshu. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Navigating through discrete mathematics in prekindergarten through grade 5ent://SD_ILS/0/SD_ILS:2673422026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar DeBellis, Valerie A.<br/>Yer Numarası QA135.6 N34 2009<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical objects in C++ : computational tools in a unified object-oriented approachent://SD_ILS/0/SD_ILS:5456902026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Shapira, Yair, 1960, author.<br/>Yer Numarası QA297 .S464 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439811481">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Ershov, I͡Uriĭ Leonidovich.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500038">http://www.sciencedirect.com/science/book/9780444500038</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565942026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Ershov, I͡Uriĭ Leonidovich.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501066">http://www.sciencedirect.com/science/book/9780444501066</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elementary standard MLent://SD_ILS/0/SD_ILS:5405112026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Michaelson, Greg, 1953-<br/>Yer Numarası QA76.73 .M5 M53 1995<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482286946">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Winskel, G. (Glynn)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to programming with specifications a mathematical approachent://SD_ILS/0/SD_ILS:2577562026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558601468">http://www.sciencedirect.com/science/book/9781558601468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:05:56Z2026-06-25T19:05:56ZYazar Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive analysisent://SD_ILS/0/SD_ILS:2573522026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Goodstein, R. L. (Reuben Louis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533944">http://www.sciencedirect.com/science/book/9780444533944</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042026-06-25T19:05:56Z2026-06-25T19:05:56ZYazar Goodstein, R. L. (Reuben Louis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>