Search Results for Computers -- Programming. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputers$002b--$002bProgramming.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ps$003d300?dt=list2024-11-24T08:52:33ZAlgoritmalara Girişent://SD_ILS/0/SD_ILS:4231062024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.<br/>Preferred Shelf Number QA76.6 C663 2020<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:5142282024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2020<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Algoritma geliştirme ve veri yapılarıent://SD_ILS/0/SD_ILS:5108342024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Çobanoğlu, Bülent.<br/>Preferred Shelf Number QA76.9 C63 2020<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837672024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programmingent://SD_ILS/0/SD_ILS:4839782024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842252024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:4855902024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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, Proceedingsent://SD_ILS/0/SD_ILS:4857002024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4839822024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Lujak, Marin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:4865782024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:4828692024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862742024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:4866832024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Birthdayent://SD_ILS/0/SD_ILS:4828892024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Birthdayent://SD_ILS/0/SD_ILS:4829162024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:3917122024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2017<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Algoritmalara Girişent://SD_ILS/0/SD_ILS:3889752024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Cormen, Thomas H.<br/>Preferred Shelf Number QA76.6 C663 2017<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:3795742024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856442024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online 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. Proceedingsent://SD_ILS/0/SD_ILS:4856912024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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, Proceedingsent://SD_ILS/0/SD_ILS:4831002024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890932024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:4890032024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:4890592024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:5095002024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to algorithmsent://SD_ILS/0/SD_ILS:1329232024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Cormen, Thomas H.<br/>Preferred Shelf Number QA76.6 C662 2009<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Algoritma geliştirme ve programlamaya girişent://SD_ILS/0/SD_ILS:1245992024-11-24T08:52:33Z2024-11-24T08:52:33ZAuthor Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>