Arama Sonuçları Computers -- Programming.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputers$002b--$002bProgramming.$0026ps$003d300$0026isd$003dtrue?2025-12-09T09:49:58ZProgramming business computersent://SD_ILS/0/SD_ILS:726972025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar McCracken, Daniel D. Weiss, Harold, ort. yaz. Lee, Tsai-Hwa, ort. yaz.<br/>Yer Numarası QA 76.5 M22 1959<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Data-parallel programming on MIMD computersent://SD_ILS/0/SD_ILS:2202312025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Hatcher, Philip J. Quinn, Michael J. (Michael Jay)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computers and programming : a neoclassical approachent://SD_ILS/0/SD_ILS:443322025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Olivieri, Peter. Rubin, Michel W., ort. yaz.<br/>Yer Numarası QA 76.6 O43 1975<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming time-shared computers in BASICent://SD_ILS/0/SD_ILS:719562025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Barnett, Eugene H.<br/>Yer Numarası QA 76.6 B36 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming and utilizing digital computersent://SD_ILS/0/SD_ILS:346962025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Ledley, Robert Steven.<br/>Yer Numarası QA 76.5 L413 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming languages : PDP-8 family computers preparedent://SD_ILS/0/SD_ILS:322452025-12-09T09:49:58Z2025-12-09T09:49:58ZYer Numarası QA 76.7 P943 1970 V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>MAKING MUSIC WITH COMPUTERS : creative programming in python.ent://SD_ILS/0/SD_ILS:5425902025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar MANARIS, BILL.<br/>Yer Numarası MT56<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429063183">https://www.taylorfrancis.com/books/9780429063183</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/>Genetic programming on the programming of computers by means of natural selectionent://SD_ILS/0/SD_ILS:1441322025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Koza, John R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1652">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1652</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Problem solving by digital computers with PL/I programmingent://SD_ILS/0/SD_ILS:347602025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vazsonyi, Andrew.<br/>Yer Numarası QA 76.5 V39 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Genetic Programming Theory and Practice XIXent://SD_ILS/0/SD_ILS:5203042025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Trujillo, Leonardo. editor. Winkler, Stephan M. editor. Silva, Sara. editor. Banzhaf, Wolfgang. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-8460-0">https://doi.org/10.1007/978-981-19-8460-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5205262025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38864-4">https://doi.org/10.1007/978-3-031-38864-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208572025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-32041-5">https://doi.org/10.1007/978-3-031-32041-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5204552025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Uden, Lorna. editor. Liberona, Dario. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34754-2">https://doi.org/10.1007/978-3-031-34754-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Her yönüyle C# 10ent://SD_ILS/0/SD_ILS:5142672025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Aktaş, Volkan.<br/>Yer Numarası QA76.73.C154 A41 2022<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Her Yönüyle C #ent://SD_ILS/0/SD_ILS:5142382025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Algan, Sefer.<br/>Yer Numarası QA76.73.C154 A44 2022<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Yeni başlayanlar için kodlamaent://SD_ILS/0/SD_ILS:5143262025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Demirkol, Zafer.<br/>Yer Numarası QA268 D365 2021<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Her yönüyle C# 9.0ent://SD_ILS/0/SD_ILS:5106052025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Aktaş, Volkan.<br/>Yer Numarası QA76.73.C154 A40 2021<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Her Yönüyle C #ent://SD_ILS/0/SD_ILS:5106062025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Algan, Sefer.<br/>Yer Numarası QA76.73.C154 A44 2021<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>İleri programlamaent://SD_ILS/0/SD_ILS:5162732025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Atak, Osman Nuri. Aydemir, Mesut.<br/>Yer Numarası QA76.6 A776 2021 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Makine öğrenmesi ve derin öğrenme için R uygulamalı doğrusal cebirent://SD_ILS/0/SD_ILS:5142002025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Gürsakal, Necmi, author. Çelik, Sadullah, author.<br/>Yer Numarası Q325.5 G877 2020<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:5142282025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2020<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algoritmalara Girişent://SD_ILS/0/SD_ILS:4231062025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.<br/>Yer Numarası QA76.6 C663 2020<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Algoritma geliştirme ve veri yapılarıent://SD_ILS/0/SD_ILS:5108342025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Çobanoğlu, Bülent.<br/>Yer Numarası QA76.9 C63 2020<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Scala ile yeni nesil programlamaent://SD_ILS/0/SD_ILS:4609612025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Satır, Murat.<br/>Yer Numarası QA76.73.S28 S285 2019<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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:4827462025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4830522025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834182025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4834842025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:4837892025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838982025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Ö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/>Java in Two Semesters Featuring JavaFXent://SD_ILS/0/SD_ILS:4840952025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4839822025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837672025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4840452025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4841842025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842252025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4851642025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4828592025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828692025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4828892025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4829842025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4829162025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4830472025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4831312025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4831382025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4835062025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4835472025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Computer Music Instruments II Realtime and Object-Oriented Audioent://SD_ILS/0/SD_ILS:4835722025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4834342025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Formal Languages and Compilationent://SD_ILS/0/SD_ILS:4837082025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837392025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4837462025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programmingent://SD_ILS/0/SD_ILS:4839782025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4845372025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4846882025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4847062025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Advanced Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:4853992025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4857002025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857892025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Introduction to Software Design with Javaent://SD_ILS/0/SD_ILS:4863302025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4862742025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865782025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4866802025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4852652025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4852712025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Her yönüyle C# 8.0ent://SD_ILS/0/SD_ILS:5177112025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Aktaş, Volkan.<br/>Yer Numarası QA76.73.C154 A39 2019<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Real-Time Renderingent://SD_ILS/0/SD_ILS:5445142025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Akenine-Möller, Tomas, author. Haines, Eric, author. Hoffman, Naty, author. Taylor and Francis.<br/>Yer Numarası T385 .M635 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315365459">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Her yönüyle C# 8.0ent://SD_ILS/0/SD_ILS:4240302025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Aktaş, Volkan.<br/>Yer Numarası QA76.73.C154 A39 2019<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Answer Set Programmingent://SD_ILS/0/SD_ILS:4836682025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4839052025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Transactions on High-Performance Embedded Architectures and Compilers Vent://SD_ILS/0/SD_ILS:4845862025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848892025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4852842025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4853042025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4855902025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4856802025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4858702025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859442025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4859682025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4859802025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4860312025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4860572025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:4861702025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4862852025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4863242025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4866452025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4866832025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4867182025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4868362025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>The Electrical Engineering Handbook - Six Volume Setent://SD_ILS/0/SD_ILS:5424842025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Dorf, Richard C., editor. Taylor and Francis.<br/>Yer Numarası R857 .B54<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420049756">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Her yönüyle C# 7.0ent://SD_ILS/0/SD_ILS:3899372025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Aktaş, Volkan.<br/>Yer Numarası QA76.73.C154 A38 2018<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Her Yönüyle C #ent://SD_ILS/0/SD_ILS:3899262025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Algan, Sefer.<br/>Yer Numarası QA76.73.C154 A44 2018<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>How to Reduce the Cost of Software Testingent://SD_ILS/0/SD_ILS:5394452025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Recent progress in computational sciences and engineering lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greeceent://SD_ILS/0/SD_ILS:5446352025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Simos, T. E. Maroulis, George.<br/>Yer Numarası Q183.9 .I524 2006 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429070655">https://www.taylorfrancis.com/books/9780429070655</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/>Algoritmalara Girişent://SD_ILS/0/SD_ILS:3889752025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Cormen, Thomas H.<br/>Yer Numarası QA76.6 C663 2017<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:3917122025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2017<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Beginning Android programming with Android Studioent://SD_ILS/0/SD_ILS:3870822025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar DiMarzio, J. F., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1002/9781119419334">Wiley Online Library</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechatronic system control, logic, and data acquisitionent://SD_ILS/0/SD_ILS:5445002025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bishop, Robert H., 1957- editor. Taylor and Francis.<br/>Yer Numarası TJ223 .P76 M43 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315221595">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Programlamada yeni eğilimlerent://SD_ILS/0/SD_ILS:5162982025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Esen, İbrahim, yazar. Bilge, Alper, editör<br/>Yer Numarası QA76.6 P764 2017<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>SECURE DEVELOPMENT FOR MOBILE APPS : how to design and code secure mobile applications with php ... and javascript.ent://SD_ILS/0/SD_ILS:5446292025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar GLASER, J. D.<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429069543">https://www.taylorfrancis.com/books/9780429069543</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/>Dictionary of Computer Science, Engineering and Technologyent://SD_ILS/0/SD_ILS:5454392025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Foundations of quantum programmingent://SD_ILS/0/SD_ILS:4588112025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFMLent://SD_ILS/0/SD_ILS:3554382025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Her Yönüyle C #ent://SD_ILS/0/SD_ILS:3604742025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Algan, Sefer.<br/>Yer Numarası QA76.73.C154 A44 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Python for data science for dummiesent://SD_ILS/0/SD_ILS:3904572025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Massaron, Luca. Mueller, John Paul.<br/>Yer Numarası QA76.73.P98 M376 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:3795742025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Using MPI : portable parallel programming with the Message-Passing-Interfaceent://SD_ILS/0/SD_ILS:3649852025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Gropp, William, author. Lusk, Ewing, author. Skjellum, Anthony, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Yer Numarası ONLINE(364985.1)<br/>Elektronik Erişim Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Using advanced MPI : modern features of the Message-Passing-Interfaceent://SD_ILS/0/SD_ILS:3649862025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.<br/>Yer Numarası ONLINE(364986.1)<br/>Elektronik Erişim Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to programming languagesent://SD_ILS/0/SD_ILS:3123742025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bansal, Arvind Kumar.<br/>Yer Numarası QA76.5 B36 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>HTML5 game engines : app development and distributionent://SD_ILS/0/SD_ILS:3133532025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Nagle, Dan.<br/>Yer Numarası QA76.76.C672 N34 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Matlab ile programlama : çözümlü ve açıklamalı uygulamalarent://SD_ILS/0/SD_ILS:3152832025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Dal, Deniz<br/>Yer Numarası QA76 .7 D25 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>PASCAL for electronics and communicationsent://SD_ILS/0/SD_ILS:5405122025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Meadows, R. G. (Richard Guy), author.<br/>Yer Numarası QA76.73 .P2<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315274782">https://www.taylorfrancis.com/books/9781315274782</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:4875792025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Python Programming Fundamentalsent://SD_ILS/0/SD_ILS:4876062025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6642-9">https://doi.org/10.1007/978-1-4471-6642-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4877632025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</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:4878592025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:4882652025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4884252025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</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:4889142025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890032025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 17th International Conference, FASE 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:4890132025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:4890172025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:4890352025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890412025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890592025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</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:4890812025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:4890822025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890892025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890932025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09873-9">https://doi.org/10.1007/978-3-319-09873-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4872462025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Elektrnik Kaynak<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:4831002025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4845312025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854462025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854922025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</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:4855972025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4856242025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856912025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856932025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4857252025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856442025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856452025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856672025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Giannakopoulou, Dimitra. 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-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856682025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</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:4894342025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4896222025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Yahav, Eran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4896342025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar McCarthy, Jay. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multithreading for visual effectsent://SD_ILS/0/SD_ILS:5451222025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Watt, Martin, author. Coumans, Erwin, author. ElKoura, George, author. Henderson, Ronald, author. Kraemer, Manuel, author.<br/>Yer Numarası TR897.7<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482243574">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Gpgpu programming for games and scienceent://SD_ILS/0/SD_ILS:5471382025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Eberly, David H., author. Taylor and Francis.<br/>Yer Numarası T385<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466595361">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming languages for MIS : concepts and practiceent://SD_ILS/0/SD_ILS:5471182025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:4843642025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>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:4856032025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Concrete Semantics With Isabelle/HOLent://SD_ILS/0/SD_ILS:4856722025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4868222025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:4869522025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vohra, Deepak. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-03934-3">https://doi.org/10.1007/978-3-319-03934-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:4873572025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4873712025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4874192025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-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:4874842025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4875402025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:4875452025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</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:4889192025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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:4889262025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889362025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 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:4889492025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Muscholl, Anca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889652025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</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:4889762025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4889802025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891372025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Jones, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4894002025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894022025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4894162025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing handbookent://SD_ILS/0/SD_ILS:5391462025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.<br/>Yer Numarası QA76 .C5732 2014 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429171529">https://www.taylorfrancis.com/books/9780429171529</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/>Formal languages and computation : models and their applicationsent://SD_ILS/0/SD_ILS:5457272025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Speaking code coding as aesthetic and political expressionent://SD_ILS/0/SD_ILS:2203062025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Cox, Geoff. McLean, Alex (Christopher Alex), 1975-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aliasing in Object-Oriented Programming. Types, Analysis and Verificationent://SD_ILS/0/SD_ILS:3343272025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334327.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 22nd International Conference, CC 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:3343532025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334353.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Yer Numarası ONLINE(335216.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming with mobile applications : Android, iOS, and Windows Phone 7ent://SD_ILS/0/SD_ILS:2703432025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Duffy, Thomas J.<br/>Yer Numarası QA76.76.A65 D84 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Ada 2012 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:3351952025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Barnes, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335195.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Game ai pro : collected wisdom of game ai professionalsent://SD_ILS/0/SD_ILS:5387442025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Rabin, Steven, editor. Taylor and Francis.<br/>Yer Numarası QA76.76 .C672<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466565975">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Python for data analysisent://SD_ILS/0/SD_ILS:2493072025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar McKinney, Wes.<br/>Yer Numarası QA76.73.P98 M42 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Concepts of programming languagesent://SD_ILS/0/SD_ILS:2698332025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Sebesta, Robert W. Mukherjee, Soumen. Bhattacharjee, Arup Kumar. Sebesta, Robert W. Concepts of programming languages.<br/>Yer Numarası QA76.7 S43 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Generating language-based environmentsent://SD_ILS/0/SD_ILS:2201592025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Reps, Thomas W. (Thomas William)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer, network, software, and hardware engineering with applicationsent://SD_ILS/0/SD_ILS:2493552025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Schneidewind, Norman.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEEXplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantic web and model-driven engineeringent://SD_ILS/0/SD_ILS:2493672025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Parreiras, Fernando Silva. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883">http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Game invaders the theory and understanding of computer gamesent://SD_ILS/0/SD_ILS:2493932025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Fencott, P. C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381573">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381573</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Her Yönüyle C #ent://SD_ILS/0/SD_ILS:1500212025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Algan, Sefer.<br/>Yer Numarası QA76.73.C154 A44 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Programming language conceptsent://SD_ILS/0/SD_ILS:2671382025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Sestoft, Peter.<br/>Yer Numarası QA76.7 S478 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Getting started with R an introduction for biologistsent://SD_ILS/0/SD_ILS:2791302025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Beckerman, Andrew P. Petchey, Owen L.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=439723">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=439723</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Samsung Galaxy Tabent://SD_ILS/0/SD_ILS:2934602025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Hart-Davis, Guy.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/how-to-do-everything-samsung-galaxy-tab">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Raspberry Pi user guideent://SD_ILS/0/SD_ILS:4243462025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Upton, Eben. Halfacree, Gareth.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1002/9781119415572">Wiley Online Library</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical database programming with Javaent://SD_ILS/0/SD_ILS:2499182025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bai, Ying, 1956-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988888">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988888</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design of multithreaded software the entity-life modeling approachent://SD_ILS/0/SD_ILS:2493202025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Sandén, Bo. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Java for dummiesent://SD_ILS/0/SD_ILS:2992272025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Burd, Barry A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=44370">http://www.books24x7.com/marc.asp?bookid=44370</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118257517">http://dx.doi.org/10.1002/9781118257517</a>
OverDrive (PDF) <a href="http://www.contentreserve.com/TitleInfo.asp?ID={C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}&Format=50">http://www.contentreserve.com/TitleInfo.asp?ID={C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}&Format=50</a>
Image <a href="http://images.contentreserve.com/ImageType-100/0128-1/{C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}Img100.jpg">http://images.contentreserve.com/ImageType-100/0128-1/{C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}Img100.jpg</a>
<a href="http://swb.eblib.com/patron/FullRecord.aspx?p=697902">http://swb.eblib.com/patron/FullRecord.aspx?p=697902</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to TTCN-3ent://SD_ILS/0/SD_ILS:2987922025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Willcock, Colin.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470977903">An electronic book accessible through the World Wide Web; click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470977897">Available by subscription from Safari Books Online</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41769">http://www.books24x7.com/marc.asp?bookid=41769</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675190">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675190</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10510619">http://site.ebrary.com/lib/alltitles/Doc?id=10510619</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of programming languages : a paradigm approachent://SD_ILS/0/SD_ILS:3655002025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Seyed Mohamed Buhari.<br/>Yer Numarası QA76.7.T47 S49 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:5095002025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cognitive Modeling and Verbal Semantics : A Representational Framework Based on UMLent://SD_ILS/0/SD_ILS:5342662025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Schalley, Andrea C., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110909623">https://doi.org/10.1515/9783110909623</a>
<a href="https://www.degruyter.com/isbn/9783110909623">https://www.degruyter.com/isbn/9783110909623</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110909623/original">https://www.degruyter.com/document/cover/isbn/9783110909623/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Oracle embedded programming and application developmentent://SD_ILS/0/SD_ILS:5387042025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Lakshman, Bulusu., author.<br/>Yer Numarası QA76.76 .D47 L343 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439816455">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Realistic Image Synthesis Using Photon Mappingent://SD_ILS/0/SD_ILS:5404342025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Jensen, Henrik Wann, author. Taylor and Francis.<br/>Yer Numarası T385<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780429294907">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:5417042025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Hitzler, Pascal., author. Seda, Anthony.<br/>Yer Numarası QA76.63 .H58 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Data-intensive text processing with MapReduceent://SD_ILS/0/SD_ILS:2791692025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Lin, Jimmy, 1979- Dyer, Chris.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440396">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440396</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to algorithmsent://SD_ILS/0/SD_ILS:1329232025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Cormen, Thomas H.<br/>Yer Numarası QA76.6 C662 2009<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The Top Ten Algorithms in Data Miningent://SD_ILS/0/SD_ILS:5469922025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Wu, Xindong, editor. Kumar, Vipin, editor. Taylor and Francis.<br/>Yer Numarası QA76.9 .D343 T66 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/e/9781420089653">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SysML for Systems Engineeringent://SD_ILS/0/SD_ILS:2478722025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Holt, Jon Perry, Simon<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBPC007E">http://dx.doi.org/10.1049/PBPC007E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software maintenance management evaluation and continuous improvementent://SD_ILS/0/SD_ILS:2493242025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar April, Alain, 1958- Abran, Alain, 1949-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical support for lean six sigma software process definition using IEEE software engineering standardsent://SD_ILS/0/SD_ILS:2493252025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital signal processing system design LabVIEW-based hybrid programmingent://SD_ILS/0/SD_ILS:1466632025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Kehtarnavaz, Nasser.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123744906">http://www.sciencedirect.com/science/book/9780123744906</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Domain-specific modeling enabling full code generationent://SD_ILS/0/SD_ILS:2971242025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Kelly, Steven. Tolvanen, Juha-Pekka.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={7D7C33E8-1EDA-46C2-ABA7-5B3245CC9604}&Format=50">Click for information</a>
<a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=331608">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html">http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470249260">http://dx.doi.org/10.1002/9780470249260</a>
<a href="http://swb.eblib.com/patron/FullRecord.aspx?p=331608">http://swb.eblib.com/patron/FullRecord.aspx?p=331608</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of applied algorithms solving scientific, engineering and practical problemsent://SD_ILS/0/SD_ILS:2495402025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Nayak, Amiya. Stojmenović, Ivan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201533">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201533</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concepts of programming languagesent://SD_ILS/0/SD_ILS:1195472025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Sebesta, Robert W.<br/>Yer Numarası QA76.7 S43 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Her Yönüyle C #ent://SD_ILS/0/SD_ILS:1164032025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Algan, Sefer.<br/>Yer Numarası QA76.73.C154 A44 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>High performance embedded computing handbook : a systems perspectiveent://SD_ILS/0/SD_ILS:5475012025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bond, Robert A. Martinez, David R. Vai, M. Michael.<br/>Yer Numarası TK7895 .E42 H54 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420006667">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming language fundamentals by exampleent://SD_ILS/0/SD_ILS:5398142025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Stevenson, D. E., author.<br/>Yer Numarası QA76.6 .S746 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420013351">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:1245992025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Handbook of parallel computing : models, algorithms and applicationsent://SD_ILS/0/SD_ILS:5470152025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Rajasekaran, Sanguthevar, author. Reif, J. H. (John H.)<br/>Yer Numarası QA76.58 .R34 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420011296">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The cognitive dynamics of computer science cost-effective large scale software developmentent://SD_ILS/0/SD_ILS:2494732025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming language pragmaticsent://SD_ILS/0/SD_ILS:1142762025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Scott, Michael Lee.<br/>Yer Numarası QA76.7 .S38 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Concepts of programming languagesent://SD_ILS/0/SD_ILS:5154732025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Sebesta, Robert W.<br/>Yer Numarası QA76.7 S43 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Video games and interactive media : a glimpse at new digital entertainmentent://SD_ILS/0/SD_ILS:5455862025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Natkin, Stéphane.<br/>Yer Numarası GV1469.3 .N38 2006 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781439870105">https://www.taylorfrancis.com/books/9781439870105</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367807115">https://www.taylorfrancis.com/books/9780367807115</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/>Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionalsent://SD_ILS/0/SD_ILS:2539382025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Foster, James C. Price, Mike (Mike Morgan) McClure, Stuart.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597490054">http://www.sciencedirect.com/science/book/9781597490054</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The engineering handbookent://SD_ILS/0/SD_ILS:5414982025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Dorf, Richard C.<br/>Yer Numarası TA151 .E424 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420039870">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Head First design patternsent://SD_ILS/0/SD_ILS:1447252025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Freeman, Eric, 1965- Freeman, Elisabeth. Sierra, Kathy. Bates, Bert. Safari Tech Books Online<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415229">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415229</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent and distributed computing in Javaent://SD_ILS/0/SD_ILS:2494942025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Garg, Vijay K. (Vijay Kumar), 1963-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5259924">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5259924</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of object-oriented modeling and simulation with Modelica 2.1ent://SD_ILS/0/SD_ILS:2496582025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Fritzson, Peter A., 1952-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Temel bilgisayar teknolojileri kullanımıent://SD_ILS/0/SD_ILS:988042025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Kiraz, Ali, ort. yaz. Cerit, Orhan, ed.<br/>Yer Numarası QA 76.6 T46 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Developing performance support for computer systems : a strategy for maximizing usability and learnabilityent://SD_ILS/0/SD_ILS:5455342025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Williams, James R. (James Richard), 1932-<br/>Yer Numarası QA76 .W5185 2004<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781136864964">https://www.taylorfrancis.com/books/9781136864964</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780203228531">https://www.taylorfrancis.com/books/9780203228531</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/>Understanding WMI scriptingent://SD_ILS/0/SD_ILS:2538272025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Lissoir, Alain.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781555582661">http://www.sciencedirect.com/science/book/9781555582661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging WMI scripting using Windows Management Instrumentation to solve Windows management problemsent://SD_ILS/0/SD_ILS:2538442025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Lissoir, Alain.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781555582999">http://www.sciencedirect.com/science/book/9781555582999</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grammars and automata for string processing : from mathematics and computer science to biology, and backent://SD_ILS/0/SD_ILS:5395322025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-<br/>Yer Numarası QA76 .G6725 2003<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781134425785">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The art of assembly languageent://SD_ILS/0/SD_ILS:863312025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Hyde, Randall.<br/>Yer Numarası QA 76.73.A8 H97 2003<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Essential.NET : the common language runtimeent://SD_ILS/0/SD_ILS:1131082025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Box, Don, 1962- Sells, Chris.<br/>Yer Numarası QA76.76.M52 B69 2003 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>C♯.net web developer's guideent://SD_ILS/0/SD_ILS:2539752025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Turtschi, Adrian.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781928994503">http://www.sciencedirect.com/science/book/9781928994503</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ASP.net web developer's guideent://SD_ILS/0/SD_ILS:2539762025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Turtschi, Adrian.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781928994510">http://www.sciencedirect.com/science/book/9781928994510</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of object-oriented languages types and semanticsent://SD_ILS/0/SD_ILS:2199112025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bruce, Kim B.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Types and programming languagesent://SD_ILS/0/SD_ILS:2199132025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Internet and Wireless Securityent://SD_ILS/0/SD_ILS:2476822025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Temple, Robert, ed. Regnault, John, ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBBT004E">http://dx.doi.org/10.1049/PBBT004E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pipelined processor farms structured design for embedded parallel systemsent://SD_ILS/0/SD_ILS:3001922025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Fleury, Martin, 1951- Downton, A. C. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/0471224383">http://dx.doi.org/10.1002/0471224383</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linux altında programlamaent://SD_ILS/0/SD_ILS:1064642025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Vardar, M. Ali<br/>Yer Numarası QA76.9.K91 V291 2002<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algorithms and Complexityent://SD_ILS/0/SD_ILS:5464332025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Wilf, Herbert S., author. Taylor and Francis.<br/>Yer Numarası QA63<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780429294921">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The complete book of middlewareent://SD_ILS/0/SD_ILS:5435752025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Myerson, Judith M.<br/>Yer Numarası QA76.76 .A65 M94 2002B<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420000184">https://www.taylorfrancis.com/books/9781420000184</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367806286">https://www.taylorfrancis.com/books/9780367806286</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/>Comparative programming languagesent://SD_ILS/0/SD_ILS:979622025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Wilson, Leslie B. Clark, Robert G., ort. yaz.<br/>Yer Numarası QA 76.7 W55 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>National Instruments LabVIEW : getting started with LabVIEW : evalution version 6.0ent://SD_ILS/0/SD_ILS:1149592025-12-09T09:49:58Z2025-12-09T09:49:58ZYer Numarası QA76.6 .N37 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computational intelligence for decision supportent://SD_ILS/0/SD_ILS:5415612025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Chen, Zhengxin.<br/>Yer Numarası T58.62 .C33 1999<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420049145">https://www.taylorfrancis.com/books/9781420049145</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802158">https://www.taylorfrancis.com/books/9780367802158</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/>Evolutionary Computation 2 : Advanced Algorithms and Operatorsent://SD_ILS/0/SD_ILS:5445832025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Bäck, Thomas, 1963- editor. Fogel, D. B, editor. Michalewicz, Zbigniew, editor. Taylor & Francis.<br/>Yer Numarası QA76.618<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420034349">https://www.taylorfrancis.com/books/9781420034349</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367806378">https://www.taylorfrancis.com/books/9780367806378</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/>Using MPI portable parallel programming with the message-passing interfaceent://SD_ILS/0/SD_ILS:2198682025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Gropp, William. Lusk, Ewing. Skjellum, Anthony.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267273">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267273</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of object technologyent://SD_ILS/0/SD_ILS:5385632025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Zamir, Saba, 1959-<br/>Yer Numarası QA76.9 .O35 H35 1999<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420049114">https://www.taylorfrancis.com/books/9781420049114</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802134">https://www.taylorfrancis.com/books/9780367802134</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/>PDCA/Test : a quality tool framework for software testingent://SD_ILS/0/SD_ILS:5439272025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Lewis, William E.<br/>Yer Numarası QA76.76 .T48 L49 1999<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429131769">https://www.taylorfrancis.com/books/9780429131769</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 for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Javaent://SD_ILS/0/SD_ILS:2543012025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Buchanan, William.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780340700143">http://www.sciencedirect.com/science/book/9780340700143</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of evolutionary computationent://SD_ILS/0/SD_ILS:5455612025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Baeck, Thomas, editor. Fogel, D. B., editor. Michalewicz, Zbigniew, editor.<br/>Yer Numarası QA76.87<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802486">https://www.taylorfrancis.com/books/9780367802486</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/>Algebraic semantics of imperative programsent://SD_ILS/0/SD_ILS:2201252025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Goguen, Joseph. Malcolm, Grant.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468</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:2201702025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar 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/>Constraint-based grammar formalisms parsing and type inference for natural and computer languagesent://SD_ILS/0/SD_ILS:2200652025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Shieber, Stuart M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267434">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267434</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Assembler yazılım teknikleri uygulamaları : el kitabıent://SD_ILS/0/SD_ILS:1128262025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Küçükönder, Mehmet.<br/>Yer Numarası QA 76.73.A8 K5634 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The computer comes of age the people, the hardware, and the softwareent://SD_ILS/0/SD_ILS:2201562025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Moreau, René.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A compiler generatorent://SD_ILS/0/SD_ILS:347062025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.<br/>Yer Numarası QA 76.5 M1874 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technologyent://SD_ILS/0/SD_ILS:2201972025-12-09T09:49:58Z2025-12-09T09:49:58ZYazar Levin, Michael I. McCarthy, John, 1927-2011. Massachusetts Institute of Technology. Computation Center. Massachusetts Institute of Technology. Research Laboratory of Electronics.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>