Search Results for Programming (Computers) - Narrowed by: Algorithms. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002b$002528Computers$002529$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue? 2026-01-27T10:05:43Z AUTOMATIC GENERATION OF ALGORITHMS ent://SD_ILS/0/SD_ILS:580435 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Parada, Victor.<br/>Preferred Shelf Number&#160;QA76.9 .A43<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The impact of algorithmic technologies on healthcare ent://SD_ILS/0/SD_ILS:599726 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Dubey, Parul, editor&#160;Madankar, Mangala, editor&#160;Dubey, Pushkar, editor&#160;Hung, Bui Thanh, editor<br/>Preferred Shelf Number&#160;R859.7 .A78<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-inspired optimization for medical data mining ent://SD_ILS/0/SD_ILS:599257 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Srivastava, Sumit, editor.<br/>Preferred Shelf Number&#160;R859.7 .D35 B56 2024<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine learning for risk calculations : a practitioner's view ent://SD_ILS/0/SD_ILS:596976 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Ruiz, Ignacio, 1972- author.&#160;Laris, Mariano Zeron Medina, author.<br/>Preferred Shelf Number&#160;Q325.5<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algoritma geli&#351;tirme ve veri yap&#305;lar&#305; ent://SD_ILS/0/SD_ILS:510834 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;&Ccedil;obano&#287;lu, B&uuml;lent.<br/>Preferred Shelf Number&#160;QA76.9 C63 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:514228 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Vatansever, Fahri.<br/>Preferred Shelf Number&#160;QA76.6 V56 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algoritmalara Giri&#351; ent://SD_ILS/0/SD_ILS:423106 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Cormen, Thomas H.&#160;Nuriyev, Urfat.&#160;Nasibo&#287;lu, Efendi.&#160;&Ouml;ner, Tahsin.<br/>Preferred Shelf Number&#160;QA76.6 C663 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Robust and Error-Free Geometric Computing. ent://SD_ILS/0/SD_ILS:589361 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Eberly, Dave.<br/>Preferred Shelf Number&#160;T57.825 .E24 2020<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and optimization for 5G wireless communications ent://SD_ILS/0/SD_ILS:595934 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Kim, Haesik, author.<br/>Preferred Shelf Number&#160;TK5103.25 .K56 2020<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Role of edge analytics in sustainable smart city development : challenges and solutions ent://SD_ILS/0/SD_ILS:596185 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Kanagachidambaresan, G. R., 1988- editor.<br/>Preferred Shelf Number&#160;TD159.4 .R65 2020<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine learning and big data : concepts, algorithms, tools and applications ent://SD_ILS/0/SD_ILS:596304 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Dulhare, Uma N., editor.&#160;Ahmad, Khaleel, editor.&#160;Khairol Amali Bin Ahmad, editor.<br/>Preferred Shelf Number&#160;Q325.5<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Upadhyaya, Bhim P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441&#160;Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Collart-Dutilleul, Simon. editor.&#160;Lecomte, Thierry. editor.&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Guerra, Esther. editor. (orcid)0000-0002-2818-2278&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507&#160;Petre, Luigia. editor.&#160;Smith, Graeme. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Lujak, Marin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Efficient multirate teletraffic loss models beyond Erlang ent://SD_ILS/0/SD_ILS:594938 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Moscholios, Ioannis D., author.&#160;Logothetis, Michael (Professor at the University of Patras), author.<br/>Preferred Shelf Number&#160;TK5102.985 .M67 2019<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Python machine learning ent://SD_ILS/0/SD_ILS:595208 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Lee, Wei-Meng, author.<br/>Preferred Shelf Number&#160;QA76.73 .P98 L44 2019 EB<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Nejati, Shiva. editor.&#160;Gay, Gregory. editor. (orcid)0000-0001-6794-9585&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metaheuristics for maritime operations ent://SD_ILS/0/SD_ILS:594496 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Homayouni, S. Mahdi, author.&#160;Fontes, Dalila B. M. M., author.<br/>Preferred Shelf Number&#160;HE571<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced techniques and technology of computer-aided feedback control ent://SD_ILS/0/SD_ILS:594551 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Mbihi, Jean, author.<br/>Preferred Shelf Number&#160;TJ216<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deterministic network calculus : from theory to practical implementation ent://SD_ILS/0/SD_ILS:594880 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Bouillard, Anne, author.&#160;Boyer, Marc, author.&#160;Corronc, Euriell, author.<br/>Preferred Shelf Number&#160;QA274.8<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analog automation and digital feedback control techniques ent://SD_ILS/0/SD_ILS:594433 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Mbihi, Jean.<br/>Preferred Shelf Number&#160;TJ213<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:391712 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Vatansever, Fahri.<br/>Preferred Shelf Number&#160;QA76.6 V56 2017<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algoritmalara Giri&#351; ent://SD_ILS/0/SD_ILS:388975 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Cormen, Thomas H.<br/>Preferred Shelf Number&#160;QA76.6 C663 2017<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:379574 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Vatansever, Fahri.<br/>Preferred Shelf Number&#160;QA76.6 V56 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Le Goues, Claire. editor.&#160;Yoo, Shin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Abraham, Erika. editor.&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Silva, Fernando. editor.&#160;Dutra, In&ecirc;s. editor.&#160;Santos Costa, Vitor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof ent://SD_ILS/0/SD_ILS:488919 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Kovalev, Mikhail. author.&#160;M&uuml;ller, Silvia M. author.&#160;Paul, Wolfgang J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Bonakdarpour, Borzoo. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Poole, Stephen. editor.&#160;Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951&#160;Shamis, Pavel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:509500 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Vatansever, Fahri.<br/>Preferred Shelf Number&#160;QA76.6 V56 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introduction to algorithms ent://SD_ILS/0/SD_ILS:132923 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Cormen, Thomas H.<br/>Preferred Shelf Number&#160;QA76.6 C662 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Algoritma geli&#351;tirme ve programlamaya giri&#351; ent://SD_ILS/0/SD_ILS:124599 2026-01-27T10:05:43Z 2026-01-27T10:05:43Z Author&#160;Vatansever, Fahri.<br/>Preferred Shelf Number&#160;QA76.6 V56 2007<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>