Arama Sonuçları Programming. - Daraltılmış: Algorithms.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ps$003d300$0026isd$003dtrue?dt=list
2025-12-06T11:34:55Z
Programming.architecture
ent://SD_ILS/0/SD_ILS:262622
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Coates, Paul (Paul S.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203841488">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mixed Integer Nonlinear Programming
ent://SD_ILS/0/SD_ILS:174052
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Lee, Jon. editor. Leyffer, Sven. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1927-3">http://dx.doi.org/10.1007/978-1-4614-1927-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice XVI
ent://SD_ILS/0/SD_ILS:483945
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Banzhaf, Wolfgang. editor. Spector, Lee. editor. Sheneman, Leigh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04735-1">https://doi.org/10.1007/978-3-030-04735-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice XI
ent://SD_ILS/0/SD_ILS:487367
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4939-0375-7">https://doi.org/10.1007/978-1-4939-0375-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Approximation Algorithms and Semidefinite Programming
ent://SD_ILS/0/SD_ILS:194890
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22015-9">http://dx.doi.org/10.1007/978-3-642-22015-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms and Programming Problems and Solutions
ent://SD_ILS/0/SD_ILS:172339
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Shen, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1748-5">http://dx.doi.org/10.1007/978-1-4419-1748-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guide to Programming and Algorithms Using R
ent://SD_ILS/0/SD_ILS:331192
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Ergül, Özgür. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331192.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5328-3">http://dx.doi.org/10.1007/978-1-4471-5328-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483445
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Hu, Ting. editor. (orcid)0000-0001-6382-0602 Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Richter, Hendrik. editor. (orcid)0000-0001-5417-8291 García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16670-0">https://doi.org/10.1007/978-3-030-16670-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486322
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17953-3">https://doi.org/10.1007/978-3-030-17953-3</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 Programming
ent://SD_ILS/0/SD_ILS:483978
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484905
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19212-9">https://doi.org/10.1007/978-3-030-19212-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485696
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11295-4">https://doi.org/10.1007/978-3-319-11295-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487725
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44303-3">https://doi.org/10.1007/978-3-662-44303-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489053
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489461
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Lee, Jon. editor. Vygen, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07557-0">https://doi.org/10.1007/978-3-319-07557-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487298
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Simonis, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07046-9">https://doi.org/10.1007/978-3-319-07046-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487501
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic algorithms and genetic programming : modern concepts and practical applications
ent://SD_ILS/0/SD_ILS:544003
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Affenzeller, Michael., author.<br/>Yer Numarası QA9.58 .G46 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420011326">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical and Computer Programming Techniques for Computer Graphics
ent://SD_ILS/0/SD_ILS:175364
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Comninos, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-292-8">http://dx.doi.org/10.1007/978-1-84628-292-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
ent://SD_ILS/0/SD_ILS:197874
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Nowak, Ivo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-7643-7374-1">http://dx.doi.org/10.1007/3-7643-7374-1</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, Proceedings
ent://SD_ILS/0/SD_ILS:483767
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484225
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:484616
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-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, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484219
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</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. Proceedings
ent://SD_ILS/0/SD_ILS:485691
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486681
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-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, Proceedings
ent://SD_ILS/0/SD_ILS:485644
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
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
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
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
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
ent://SD_ILS/0/SD_ILS:486917
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08219-6">https://doi.org/10.1007/978-3-319-08219-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487768
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04126-1">https://doi.org/10.1007/978-3-319-04126-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489519
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12214-4">https://doi.org/10.1007/978-3-319-12214-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algoritma geliştirme ve veri yapıları
ent://SD_ILS/0/SD_ILS:510834
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Çobanoğlu, Bülent.<br/>Yer Numarası QA76.9 C63 2020<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:514228
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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:423106
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483982
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485590
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Deep Reinforcement Learning Frontiers of Artificial Intelligence
ent://SD_ILS/0/SD_ILS:486568
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Sewak, Mohit. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-8285-7">https://doi.org/10.1007/978-981-13-8285-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
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
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
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
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
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
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Algoritmalara Giriş
ent://SD_ILS/0/SD_ILS:388975
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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:391712
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2017<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:379574
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487483
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-45249-9">https://doi.org/10.1007/978-3-642-45249-9</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, Proceedings
ent://SD_ILS/0/SD_ILS:489093
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Practical Analysis of Algorithms
ent://SD_ILS/0/SD_ILS:487903
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09888-3">https://doi.org/10.1007/978-3-319-09888-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
ent://SD_ILS/0/SD_ILS:488919
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar 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/>
Iterative optimization in inverse problems
ent://SD_ILS/0/SD_ILS:544140
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Byrne, Charles L., 1947, author.<br/>Yer Numarası QA297.8 .B974 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482222340">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Paule, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:509500
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Genetic and evolutionary computation medical applications
ent://SD_ILS/0/SD_ILS:318963
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Smith, Stephen L., 1962- Cagnoni, Stefano, 1961-<br/>Yer Numarası ONLINE(318963.1)<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=624700">http://public.eblib.com/choice/publicfullrecord.aspx?p=624700</a>
ebrary <a href="http://site.ebrary.com/id/10441473">http://site.ebrary.com/id/10441473</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=342634">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=342634</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470973134">http://dx.doi.org/10.1002/9780470973134</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to algorithms
ent://SD_ILS/0/SD_ILS:132923
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Cormen, Thomas H.<br/>Yer Numarası QA76.6 C662 2009<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Digital dice : computational solutions to practical probability problems
ent://SD_ILS/0/SD_ILS:375467
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Nahin, Paul J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7rqgn">http://www.jstor.org/stable/10.2307/j.ctt7rqgn</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:124599
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Vatansever, Fahri.<br/>Yer Numarası QA76.6 V56 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Stochastic local search foundations and applications
ent://SD_ILS/0/SD_ILS:254040
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Hoos, Holger H. Stützle, Thomas.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558608726">http://www.sciencedirect.com/science/book/9781558608726</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evolutionary algorithms in molecular design
ent://SD_ILS/0/SD_ILS:300671
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Clark, David E., 1966- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9783527613168">http://dx.doi.org/10.1002/9783527613168</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms, graphs and computers
ent://SD_ILS/0/SD_ILS:256723
2025-12-06T11:34:55Z
2025-12-06T11:34:55Z
Yazar Bellman, Richard, 1920-1984. Cooke, Kenneth L. Lockett, Jo Ann.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120848409">http://www.sciencedirect.com/science/book/9780120848409</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>