Arama Sonu&ccedil;lar&#305; Programming (Computers) - Daralt&#305;lm&#305;&#351;: Algorithms. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming$002b$002528Computers$002529$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300? 2026-01-28T12:54:05Z AUTOMATIC GENERATION OF ALGORITHMS ent://SD_ILS/0/SD_ILS:580435 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Parada, Victor.<br/>Yer Numaras&#305;&#160;QA76.9 .A43<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003542896">https://www.taylorfrancis.com/books/9781003542896</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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The impact of algorithmic technologies on healthcare ent://SD_ILS/0/SD_ILS:599726 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Dubey, Parul, editor&#160;Madankar, Mangala, editor&#160;Dubey, Pushkar, editor&#160;Hung, Bui Thanh, editor<br/>Yer Numaras&#305;&#160;R859.7 .A78<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bio-inspired optimization for medical data mining ent://SD_ILS/0/SD_ILS:599257 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Srivastava, Sumit, editor.<br/>Yer Numaras&#305;&#160;R859.7 .D35 B56 2024<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214211">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214211</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Machine learning for risk calculations : a practitioner's view ent://SD_ILS/0/SD_ILS:596976 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Ruiz, Ignacio, 1972- author.&#160;Laris, Mariano Zeron Medina, author.<br/>Yer Numaras&#305;&#160;Q325.5<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119791416">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119791416</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algoritmalara Giri&#351; ent://SD_ILS/0/SD_ILS:423106 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Cormen, Thomas H.&#160;Nuriyev, Urfat.&#160;Nasibo&#287;lu, Efendi.&#160;&Ouml;ner, Tahsin.<br/>Yer Numaras&#305;&#160;QA76.6 C663 2020<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Algoritma geli&#351;tirme ve veri yap&#305;lar&#305; ent://SD_ILS/0/SD_ILS:510834 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;&Ccedil;obano&#287;lu, B&uuml;lent.<br/>Yer Numaras&#305;&#160;QA76.9 C63 2020<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:514228 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Vatansever, Fahri.<br/>Yer Numaras&#305;&#160;QA76.6 V56 2020<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Robust and Error-Free Geometric Computing. ent://SD_ILS/0/SD_ILS:589361 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Eberly, Dave.<br/>Yer Numaras&#305;&#160;T57.825 .E24 2020<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429330506">https://www.taylorfrancis.com/books/9780429330506</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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Role of edge analytics in sustainable smart city development : challenges and solutions ent://SD_ILS/0/SD_ILS:596185 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Kanagachidambaresan, G. R., 1988- editor.<br/>Yer Numaras&#305;&#160;TD159.4 .R65 2020<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Design and optimization for 5G wireless communications ent://SD_ILS/0/SD_ILS:595934 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Kim, Haesik, author.<br/>Yer Numaras&#305;&#160;TK5103.25 .K56 2020<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Machine learning and big data : concepts, algorithms, tools and applications ent://SD_ILS/0/SD_ILS:596304 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Dulhare, Uma N., editor.&#160;Ahmad, Khaleel, editor.&#160;Khairol Amali Bin Ahmad, editor.<br/>Yer Numaras&#305;&#160;Q325.5<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119654834">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119654834</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods &ndash; The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482869 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Oliveira, Jos&eacute; N. editor. (orcid)0000-0002-0196-4229&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ent://SD_ILS/0/SD_ILS:482889 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667&#160;Semini, Laura. editor. (orcid)0000-0001-8774-2346&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 Birthday ent://SD_ILS/0/SD_ILS:482916 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486274 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Collart-Dutilleul, Simon. editor.&#160;Lecomte, Thierry. editor.&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 &ndash; September 1, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483767 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Nejati, Shiva. editor.&#160;Gay, Gregory. editor. (orcid)0000-0001-6794-9585&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485590 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Guerra, Esther. editor. (orcid)0000-0002-2818-2278&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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, Proceedings ent://SD_ILS/0/SD_ILS:485700 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507&#160;Petre, Luigia. editor.&#160;Smith, Graeme. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486578 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486683 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming ent://SD_ILS/0/SD_ILS:483978 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Upadhyaya, Bhim P. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483982 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Lujak, Marin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484225 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441&#160;Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Python machine learning ent://SD_ILS/0/SD_ILS:595208 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Lee, Wei-Meng, author.<br/>Yer Numaras&#305;&#160;QA76.73 .P98 L44 2019 EB<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Efficient multirate teletraffic loss models beyond Erlang ent://SD_ILS/0/SD_ILS:594938 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Moscholios, Ioannis D., author.&#160;Logothetis, Michael (Professor at the University of Patras), author.<br/>Yer Numaras&#305;&#160;TK5102.985 .M67 2019<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119426974">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119426974</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced techniques and technology of computer-aided feedback control ent://SD_ILS/0/SD_ILS:594551 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Mbihi, Jean, author.<br/>Yer Numaras&#305;&#160;TJ216<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Analog automation and digital feedback control techniques ent://SD_ILS/0/SD_ILS:594433 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Mbihi, Jean.<br/>Yer Numaras&#305;&#160;TJ213<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Metaheuristics for maritime operations ent://SD_ILS/0/SD_ILS:594496 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Homayouni, S. Mahdi, author.&#160;Fontes, Dalila B. M. M., author.<br/>Yer Numaras&#305;&#160;HE571<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deterministic network calculus : from theory to practical implementation ent://SD_ILS/0/SD_ILS:594880 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Bouillard, Anne, author.&#160;Boyer, Marc, author.&#160;Corronc, Euriell, author.<br/>Yer Numaras&#305;&#160;QA274.8<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algoritmalara Giri&#351; ent://SD_ILS/0/SD_ILS:388975 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Cormen, Thomas H.<br/>Yer Numaras&#305;&#160;QA76.6 C663 2017<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:391712 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Vatansever, Fahri.<br/>Yer Numaras&#305;&#160;QA76.6 V56 2017<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:379574 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Vatansever, Fahri.<br/>Yer Numaras&#305;&#160;QA76.6 V56 2015<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof ent://SD_ILS/0/SD_ILS:488919 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Kovalev, Mikhail. author.&#160;M&uuml;ller, Silvia M. author.&#160;Paul, Wolfgang J. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489003 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489028 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Bonakdarpour, Borzoo. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489059 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Poole, Stephen. editor.&#160;Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951&#160;Shamis, Pavel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489093 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Silva, Fernando. editor.&#160;Dutra, In&ecirc;s. editor.&#160;Santos Costa, Vitor. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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, Proceedings ent://SD_ILS/0/SD_ILS:483100 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Abraham, Erika. editor.&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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. Proceedings ent://SD_ILS/0/SD_ILS:485691 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;DeRose, Luiz. editor.&#160;de Supinski, Bronis R. editor.&#160;Olivier, Stephen L. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485644 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Le Goues, Claire. editor.&#160;Yoo, Shin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:509500 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Vatansever, Fahri.<br/>Yer Numaras&#305;&#160;QA76.6 V56 2011<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Introduction to algorithms ent://SD_ILS/0/SD_ILS:132923 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Cormen, Thomas H.<br/>Yer Numaras&#305;&#160;QA76.6 C662 2009<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:124599 2026-01-28T12:54:05Z 2026-01-28T12:54:05Z Yazar&#160;Vatansever, Fahri.<br/>Yer Numaras&#305;&#160;QA76.6 V56 2007<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/>