Arama Sonuçları Programming languages. - Daraltılmış: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming$002blanguages.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-30T19:13:07ZProgramming languagesent://SD_ILS/0/SD_ILS:322472026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Tucker, Allen B.<br/>Yer Numarası QA 76.7 T8 1986<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Comparative programming languagesent://SD_ILS/0/SD_ILS:979622026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wilson, Leslie B. Clark, Robert G., ort. yaz.<br/>Yer Numarası QA 76.7 W55 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Understanding programming languagesent://SD_ILS/0/SD_ILS:235372026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ben-Ari, M., 1948-<br/>Yer Numarası QA 76.7 B46 1996<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Concepts of programming languagesent://SD_ILS/0/SD_ILS:2698332026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sebesta, Robert W. Mukherjee, Soumen. Bhattacharjee, Arup Kumar. Sebesta, Robert W. Concepts of programming languages.<br/>Yer Numarası QA76.7 S43 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>History of programming languagesent://SD_ILS/0/SD_ILS:322442026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Proceeding of the History of programming languages. Los Angeles, 1978. Wexelblat, R. L., ed.<br/>Yer Numarası QA 76.7 P94 1981<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fundamentals of programming languagesent://SD_ILS/0/SD_ILS:322382026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Horowitz, Ellis.<br/>Yer Numarası QA 76.7 H67 1984<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming systems and languagesent://SD_ILS/0/SD_ILS:347372026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Rosen, Saul.<br/>Yer Numarası QA 76.5 R53 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to programming languagesent://SD_ILS/0/SD_ILS:3123742026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bansal, Arvind Kumar.<br/>Yer Numarası QA76.5 B36 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Multiparadigm Constraint Programming Languagesent://SD_ILS/0/SD_ILS:1935702026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hofstedt, Petra. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17330-1">http://dx.doi.org/10.1007/978-3-642-17330-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Programming Languagesent://SD_ILS/0/SD_ILS:1758802026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Dowek, Gilles. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concepts of programming languagesent://SD_ILS/0/SD_ILS:1195472026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sebesta, Robert W.<br/>Yer Numarası QA76.7 S43 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Concepts of programming languagesent://SD_ILS/0/SD_ILS:5154732026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sebesta, Robert W.<br/>Yer Numarası QA76.7 S43 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Concepts of programming languagesent://SD_ILS/0/SD_ILS:933032026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sebesta, Robert W.<br/>Yer Numarası QA 76.73 S43 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Types and programming languagesent://SD_ILS/0/SD_ILS:2199132026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Pierce, Benjamin C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:6175552026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:4882652026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13314-0">https://doi.org/10.1007/978-3-319-13314-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages: Principles and Paradigmsent://SD_ILS/0/SD_ILS:5207062026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34144-1">https://doi.org/10.1007/978-3-031-34144-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages: Principles and Paradigmsent://SD_ILS/0/SD_ILS:1761012026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-914-5">http://dx.doi.org/10.1007/978-1-84882-914-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages An Active Learning Approachent://SD_ILS/0/SD_ILS:1676772026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lee, Kent. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Object-Oriented Programming Languages: Interpretationent://SD_ILS/0/SD_ILS:1755582026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Craig, Iain D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-774-9">http://dx.doi.org/10.1007/978-1-84628-774-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems programming in parallel logic languagesent://SD_ILS/0/SD_ILS:322342026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Foster, Ian, 1959-<br/>Yer Numarası QA 76.66 F67 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The implementation of functional programming languagesent://SD_ILS/0/SD_ILS:322422026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Peyton Jones, Simon L., 1958-<br/>Yer Numarası QA 76.7 P495 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic and programming languagesent://SD_ILS/0/SD_ILS:726872026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Yer Numarası QA 9 M42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computer programming : fortran and other languagesent://SD_ILS/0/SD_ILS:322462026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Rao, P. V. S.<br/>Yer Numarası QA 76.7 R18 1981<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming languages : design and implementationent://SD_ILS/0/SD_ILS:322432026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Pratt, Terrence W.<br/>Yer Numarası QA 76.7 P7 1975<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>A view of programming languagesent://SD_ILS/0/SD_ILS:345672026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Galler, Bernard A. Perlis, A. J., ort. yaz.<br/>Yer Numarası QA 76 G28 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming languages : history and fundamentalsent://SD_ILS/0/SD_ILS:347412026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sammet, Jean E., 1928-<br/>Yer Numarası QA 76.5 S213 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A comparative study of programming languagesent://SD_ILS/0/SD_ILS:346812026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Higman, Bryan.<br/>Yer Numarası QA 76.5 H49 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Transactions on Pattern Languages of Programming Vent://SD_ILS/0/SD_ILS:6077182026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Pattern Languages of Programming IVent://SD_ILS/0/SD_ILS:4828312026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14291-9">https://doi.org/10.1007/978-3-030-14291-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming languages for MIS : concepts and practiceent://SD_ILS/0/SD_ILS:5471182026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wang, Hai, author. Wang, Shouhong, 1962- author. Taylor and Francis.<br/>Yer Numarası T58.6<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482222678">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Pattern Languages of Programming IIIent://SD_ILS/0/SD_ILS:3346472026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334647.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to the Theory of Programming Languagesent://SD_ILS/0/SD_ILS:1684142026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of programming languages : a paradigm approachent://SD_ILS/0/SD_ILS:3655002026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Seyed Mohamed Buhari.<br/>Yer Numarası QA76.7.T47 S49 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Transactions on Pattern Languages of Programming Ient://SD_ILS/0/SD_ILS:1914892026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10832-7">http://dx.doi.org/10.1007/978-3-642-10832-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Agent Programming: Languages, Tools and Applicationsent://SD_ILS/0/SD_ILS:1679332026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-89299-3">http://dx.doi.org/10.1007/978-0-387-89299-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Agent Programming Languages, Platforms and Applicationsent://SD_ILS/0/SD_ILS:1652692026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming languages constraints, functions, and objectsent://SD_ILS/0/SD_ILS:2202242026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A PL/I approach to programming languagesent://SD_ILS/0/SD_ILS:322402026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Katzan, Harry.<br/>Yer Numarası QA 76.7 K38 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming languages : PDP-8 family computers preparedent://SD_ILS/0/SD_ILS:322452026-03-30T19:13:07Z2026-03-30T19:13:07ZYer Numarası QA 76.7 P943 1970 V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057752026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083272026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-91121-7">https://doi.org/10.1007/978-3-031-91121-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6083002026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-91118-7">https://doi.org/10.1007/978-3-031-91118-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031532026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57262-3">https://doi.org/10.1007/978-3-031-57262-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031622026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57267-8">https://doi.org/10.1007/978-3-031-57267-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6029252026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-51075-5">https://doi.org/10.1007/978-3-031-51075-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Proveent://SD_ILS/0/SD_ILS:6021632026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Morazán, Marco T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209442026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wies, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30044-8">https://doi.org/10.1007/978-3-031-30044-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213412026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hur, Chung-Kil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8311-7">https://doi.org/10.1007/978-981-99-8311-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of probabilistic logic programming : languages, semantics, inference and learningent://SD_ILS/0/SD_ILS:5667192026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Riguzzi, Fabrizio, author.<br/>Yer Numarası QA76.63<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003427421">https://www.taylorfrancis.com/books/9781003427421</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/>Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Pythonent://SD_ILS/0/SD_ILS:5967532026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.<br/>Yer Numarası QA76.7<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Javaent://SD_ILS/0/SD_ILS:5970822026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hardin, Thérèse, author. Jaume, Mathieu, author. Pessaux, Francois, author. Donzeau-Gouge, Véronique, author.<br/>Yer Numarası QA76.7<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4827462026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4835062026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835472026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006442026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111512026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 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:6122882026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Thiemann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6126142026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130632026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189262026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26529-2">https://doi.org/10.1007/978-3-319-26529-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5188892026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25527-9">https://doi.org/10.1007/978-3-319-25527-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191202026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24012-1">https://doi.org/10.1007/978-3-319-24012-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5192222026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5192252026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</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-30T19:13:07Z2026-03-30T19:13:07ZYazar 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/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4890532026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894342026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Shao, Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4875012026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Majkić, Zoran. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Fernández, Maribel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343482026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334348.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329812026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332981.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347512026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334751.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39206-1">http://dx.doi.org/10.1007/978-3-642-39206-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3347532026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334753.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39212-2">http://dx.doi.org/10.1007/978-3-642-39212-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350282026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335028.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975772026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965532026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1971102026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1971122026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973322026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Pattern Languages of Programming II Special Issue on Applying Patternsent://SD_ILS/0/SD_ILS:1940422026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Noble, James. editor. Johnson, Ralph. editor. Avgeriou, Paris. editor. Harrison, Neil B. editor. Zdun, Uwe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19432-0">http://dx.doi.org/10.1007/978-3-642-19432-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941332026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Barthe, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948882026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22006-7">http://dx.doi.org/10.1007/978-3-642-22006-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948892026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959112026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Database systems : models, languages, design, and application programmingent://SD_ILS/0/SD_ILS:2688182026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Elmasri, Ramez. Navathe, Sham. Elmasri, Ramez. Fundamentals of database systems.<br/>Yer Numarası QA76.9.D3 E46 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1925662026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935112026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1925672026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14165-2">http://dx.doi.org/10.1007/978-3-642-14165-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918472026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aidsent://SD_ILS/0/SD_ILS:1918612026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12015-2">http://dx.doi.org/10.1007/978-3-642-12015-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907392026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gardner, Philippa. editor. Geerts, Floris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03793-1">http://dx.doi.org/10.1007/978-3-642-03793-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914412026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hu, Zhenjiang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10672-9">http://dx.doi.org/10.1007/978-3-642-10672-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1859982026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882262026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1859952026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892482026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ramalingam, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1875532026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75987-4">http://dx.doi.org/10.1007/978-3-540-75987-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862442026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Nicola, Rocco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876402026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Shao, Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868452026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sestoft, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1843202026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1843212026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847642026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851552026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832342026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1826362026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bierman, Gavin. editor. Koch, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11601524">http://dx.doi.org/10.1007/11601524</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828342026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830582026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar 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/>Computer languages : a practical guide to the chief programming languagesent://SD_ILS/0/SD_ILS:345992026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sanderson, Peter C.<br/>Yer Numarası QA 76 S29 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fundamentals of COBOLent://SD_ILS/0/SD_ILS:347592026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar U.S. Navy Programming Languages Group.<br/>Yer Numarası QA 76.5 U5 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001ent://SD_ILS/0/SD_ILS:557372026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah) Association for Computing Machinery. ACM, Special Interest Group on Programming Languages. ACM, Special Interest Group on Software Engineering.<br/>Yer Numarası QA 76.758 A345 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Proceedings of the ACM 2001 Java Grande/ISCOPE Conference : Palo Alto, Calif., June 2-4, 2001ent://SD_ILS/0/SD_ILS:869832026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar ACM Java Grande/ISCOPE Conference (2001 : Palo Alto, Calif.) ACM Special Interest Group on Programming Languages. ACM Java Grande Conference (6th : 2001 : Palo Alto, Calif.) ISCOPE (Conference) (4th : 2001 : Palo Alto, Calif.)<br/>Yer Numarası QA 76.73.J38 A265 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Health metrics and the spread of infectious diseases : machine learning applications and spatial modelling analysis with Rent://SD_ILS/0/SD_ILS:5504942026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gazzelloni, Federica, author.<br/>Yer Numarası R853 .S7<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032625935">https://www.taylorfrancis.com/books/9781032625935</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/>New storytelling : learning through metaphorsent://SD_ILS/0/SD_ILS:5572212026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ursyn, Anna, 1955- author.<br/>Yer Numarası QA268<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003592945">https://www.taylorfrancis.com/books/9781003592945</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/>Mathematical foundations of computer scienceent://SD_ILS/0/SD_ILS:5609192026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lall, Ashwin, author.<br/>Yer Numarası QA76.9 .M35<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003383284">https://www.taylorfrancis.com/books/9781003383284</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/>DATA ANALYTICS FOR FINANCE USING PYTHONent://SD_ILS/0/SD_ILS:5611552026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Untwal, Nitin Jaglal. Kose, Utku.<br/>Yer Numarası HG4012.5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032618241">https://www.taylorfrancis.com/books/9781032618241</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/>Java programming exercises. Volume one, Language fundamentals and core conceptsent://SD_ILS/0/SD_ILS:5638612026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ullenboom, Christian, author, translator.<br/>Yer Numarası QA76.73 .J38<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003454502">https://www.taylorfrancis.com/books/9781003454502</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/>Financial data analytics with machine learning, optimization and statisticsent://SD_ILS/0/SD_ILS:5994882026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Chen, Yongzhao, author. Cheung, Ka Chun, author. Fan, Kaiser, author. Yam, Phillip (Sheung Chi Phillip), author.<br/>Yer Numarası HG104 .C44 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863403">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863403</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The data science handbookent://SD_ILS/0/SD_ILS:5994922026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Cady, Field, 1984- author.<br/>Yer Numarası QA76.9 .D32 C33 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6015382026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84913-8">https://doi.org/10.1007/978-3-031-84913-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050952026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6069842026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82703-7">https://doi.org/10.1007/978-3-031-82703-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6069982026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82700-6">https://doi.org/10.1007/978-3-031-82700-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6071572026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-81226-2">https://doi.org/10.1007/978-3-031-81226-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024ent://SD_ILS/0/SD_ILS:6072542026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-6957-5">https://doi.org/10.1007/978-981-97-6957-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6081722026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-89991-1">https://doi.org/10.1007/978-3-031-89991-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Microprocessor System Design using FPGAsent://SD_ILS/0/SD_ILS:6086872026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Meyer-Baese, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82822-5">https://doi.org/10.1007/978-3-031-82822-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthdayent://SD_ILS/0/SD_ILS:6091192026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:6093752026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar 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/>Python for Experimental Psychologists A Fun Way of Learning How to Code Your Experiments.ent://SD_ILS/0/SD_ILS:5741012026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Dalmaijer, Edwin S., 1990-<br/>Yer Numarası BF39.5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003174332">https://www.taylorfrancis.com/books/9781003174332</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/>The microprocessor : a practical introduction using the Arm Cortex-M0 processorent://SD_ILS/0/SD_ILS:5994282026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Vasavada, Darshak S., author. Sinha, Sudhir Kumar, author.<br/>Yer Numarası TK7895 .M5 V37 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394245321">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394245321</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Alice and Bob learn secure codingent://SD_ILS/0/SD_ILS:5996642026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Janca, Tanya. author.<br/>Yer Numarası QA76.76 .D47<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Modelling and Programmingent://SD_ILS/0/SD_ILS:6067632026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Managing Software Supply Chains Theory and Practiceent://SD_ILS/0/SD_ILS:6074272026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-1797-5">https://doi.org/10.1007/978-981-96-1797-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6076812026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction Fundamentals and Applicationsent://SD_ILS/0/SD_ILS:6082772026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6085332026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Marchiori, Massimo. editor. García Peñalvo, Francisco. editor. (orcid)0000-0001-9987-5584 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-89621-7">https://doi.org/10.1007/978-3-031-89621-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Object-based Programming with Goent://SD_ILS/0/SD_ILS:6093322026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Maurer, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Java programming exercisesent://SD_ILS/0/SD_ILS:5784212026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ullenboom, Christian, author, translator.<br/>Yer Numarası QA76.73 .J38<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003495550">https://www.taylorfrancis.com/books/9781003495550</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/>Python : a practical learning approachent://SD_ILS/0/SD_ILS:5901942026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Murugesh, T. S., author. Vasudevan, Shriram K., author. Pulari, Sini Raj, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032712673">https://www.taylorfrancis.com/books/9781032712673</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/>Java 22 for healthcare and medical applicationsent://SD_ILS/0/SD_ILS:5746572026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bhimavarapu, Usharani, author.<br/>Yer Numarası R858<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003544319">https://www.taylorfrancis.com/books/9781003544319</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/>Python programming : a step-by-step guide to learning the languageent://SD_ILS/0/SD_ILS:5805232026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Dhaliwal, C. K., author. Rana, Poonam, author. Brar, T. P. S., author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032691053">https://www.taylorfrancis.com/books/9781032691053</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/>Beginning Solidity : learn to program smart contracts with solidityent://SD_ILS/0/SD_ILS:5998902026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Dolgov, Alexandros, author.<br/>Yer Numarası QA76.73 .S57 D65 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6068902026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74558-4">https://doi.org/10.1007/978-3-031-74558-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The AI Act and The Agile Safety Planent://SD_ILS/0/SD_ILS:6070672026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80504-2">https://doi.org/10.1007/978-3-031-80504-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6076382026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85593-1">https://doi.org/10.1007/978-3-031-85593-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6051212026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6054992026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74209-5">https://doi.org/10.1007/978-3-031-74209-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6060472026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-77153-8">https://doi.org/10.1007/978-3-031-77153-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Python : with applications in optimization, image and video processing, and machine learningent://SD_ILS/0/SD_ILS:5548492026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Báez López, David, author. Báez Villegas, David Alfredo, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003222118">https://www.taylorfrancis.com/books/9781003222118</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/>PLAYFUL PYTHON PROJECTS modeling and animation.ent://SD_ILS/0/SD_ILS:5590612026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Mozgovoy, Maxim, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003455295">https://www.taylorfrancis.com/books/9781003455295</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/>Learning professional Python. Volume 2, Advancedent://SD_ILS/0/SD_ILS:5706182026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bhimavarapu, Usharani, author. Hemanth, Jude D. Karunya University, India Hemanth, Jude, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003462392">https://www.taylorfrancis.com/books/9781003462392</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/>DEEP LEARNING FOR ENGINEERSent://SD_ILS/0/SD_ILS:5715242026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Arif, Tariq M. Rahim, Md. Adilur.<br/>Yer Numarası TA160<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003402923">https://www.taylorfrancis.com/books/9781003402923</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/>Quick Javaent://SD_ILS/0/SD_ILS:5715252026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Matuszek, David L., author.<br/>Yer Numarası QA76.73 .J38<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003402947">https://www.taylorfrancis.com/books/9781003402947</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/>NLP application through a rule-based mapping algorithm between natural language questions and SQL using computational linguisticsent://SD_ILS/0/SD_ILS:5512862026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kedwan, Ftoon, author.<br/>Yer Numarası QA76.9 .N38<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003413899">https://www.taylorfrancis.com/books/9781003413899</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/>Data mining with Python : theory, application, and case studiesent://SD_ILS/0/SD_ILS:5522582026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wu, Di (Computer science teacher), author.<br/>Yer Numarası QA76.9 .D343<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003462781">https://www.taylorfrancis.com/books/9781003462781</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/>Programming language explorationsent://SD_ILS/0/SD_ILS:5529462026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Toal, Ray, author. Strieker, Sage Angelica, author. Berardini, Marco, author.<br/>Yer Numarası QA76.7<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003222354">https://www.taylorfrancis.com/books/9781003222354</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/>SIMPLE INTRODUCTION TO PYTHONent://SD_ILS/0/SD_ILS:5552672026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lynch, Stephen.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003472759">https://www.taylorfrancis.com/books/9781003472759</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/>Machine Learning and Python for Human Behavior, Emotion, and Health Status Analysisent://SD_ILS/0/SD_ILS:5521862026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Zia Uddin, Md, author.<br/>Yer Numarası TK7881.25<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003425908">https://www.taylorfrancis.com/books/9781003425908</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/>MUSE OF CODING computer programming as art.ent://SD_ILS/0/SD_ILS:5552272026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Garfinkle, Richard.<br/>Yer Numarası QA76.6<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003459866">https://www.taylorfrancis.com/books/9781003459866</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/>Challenging Programming in Python: A Problem Solving Perspectiveent://SD_ILS/0/SD_ILS:6018632026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39999-2">https://doi.org/10.1007/978-3-031-39999-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning C# Through Small Projectsent://SD_ILS/0/SD_ILS:6038792026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-51914-7">https://doi.org/10.1007/978-3-031-51914-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPXent://SD_ILS/0/SD_ILS:6041592026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-54369-2">https://doi.org/10.1007/978-3-031-54369-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learn coding with Python and JavaScript A practical introduction for beginnersent://SD_ILS/0/SD_ILS:6042312026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-42912-6">https://doi.org/10.1007/978-3-658-42912-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar 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/>Guide to Competitive Programming Learning and Improving Algorithms Through Contestsent://SD_ILS/0/SD_ILS:6046412026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Laaksonen, Antti. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61794-2">https://doi.org/10.1007/978-3-031-61794-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6056852026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71152-7">https://doi.org/10.1007/978-3-031-71152-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical physics using Python applications in physics and engineeringent://SD_ILS/0/SD_ILS:5723682026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Pagonis, Vasilis, author. Kulp, Christopher W., author.<br/>Yer Numarası QC20.7 .E4<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003294320">https://www.taylorfrancis.com/books/9781003294320</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/>Learn R : as a languageent://SD_ILS/0/SD_ILS:5850882026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Aphalo, Pedro J., author.<br/>Yer Numarası QA76.73 .R3 2024<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003404187">https://www.taylorfrancis.com/books/9781003404187</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/>Programming with Python : and Its applications to physical systemsent://SD_ILS/0/SD_ILS:5860612026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Singh, M. Shubhakanta, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003453307">https://www.taylorfrancis.com/books/9781003453307</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/>x86 software reverse-engineering, cracking, and counter-measuresent://SD_ILS/0/SD_ILS:5989202026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Domas, Stephanie, author. Domas, Christopher, author.<br/>Yer Numarası QA76.9 .A25 D66 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling and optimization of signals using machine learning techniquesent://SD_ILS/0/SD_ILS:5993792026-03-30T19:13:07Z2026-03-30T19:13:07ZYer Numarası TK5102.9 .M63 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847717">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847717</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Active Object Languages: Current Research Trendsent://SD_ILS/0/SD_ILS:6024372026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-51060-1">https://doi.org/10.1007/978-3-031-51060-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:6022302026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-46460-7">https://doi.org/10.1007/978-3-031-46460-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>R Programming Statistical Data Analysis in Researchent://SD_ILS/0/SD_ILS:6042332026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-3385-9">https://doi.org/10.1007/978-981-97-3385-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Software Verification with Frama-C Core Components, Usages, and Applicationsent://SD_ILS/0/SD_ILS:6042372026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55608-1">https://doi.org/10.1007/978-3-031-55608-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>R for Basic Biostatistics in Medical Researchent://SD_ILS/0/SD_ILS:6063592026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Srinivasan, Anand. editor. Mishra, Archana. editor. (orcid)0000-0001-8837-299X Kumar-M, Praveen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-6980-3">https://doi.org/10.1007/978-981-97-6980-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Professional JavaScript for web developersent://SD_ILS/0/SD_ILS:5985622026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Frisbie, Matt, author.<br/>Yer Numarası TK5105.8885 .J38 Z34 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193240">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193240</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6030732026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56940-1">https://doi.org/10.1007/978-3-031-56940-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Infrared Small Target Detection Theory, Methods, and Algorithms.ent://SD_ILS/0/SD_ILS:6030992026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031502026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Heterogeneous Hardware via Managed Runtime Systemsent://SD_ILS/0/SD_ILS:6032022026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49559-5">https://doi.org/10.1007/978-3-031-49559-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tiny Android projects using Kotlin.ent://SD_ILS/0/SD_ILS:5756442026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Panjuta, Denis, author. Nwokike, Loveth, author.<br/>Yer Numarası QA76.8 .G2<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032622538">https://www.taylorfrancis.com/books/9781032622538</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/>LARGE LANGUAGE MODELS concepts, techniques and applications.ent://SD_ILS/0/SD_ILS:5765142026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Atkinson-Abutridy, John.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003517245">https://www.taylorfrancis.com/books/9781003517245</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/>CompTIA DataSys+ study guide : exam DSO-001ent://SD_ILS/0/SD_ILS:5986642026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Chapple, Mike, 1975- author. Nijim, Sharif, author.<br/>Yer Numarası QA76.3 .C43 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical modeling and simulation : introduction for scientists and engineersent://SD_ILS/0/SD_ILS:5993002026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Velten, Kai, author. Schmidt, Dominik M., author. Kahlen, Katrin, author.<br/>Yer Numarası QA401 .V38 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Softwareent://SD_ILS/0/SD_ILS:6019472026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Scheer, August-Wilhelm. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-43089-4">https://doi.org/10.1007/978-3-658-43089-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Structures and Algorithms with Python With an Introduction to Multiprocessingent://SD_ILS/0/SD_ILS:6024072026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar 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-031-42209-6">https://doi.org/10.1007/978-3-031-42209-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structures of Computing A Guide to Practice-Oriented Theoryent://SD_ILS/0/SD_ILS:6027732026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Dataent://SD_ILS/0/SD_ILS:6027902026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-68313-2">https://doi.org/10.1007/978-3-662-68313-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6030522026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56957-9">https://doi.org/10.1007/978-3-031-56957-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031662026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6035672026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6036932026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Mogensen, Torben Ægidius. editor. (orcid)0000-0003-4862-9193 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-62076-8">https://doi.org/10.1007/978-3-031-62076-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirementent://SD_ILS/0/SD_ILS:6049562026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Practice of Formal Methods Essays in Honour of Cliff Jones, Part IIent://SD_ILS/0/SD_ILS:6050222026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66673-5">https://doi.org/10.1007/978-3-031-66673-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Practice of Formal Methods Essays in Honour of Cliff Jones, Part Ient://SD_ILS/0/SD_ILS:6050312026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66676-6">https://doi.org/10.1007/978-3-031-66676-6</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-03-30T19:13:07Z2026-03-30T19:13:07ZYazar 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/>Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computingent://SD_ILS/0/SD_ILS:5201892026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Nazareth, John Lawrence. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21762-3">https://doi.org/10.1007/978-3-031-21762-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211872026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-32883-1">https://doi.org/10.1007/978-3-031-32883-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5212932026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Singer, Jeremy. editor. Elkhatib, Yehia. editor. Blanco Heras, Dora. editor. Diehl, Patrick. editor. (orcid) Brown, Nick. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31209-0">https://doi.org/10.1007/978-3-031-31209-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Artificial Intelligenceent://SD_ILS/0/SD_ILS:5218922026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-25928-9">https://doi.org/10.1007/978-3-031-25928-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Communication, Networking and IoT Proceedings of 5th ICICC 2021, Volume 2ent://SD_ILS/0/SD_ILS:5288762026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Satapathy, Suresh Chandra. editor. Lin, Jerry Chun-Wei. editor. Wee, Lai Khin. editor. Bhateja, Vikrant. editor. Rajesh, T. M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-1976-3">https://doi.org/10.1007/978-981-19-1976-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5208642026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209542026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Spano, Lucio Davide. editor. Schmidt, Albrecht. editor. (orcid) Santoro, Carmen. editor. Stumpf, Simone. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34433-6">https://doi.org/10.1007/978-3-031-34433-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209312026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29927-8">https://doi.org/10.1007/978-3-031-29927-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212452026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Python for scientific computation and artificial intelligenceent://SD_ILS/0/SD_ILS:5539852026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Lynch, Stephen, 1964- author.<br/>Yer Numarası QA76.73 .P98 L96 2023<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003285816">https://www.taylorfrancis.com/books/9781003285816</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/>Thermal physics tutorial with Python simulationsent://SD_ILS/0/SD_ILS:5578462026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kouh, Minjoon, author. Kouh, Taejoon, author.<br/>Yer Numarası QC311 .K68 2023<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003287841">https://www.taylorfrancis.com/books/9781003287841</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/>The Python audio cookbook : recipes for audio scripting with Pythonent://SD_ILS/0/SD_ILS:5589972026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Drymonitis, Alexandros, author.<br/>Yer Numarası ML74.4 .P97<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003386964">https://www.taylorfrancis.com/books/9781003386964</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/>Job ready SQLent://SD_ILS/0/SD_ILS:5984202026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Weiss, Kimberly A., author. Balti, Haythem, author.<br/>Yer Numarası QA76.73 .S67<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320615">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320615</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quick functional programmingent://SD_ILS/0/SD_ILS:5628352026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Matuszek, David L., editor.<br/>Yer Numarası QA76.62<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003358541">https://www.taylorfrancis.com/books/9781003358541</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/>SQL SERVER DATABASE PROGRAMMING WITH C#; DESKTOP AND WEB APPLICATIONSent://SD_ILS/0/SD_ILS:5685092026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bai, Ying.<br/>Yer Numarası QA76.9 .D32<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003319832">https://www.taylorfrancis.com/books/9781003319832</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/>Quick recursionent://SD_ILS/0/SD_ILS:5831262026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar 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/>Digital image processing with C++ : implementing reference algorithms with the CImg libraryent://SD_ILS/0/SD_ILS:5830612026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Tschumperle, David, author. Tilmant, Christophe, author. Barra, Vincent, author.<br/>Yer Numarası TA1637<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003323693">https://www.taylorfrancis.com/books/9781003323693</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/>Data structure using C : theory and programent://SD_ILS/0/SD_ILS:5851492026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Siddiqui, Ahmad Talha, author. Siddiqui, Shoeb Ahad, author.<br/>Yer Numarası QA76.9 .D35<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003453291">https://www.taylorfrancis.com/books/9781003453291</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/>Numerical calculations in Clifford algebra : a practical guide for engineers and scientistsent://SD_ILS/0/SD_ILS:5981912026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Seagar, Andrew, author. John Wiley & Sons, publisher.<br/>Yer Numarası QA199 .S43 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173273">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173273</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems engineering neural networksent://SD_ILS/0/SD_ILS:5981112026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Migliaccio, Alessandro, author. Iannone, Giovanni, author.<br/>Yer Numarası QA76.87 .M537 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>COMPUTER ARITHMETIC IN PRACTICE exercises and programming.ent://SD_ILS/0/SD_ILS:5743872026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gryś, Sławomir, author.<br/>Yer Numarası QA76.9 .C62<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003363286">https://www.taylorfrancis.com/books/9781003363286</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/>Learning professional Python. Volume 1, The basicsent://SD_ILS/0/SD_ILS:5899022026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bhimavarapu, Usharani, author. Hemanth, Jude, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003414322">https://www.taylorfrancis.com/books/9781003414322</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/>Introduction to financial derivatives with Pythonent://SD_ILS/0/SD_ILS:5645772026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Alòs, Elisa, author. Merino, Raúl, author.<br/>Yer Numarası HG6024 .A3<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003266730">https://www.taylorfrancis.com/books/9781003266730</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/>The garbage collection handbook : the art of automatic memory managementent://SD_ILS/0/SD_ILS:5645942026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Jones, Richard, 1954- author. Hosking, Antony, 1964- author. Moss, Eliot, author.<br/>Yer Numarası QA76.9 .M45<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003276142">https://www.taylorfrancis.com/books/9781003276142</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/>LEARNING ADVANCED PYTHON BY STUDYING OPEN SOURCE PROJECTSent://SD_ILS/0/SD_ILS:5743242026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Li, Rongpeng.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003316909">https://www.taylorfrancis.com/books/9781003316909</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/>Prolog: The Next 50 Yearsent://SD_ILS/0/SD_ILS:5213972026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Python packagesent://SD_ILS/0/SD_ILS:5586802026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Beuzen, Tomas, author. Timbers, Tiffany-Anne, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003189251">https://www.taylorfrancis.com/books/9781003189251</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/>Quick Python 3ent://SD_ILS/0/SD_ILS:5647202026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Matuszek, David L., author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003356219">https://www.taylorfrancis.com/books/9781003356219</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/>INTRODUCTION TO C++ent://SD_ILS/0/SD_ILS:5683562026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Tselikis, George S.<br/>Yer Numarası QA76.73 .C153<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003230076">https://www.taylorfrancis.com/books/9781003230076</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/>Machine learning for decision sciences with case studies in Pythonent://SD_ILS/0/SD_ILS:5500452026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sumathi, S., 1968- author. Rajappa, Suresh, author. Kumar, L. Ashok, author. Surekha, P., 1980- author.<br/>Yer Numarası Q325.5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003258803">https://www.taylorfrancis.com/books/9781003258803</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/>Database Systems A Pragmatic Approachent://SD_ILS/0/SD_ILS:5588312026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Foster, Elvis C. Godbole, Shripad, author.<br/>Yer Numarası QA76.9 .D26<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003275725">https://www.taylorfrancis.com/books/9781003275725</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/>ALGORITHM DESIGN a methodological approach - 150problems and detailed solutions.ent://SD_ILS/0/SD_ILS:5627972026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bosc, Patrick, author. Miclet, Lauren, author. Guyomard, Marc, author.<br/>Yer Numarası QA9.58<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003334590">https://www.taylorfrancis.com/books/9781003334590</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/>JavaScript : syntax and practicesent://SD_ILS/0/SD_ILS:5672682026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Tomar, Ravi, author. Dangi, Sarishma, author.<br/>Yer Numarası QA76.73 .J39<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003122364">https://www.taylorfrancis.com/books/9781003122364</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/>COMPUTATIONAL FRAMEWORK FOR THE FINITE ELEMENT METHOD IN MATLAB AND PYTHONent://SD_ILS/0/SD_ILS:5829312026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Sumets, Pavel, author.<br/>Yer Numarası TA347 .F5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003265979">https://www.taylorfrancis.com/books/9781003265979</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/>Python for beginnersent://SD_ILS/0/SD_ILS:5847992026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Balamurugan, B, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003202035">https://www.taylorfrancis.com/books/9781003202035</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/>The statistical analysis of doubly truncated data : with applications in Rent://SD_ILS/0/SD_ILS:5971772026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Uña-Álvarez, Jacobo de, 1972- author. Moreira, Carla, 1972- author. Crujeiras, Rosa M. (Rosa María), 1978- author.<br/>Yer Numarası QH323.5 .U53 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119500469">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119500469</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial intelligence and quantum computing for advanced wireless networksent://SD_ILS/0/SD_ILS:5972162026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Glisic, Savo G., author. Lorenzo, Beatriz, author.<br/>Yer Numarası Q335 .G55 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790327">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790327</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning ReactJS Foundations building user interfaces with ReactJS : an approachable guideent://SD_ILS/0/SD_ILS:5974162026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Minnick, Chris.<br/>Yer Numarası QA76.9 .U83<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119685630">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119685630</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital VLSI design and simulation with Verilogent://SD_ILS/0/SD_ILS:5967882026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Tripathi, Suman Lata, author. Saxena, Sobhit, author. Sinha, Sanjeet Kumar, author. Patel, Govind Singh, author.<br/>Yer Numarası TK7874.75 .T75 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119778097">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119778097</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sports analytics in practice with Rent://SD_ILS/0/SD_ILS:5971192026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kwartler, Ted, 1978- author. Baker, Robert E., 1957- author.<br/>Yer Numarası GV706.8 .K83 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119598084">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119598084</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>JOB READY GO.ent://SD_ILS/0/SD_ILS:5978172026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar BALTI, HAYTHEM.<br/>Yer Numarası QA76.73 .G63<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320622">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320622</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>C programming : learn to codeent://SD_ILS/0/SD_ILS:5780052026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Jena, Sisir Kumar, author.<br/>Yer Numarası QA76.73 .C15<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003188254">https://www.taylorfrancis.com/books/9781003188254</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/>STEM PROBLEMS WITH MATHCAD AND PYTHONent://SD_ILS/0/SD_ILS:5867182026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Ochkov, V. F. (Valeriĭ Fedorovich), author. Stevens, Alan (Mathematician), author. Tikhonov, Anton (Information technology), author.<br/>Yer Numarası QA303.2<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003228356">https://www.taylorfrancis.com/books/9781003228356</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/>ORACLE DATABASE PROGRAMMING WITH JAVA ideas, designs, and implementations.ent://SD_ILS/0/SD_ILS:5907142026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bai, Ying.<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003304029">https://www.taylorfrancis.com/books/9781003304029</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/>Python programming : a practical approachent://SD_ILS/0/SD_ILS:5702782026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Śarmā, Vijaya Kumāra, author. Kumar, Vimal, author. Sharma, Swati, author. Pathak, Shashwat, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003185505">https://www.taylorfrancis.com/books/9781003185505</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/>JAVASCRIPT FOR SOUND ARTISTS learn to code with the web audio api.ent://SD_ILS/0/SD_ILS:5800962026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Turner, William (Web site developer), author. Leonard, Steve (Web site developer), editor.<br/>Yer Numarası TK7881.4<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003201496">https://www.taylorfrancis.com/books/9781003201496</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/>Applied evolutionary algorithms for engineers with Pythonent://SD_ILS/0/SD_ILS:5564872026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Scardua, Leonardo Azevedo, 1966- author.<br/>Yer Numarası QA76.618 .S33 2020<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429298028">https://www.taylorfrancis.com/books/9780429298028</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/>SOFTWARE DEVELOPMENT PATTERNS AND ANTIPATTERNS.ent://SD_ILS/0/SD_ILS:5655142026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Jones, Capers.<br/>Yer Numarası QA76.76 .D47<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003193128">https://www.taylorfrancis.com/books/9781003193128</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/>Algorithms in bioinformatics : theory and implementationent://SD_ILS/0/SD_ILS:5966232026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Gagniuc, Paul A., author.<br/>Yer Numarası QH324.2 .G34 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698005">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698005</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital system design using FSMs : a practical learning approachent://SD_ILS/0/SD_ILS:5967382026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Minns, Peter D., author.<br/>Yer Numarası QA267.5 .S4 M56 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Oracle database programming with Visual Basic .NET : Concepts, Designs, and Implementationsent://SD_ILS/0/SD_ILS:5967542026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bai, Ying, 1956-<br/>Yer Numarası QA76.9 .D3 B35 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119734529">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119734529</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The SMART CYBER ECOSYSTEM FOR SUSTAINABLE DEVELOPMENT.ent://SD_ILS/0/SD_ILS:5970172026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Kumar, Pardeep, 1976- Jain, Vishal, 1983- Ponnusamy, Vasaki, 1974-<br/>Yer Numarası Q335<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119761655">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119761655</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Research Software Engineering with Python : Building software that makes research possible.ent://SD_ILS/0/SD_ILS:5827772026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Irving, Damien. Hertweck, Kate Johnston, Luke Ostblom, Joel Wickham, Charlotte<br/>Yer Numarası Q180.55 .E4<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003143482">https://www.taylorfrancis.com/books/9781003143482</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/>Introduction to programming with C++ for engineersent://SD_ILS/0/SD_ILS:5959082026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Cyganek, Bogusław, author.<br/>Yer Numarası QA76.73 .C153 C94 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119431152">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119431152</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Software Testing with Cypressent://SD_ILS/0/SD_ILS:5885802026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Palani, Narayanan.<br/>Yer Numarası QA76.76 .T48<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003145110">https://www.taylorfrancis.com/books/9781003145110</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/>Microcontroller prototypes with Arduino and a 3D printer : learn, program, manufactureent://SD_ILS/0/SD_ILS:5965782026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bolanakis, Dimosthenis E., 1978- author.<br/>Yer Numarası TJ223 .P76 B665 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782698">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782698</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data structure and algorithms using C++ : a practical implementationent://SD_ILS/0/SD_ILS:5965422026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Mohanty, Sachi Nandan, editor. Tripathy, Pabitra Kumar, editor.<br/>Yer Numarası QA76.73 .C153 D38 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119752059">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119752059</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A tour of data science : learn R and Python in parallelent://SD_ILS/0/SD_ILS:5778212026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Zhang, Nailong, author.<br/>Yer Numarası QA76.9 .D343 Z458 2021 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003020646">https://www.taylorfrancis.com/books/9781003020646</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/>Survival Analysis with Python.ent://SD_ILS/0/SD_ILS:5897422026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Nag, Avishek.<br/>Yer Numarası TA645<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003255499">https://www.taylorfrancis.com/books/9781003255499</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/>ARTIFICIAL INTELLIGENCE IN AGRICULTUREent://SD_ILS/0/SD_ILS:5915952026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Singh, Rajesh (Electrical engineer), author. Gehlot, Anita, author. Kumar Prajapat, Mahesh, author. Singh, Bhupendra, author.<br/>Yer Numarası S494.5 .D3<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003245759">https://www.taylorfrancis.com/books/9781003245759</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/>Designing software synthesizer plug-ins in C++ent://SD_ILS/0/SD_ILS:5721202026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Pirkle, William C., author.<br/>Yer Numarası MT723<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003052203">https://www.taylorfrancis.com/books/9781003052203</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/>Data Structures using C : A Practical Approach for Beginners.ent://SD_ILS/0/SD_ILS:5789332026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Jagtap, Amol M. Mali, Ajit S.<br/>Yer Numarası QA76.9 .D35<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003105800">https://www.taylorfrancis.com/books/9781003105800</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/>Learning by doing with National Instruments development boardsent://SD_ILS/0/SD_ILS:5545742026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Parab, Jivan S., author. Nazareth, Ingrid Anne, author. Gad, Rajendra S., author. Naik, Gourish, author.<br/>Yer Numarası Q185<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429441806">https://www.taylorfrancis.com/books/9780429441806</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/>Practical scientific and numerical computing with MATLAB and Pythonent://SD_ILS/0/SD_ILS:5719032026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bashier, Eihab Bashier Mohammed, author.<br/>Yer Numarası Q183.9 .B375 2020<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429021985">https://www.taylorfrancis.com/books/9780429021985</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/>C++ template metaprogramming in practice a deep learning frameworkent://SD_ILS/0/SD_ILS:5546942026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Wei, Li.<br/>Yer Numarası QA76.73 .C153<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003102311">https://www.taylorfrancis.com/books/9781003102311</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/>Anyone can code : the art and science of logical creativityent://SD_ILS/0/SD_ILS:5883552026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Arya, Ali, author.<br/>Yer Numarası QA76.6<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429244421">https://www.taylorfrancis.com/books/9780429244421</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/>Bite-size Python : an introduction to Python programmingent://SD_ILS/0/SD_ILS:5962562026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Speight, April.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643845">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643845</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868362026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828592026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828692026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4829842026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834182026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4846882026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Stephenson, Ben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18873-3">https://doi.org/10.1007/978-3-030-18873-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4847062026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848892026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:4853992026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25943-3">https://doi.org/10.1007/978-3-030-25943-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852712026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852842026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18506-0">https://doi.org/10.1007/978-3-030-18506-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859442026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4859682026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859802026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4831312026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</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:4831382026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20290-3">https://doi.org/10.1007/978-3-030-20290-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:4837892026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4840452026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4841842026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4851642026-03-30T19:13:07Z2026-03-30T19:13:07ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>