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-03-12T08:41:14ZQuick recursionent://SD_ILS/0/SD_ILS:5831262026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:5282592026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:5205602026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210902026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:5206022026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Optimal and robust state estimation : finite impulse response (FIR) and Kalman approachesent://SD_ILS/0/SD_ILS:5976542026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>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-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:5185372026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Handbook of Mathematical Induction : Theory and Applicationsent://SD_ILS/0/SD_ILS:5440492026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Essential algorithms : a practical approach to computer algorithmsent://SD_ILS/0/SD_ILS:5930612026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Mathematical objects in C++ : computational tools in a unified object-oriented approachent://SD_ILS/0/SD_ILS:5456902026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>Navigating through discrete mathematics in prekindergarten through grade 5ent://SD_ILS/0/SD_ILS:2673422026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar DeBellis, Valerie A.<br/>Yer Numarası QA135.6 N34 2009<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912026-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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-03-12T08:41:14Z2026-03-12T08:41:14ZYazar 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/>