Arama Sonuçları Programming languages. - Daraltılmış: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming$002blanguages.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2026-02-06T21:24:54ZMultiparadigm Constraint Programming Languagesent://SD_ILS/0/SD_ILS:1935702026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Types and programming languagesent://SD_ILS/0/SD_ILS:2199132026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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:4882652026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Transactions on Pattern Languages of Programming IVent://SD_ILS/0/SD_ILS:4828312026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Multi-Agent Programming: Languages, Tools and Applicationsent://SD_ILS/0/SD_ILS:1679332026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Transactions on Pattern Languages of Programming Ient://SD_ILS/0/SD_ILS:1914892026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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, Platforms and Applicationsent://SD_ILS/0/SD_ILS:1652692026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189262026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191202026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5192222026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4875012026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4890532026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350282026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329812026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1971102026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975772026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Transactions on Pattern Languages of Programming II Special Issue on Applying Patternsent://SD_ILS/0/SD_ILS:1940422026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948882026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 IIent://SD_ILS/0/SD_ILS:1948892026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1925672026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935112026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aidsent://SD_ILS/0/SD_ILS:1918612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907392026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892482026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1859952026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1859982026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868452026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1875532026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876402026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1843202026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1826362026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832342026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>New storytelling : learning through metaphorsent://SD_ILS/0/SD_ILS:5572212026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Health metrics and the spread of infectious diseases : machine learning applications and spatial modelling analysis with Rent://SD_ILS/0/SD_ILS:5504942026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Mathematical foundations of computer scienceent://SD_ILS/0/SD_ILS:5609192026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Java 22 for healthcare and medical applicationsent://SD_ILS/0/SD_ILS:5746572026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Java programming exercises. Volume one, Language fundamentals and core conceptsent://SD_ILS/0/SD_ILS:5638612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>DATA ANALYTICS FOR FINANCE USING PYTHONent://SD_ILS/0/SD_ILS:5611552026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Python : a practical learning approachent://SD_ILS/0/SD_ILS:5901942026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Python for Experimental Psychologists A Fun Way of Learning How to Code Your Experiments.ent://SD_ILS/0/SD_ILS:5741012026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Python programming : a step-by-step guide to learning the languageent://SD_ILS/0/SD_ILS:5805232026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Java programming exercisesent://SD_ILS/0/SD_ILS:5784212026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Financial data analytics with machine learning, optimization and statisticsent://SD_ILS/0/SD_ILS:5994882026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Alice and Bob learn secure codingent://SD_ILS/0/SD_ILS:5996642026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>The microprocessor : a practical introduction using the Arm Cortex-M0 processorent://SD_ILS/0/SD_ILS:5994282026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Beginning Solidity : learn to program smart contracts with solidityent://SD_ILS/0/SD_ILS:5998902026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>PLAYFUL PYTHON PROJECTS modeling and animation.ent://SD_ILS/0/SD_ILS:5590612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Quick Javaent://SD_ILS/0/SD_ILS:5715252026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Tiny Android projects using Kotlin.ent://SD_ILS/0/SD_ILS:5756442026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Data mining with Python : theory, application, and case studiesent://SD_ILS/0/SD_ILS:5522582026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Introduction to Python : with applications in optimization, image and video processing, and machine learningent://SD_ILS/0/SD_ILS:5548492026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>MUSE OF CODING computer programming as art.ent://SD_ILS/0/SD_ILS:5552272026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Learn R : as a languageent://SD_ILS/0/SD_ILS:5850882026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Machine Learning and Python for Human Behavior, Emotion, and Health Status Analysisent://SD_ILS/0/SD_ILS:5521862026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Programming language explorationsent://SD_ILS/0/SD_ILS:5529462026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Programming with Python : and Its applications to physical systemsent://SD_ILS/0/SD_ILS:5860612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Mathematical physics using Python applications in physics and engineeringent://SD_ILS/0/SD_ILS:5723682026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>LARGE LANGUAGE MODELS concepts, techniques and applications.ent://SD_ILS/0/SD_ILS:5765142026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Learning professional Python. Volume 2, Advancedent://SD_ILS/0/SD_ILS:5706182026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>NLP application through a rule-based mapping algorithm between natural language questions and SQL using computational linguisticsent://SD_ILS/0/SD_ILS:5512862026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Professional JavaScript for web developersent://SD_ILS/0/SD_ILS:5985622026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>x86 software reverse-engineering, cracking, and counter-measuresent://SD_ILS/0/SD_ILS:5989202026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYer 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/>Mathematical modeling and simulation : introduction for scientists and engineersent://SD_ILS/0/SD_ILS:5993002026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>CompTIA DataSys+ study guide : exam DSO-001ent://SD_ILS/0/SD_ILS:5986642026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>LEARNING ADVANCED PYTHON BY STUDYING OPEN SOURCE PROJECTSent://SD_ILS/0/SD_ILS:5743242026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>COMPUTER ARITHMETIC IN PRACTICE exercises and programming.ent://SD_ILS/0/SD_ILS:5743872026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>The garbage collection handbook : the art of automatic memory managementent://SD_ILS/0/SD_ILS:5645942026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>SQL SERVER DATABASE PROGRAMMING WITH C#; DESKTOP AND WEB APPLICATIONSent://SD_ILS/0/SD_ILS:5685092026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Data structure using C : theory and programent://SD_ILS/0/SD_ILS:5851492026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Python for scientific computation and artificial intelligenceent://SD_ILS/0/SD_ILS:5539852026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Digital image processing with C++ : implementing reference algorithms with the CImg libraryent://SD_ILS/0/SD_ILS:5830612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>The Python audio cookbook : recipes for audio scripting with Pythonent://SD_ILS/0/SD_ILS:5589972026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Quick functional programmingent://SD_ILS/0/SD_ILS:5628352026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Introduction to financial derivatives with Pythonent://SD_ILS/0/SD_ILS:5645772026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Quick recursionent://SD_ILS/0/SD_ILS:5831262026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computingent://SD_ILS/0/SD_ILS:5201892026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Prolog: The Next 50 Yearsent://SD_ILS/0/SD_ILS:5213972026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Introduction to Artificial Intelligenceent://SD_ILS/0/SD_ILS:5218922026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211872026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Computer Communication, Networking and IoT Proceedings of 5th ICICC 2021, Volume 2ent://SD_ILS/0/SD_ILS:5288762026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Learning professional Python. Volume 1, The basicsent://SD_ILS/0/SD_ILS:5899022026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Systems engineering neural networksent://SD_ILS/0/SD_ILS:5981112026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Numerical calculations in Clifford algebra : a practical guide for engineers and scientistsent://SD_ILS/0/SD_ILS:5981912026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Job ready SQLent://SD_ILS/0/SD_ILS:5984202026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Python packagesent://SD_ILS/0/SD_ILS:5586802026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Database Systems A Pragmatic Approachent://SD_ILS/0/SD_ILS:5588312026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Quick Python 3ent://SD_ILS/0/SD_ILS:5647202026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>JavaScript : syntax and practicesent://SD_ILS/0/SD_ILS:5672682026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>INTRODUCTION TO C++ent://SD_ILS/0/SD_ILS:5683562026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>ORACLE DATABASE PROGRAMMING WITH JAVA ideas, designs, and implementations.ent://SD_ILS/0/SD_ILS:5907142026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Artificial intelligence and quantum computing for advanced wireless networksent://SD_ILS/0/SD_ILS:5972162026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Machine learning for decision sciences with case studies in Pythonent://SD_ILS/0/SD_ILS:5500452026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>STEM PROBLEMS WITH MATHCAD AND PYTHONent://SD_ILS/0/SD_ILS:5867182026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>ALGORITHM DESIGN a methodological approach - 150problems and detailed solutions.ent://SD_ILS/0/SD_ILS:5627972026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Python programming : a practical approachent://SD_ILS/0/SD_ILS:5702782026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ś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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>C programming : learn to codeent://SD_ILS/0/SD_ILS:5780052026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>COMPUTATIONAL FRAMEWORK FOR THE FINITE ELEMENT METHOD IN MATLAB AND PYTHONent://SD_ILS/0/SD_ILS:5829312026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Beginning ReactJS Foundations building user interfaces with ReactJS : an approachable guideent://SD_ILS/0/SD_ILS:5974162026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>JOB READY GO.ent://SD_ILS/0/SD_ILS:5978172026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Digital VLSI design and simulation with Verilogent://SD_ILS/0/SD_ILS:5967882026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>The statistical analysis of doubly truncated data : with applications in Rent://SD_ILS/0/SD_ILS:5971772026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Sports analytics in practice with Rent://SD_ILS/0/SD_ILS:5971192026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Applied evolutionary algorithms for engineers with Pythonent://SD_ILS/0/SD_ILS:5564872026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>A tour of data science : learn R and Python in parallelent://SD_ILS/0/SD_ILS:5778212026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Data Structures using C : A Practical Approach for Beginners.ent://SD_ILS/0/SD_ILS:5789332026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Automated Software Testing with Cypressent://SD_ILS/0/SD_ILS:5885802026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Algorithms in bioinformatics : theory and implementationent://SD_ILS/0/SD_ILS:5966232026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Oracle database programming with Visual Basic .NET : Concepts, Designs, and Implementationsent://SD_ILS/0/SD_ILS:5967542026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>ARTIFICIAL INTELLIGENCE IN AGRICULTUREent://SD_ILS/0/SD_ILS:5915952026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Survival Analysis with Python.ent://SD_ILS/0/SD_ILS:5897422026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Introduction to programming with C++ for engineersent://SD_ILS/0/SD_ILS:5959082026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Data structure and algorithms using C++ : a practical implementationent://SD_ILS/0/SD_ILS:5965422026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Digital system design using FSMs : a practical learning approachent://SD_ILS/0/SD_ILS:5967382026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>C++ template metaprogramming in practice a deep learning frameworkent://SD_ILS/0/SD_ILS:5546942026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Bite-size Python : an introduction to Python programmingent://SD_ILS/0/SD_ILS:5962562026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Learning by doing with National Instruments development boardsent://SD_ILS/0/SD_ILS:5545742026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Anyone can code : the art and science of logical creativityent://SD_ILS/0/SD_ILS:5883552026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Python machine learningent://SD_ILS/0/SD_ILS:5952082026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Lee, Wei-Meng, author.<br/>Yer Numarası QA76.73 .P98 L44 2019 EB<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834182026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834342026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4834842026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Answer Set Programmingent://SD_ILS/0/SD_ILS:4836682026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Lifschitz, Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837392026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837462026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837672026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838982026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839052026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Java in Two Semesters Featuring JavaFXent://SD_ILS/0/SD_ILS:4840952026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99420-8">https://doi.org/10.1007/978-3-319-99420-8</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4845372026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on High-Performance Embedded Architectures and Compilers Vent://SD_ILS/0/SD_ILS:4845862026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Advanced Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:4853992026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4855902026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthdayent://SD_ILS/0/SD_ILS:4828892026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4856802026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857892026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Silva, Josep. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4858702026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23584-0">https://doi.org/10.1007/978-3-030-23584-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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:4860312026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4862852026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4863242026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Software Design with Javaent://SD_ILS/0/SD_ILS:4863302026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Robillard, Martin P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865782026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866452026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29948-4">https://doi.org/10.1007/978-3-030-29948-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866802026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866832026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4867182026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852652026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4830472026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34627-0">https://doi.org/10.1007/978-3-030-34627-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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:4830522026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Computer Music Instruments II Realtime and Object-Oriented Audioent://SD_ILS/0/SD_ILS:4835722026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Lazzarini, Victor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13712-0">https://doi.org/10.1007/978-3-030-13712-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Languages and Compilationent://SD_ILS/0/SD_ILS:4837082026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4839822026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Lujak, Marin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17294-7">https://doi.org/10.1007/978-3-030-17294-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programmingent://SD_ILS/0/SD_ILS:4839782026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12561-5">https://doi.org/10.1007/978-3-030-12561-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 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:4853042026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4857002026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4860572026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:4861702026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59252-6">https://doi.org/10.1007/978-3-662-59252-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862742026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4829842026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4829162026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842252026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852842026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar 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/>Access 2019 Bibleent://SD_ILS/0/SD_ILS:5948082026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Alexander, Michael, 1972- author. Kusleika, Dick, author.<br/>Yer Numarası QA76.9 .D3 A493 2019<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549437">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549437</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Visual Studio code : end-to-end editing and debugging tools for web developersent://SD_ILS/0/SD_ILS:5954712026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Johnson, Bruce, author.<br/>Yer Numarası QA76.76 .A65<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119588238">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119588238</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Graphical User Interfaces in Rent://SD_ILS/0/SD_ILS:5465142026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Lawrence, Michael, author. Verzani, John, author. Taylor and Francis.<br/>Yer Numarası QA76.9 .U83<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315373898">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Python for R users : a data science approachent://SD_ILS/0/SD_ILS:5938522026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ohri, A. (Ajay), author.<br/>Yer Numarası QA76.73 .P98 O37 2018<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119126805">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119126805</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Professional C# 7 and .NET Core 2.0ent://SD_ILS/0/SD_ILS:5944372026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Nagel, Christian, author.<br/>Yer Numarası QA76.73 .C154<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549147">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549147</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent, real-time and distributed programming in Java : Threads, RTSJ and RMIent://SD_ILS/0/SD_ILS:5941902026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Benmammar, Badr, author.<br/>Yer Numarası QA76.73 .J38<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476764">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476764</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning C# 7 Programming with Visual Studio 2017ent://SD_ILS/0/SD_ILS:5944352026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.<br/>Yer Numarası QA76.73 .C154<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>JavaScript and open dataent://SD_ILS/0/SD_ILS:5946212026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Jeansoulin, Robert, author.<br/>Yer Numarası QA76.73 .J39 J43 2018<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119451761">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119451761</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>How to Reduce the Cost of Software Testingent://SD_ILS/0/SD_ILS:5394452026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.<br/>Yer Numarası QA76.76 .T48<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315169484">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Professional C++ent://SD_ILS/0/SD_ILS:5943872026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Gregoire, Marc (Software engineer), author.<br/>Yer Numarası QA76.73 .C153 G733 2018<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The official BBC Micro:bit user guideent://SD_ILS/0/SD_ILS:5940162026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Halfacree, Gareth, author.<br/>Yer Numarası TJ223 .P76<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413752">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413752</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A data scientist's guide to acquiring, cleaning and managing data in Rent://SD_ILS/0/SD_ILS:5939472026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Buttrey, Samuel, author. Whitaker, Lyn R., author.<br/>Yer Numarası QA76.9 .D26<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The data science handbookent://SD_ILS/0/SD_ILS:5931202026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Cady, Field, 1984- author.<br/>Yer Numarası QA76.9 .D32<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SPSS statistics for data analysis and visualizationent://SD_ILS/0/SD_ILS:5936352026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.<br/>Yer Numarası HA32<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural data science : a primer with MATLAB® and Pythonent://SD_ILS/0/SD_ILS:4593912026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Nylen, Erik Lee, author. Wallisch, Pascal, 1978- author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128040430">https://www.sciencedirect.com/science/book/9780128040430</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dictionary of Computer Science, Engineering and Technologyent://SD_ILS/0/SD_ILS:5454392026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Laplante, Philip A., editor., author.<br/>Yer Numarası QA76.15 L375 2017<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315214740">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>EXPLORING NEURAL NETWORKS WITH C#ent://SD_ILS/0/SD_ILS:5464252026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar TADEUSIEWICZ, RYSZARD.<br/>Yer Numarası QA76.87<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429256226">https://www.taylorfrancis.com/books/9780429256226</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/>Swift in the cloudent://SD_ILS/0/SD_ILS:5940032026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Williamson, Leigh, author.<br/>Yer Numarası QA76.73 .S95<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economicsent://SD_ILS/0/SD_ILS:5936402026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Tolk, Andreas, editor. Ören, Tuncer I., editor.<br/>Yer Numarası QA10.5<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The image-interface : graphical supports for visual informationent://SD_ILS/0/SD_ILS:5940702026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Reyes-Garcia, Everardo, author.<br/>Yer Numarası QA76.9 .U83<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119474166">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119474166</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Molecular data analysis using Rent://SD_ILS/0/SD_ILS:5932532026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ortutay, Csaba, 1976- author. Ortutay, Zsuzsanna, author.<br/>Yer Numarası QH506 .O78 2016 EB<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119165057">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119165057</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of quantum programmingent://SD_ILS/0/SD_ILS:4588112026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ying, Mingsheng, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128023068">http://www.sciencedirect.com/science/book/9780128023068</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192932026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:5192972026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFMLent://SD_ILS/0/SD_ILS:3554382026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Brambilla, Marco, 1976- author. Fraternali, Piero, author.<br/>Yer Numarası ONLINE(355438.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128001080">http://www.sciencedirect.com/science/book/9780128001080</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08043-7">https://doi.org/10.1007/978-3-319-08043-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:5186552026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17701-4">https://doi.org/10.1007/978-3-319-17701-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5188612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1ent://SD_ILS/0/SD_ILS:5292012026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188782026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189802026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190432026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22102-1">https://doi.org/10.1007/978-3-319-22102-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191392026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:5192132026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15940-9">https://doi.org/10.1007/978-3-319-15940-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LogiQL : a query language for smart databasesent://SD_ILS/0/SD_ILS:5441392026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Halpin, T. A., author. Rugaber, Spencer, author.<br/>Yer Numarası QA76.73 .L62 H35 2015<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482244946">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Software essentials : design and constructionent://SD_ILS/0/SD_ILS:5445982026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Dingle, Adair, author.<br/>Yer Numarası QA76.76 .D47 D545 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439841211">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine learning : hands-on for developers and technical professionalsent://SD_ILS/0/SD_ILS:5958202026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Bell, Jason (Computer scientist)<br/>Yer Numarası Q325.5<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183464">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183464</a>
<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642183">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642183</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal languages and computation : models and their applicationsent://SD_ILS/0/SD_ILS:5457272026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Meduna, Alexander, 1957- author. Taylor and Francis.<br/>Yer Numarası QA267.3<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466513495">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 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:4831002026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:4843642026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6317-6">https://doi.org/10.1007/978-1-4471-6317-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845312026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855972026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856032026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856242026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</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:4873572026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Stephenson, Ben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14240-1">https://doi.org/10.1007/978-3-319-14240-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4873712026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874842026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 23rd International Conference, CC 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:4889142026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Cohen, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889262026-02-06T21:24:54Z2026-02-06T21:24:54ZYazar Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>