Search Results for Programming. - Narrowed by: Algorithms.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ps$003d300$0026isd$003dtrue?
2025-12-10T05:47:01Z
Programming.architecture
ent://SD_ILS/0/SD_ILS:262622
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Coates, Paul (Paul S.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203841488">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mixed Integer Nonlinear Programming
ent://SD_ILS/0/SD_ILS:174052
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Lee, Jon. editor. Leyffer, Sven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice XVI
ent://SD_ILS/0/SD_ILS:483945
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Banzhaf, Wolfgang. editor. Spector, Lee. editor. Sheneman, Leigh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice XI
ent://SD_ILS/0/SD_ILS:487367
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation Algorithms and Semidefinite Programming
ent://SD_ILS/0/SD_ILS:194890
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Programming Problems and Solutions
ent://SD_ILS/0/SD_ILS:172339
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Shen, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Programming and Algorithms Using R
ent://SD_ILS/0/SD_ILS:331192
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Ergül, Özgür. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331192.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Simonis, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Lee, Jon. editor. Vygen, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic algorithms and genetic programming : modern concepts and practical applications
ent://SD_ILS/0/SD_ILS:544003
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Affenzeller, Michael., author.<br/>Preferred Shelf Number QA9.58 .G46 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420011326">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Mathematical and Computer Programming Techniques for Computer Graphics
ent://SD_ILS/0/SD_ILS:175364
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Comninos, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
ent://SD_ILS/0/SD_ILS:197874
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Nowak, Ivo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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 Papers
ent://SD_ILS/0/SD_ILS:489003
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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. Proceedings
ent://SD_ILS/0/SD_ILS:485691
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algoritma geliştirme ve veri yapıları
ent://SD_ILS/0/SD_ILS:510834
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Çobanoğlu, Bülent.<br/>Preferred Shelf Number QA76.9 C63 2020<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:514228
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2020<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Algoritmalara Giriş
ent://SD_ILS/0/SD_ILS:423106
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
Deep Reinforcement Learning Frontiers of Artificial Intelligence
ent://SD_ILS/0/SD_ILS:486568
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Sewak, Mohit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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 Birthday
ent://SD_ILS/0/SD_ILS:482916
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
Algoritmalara Giriş
ent://SD_ILS/0/SD_ILS:388975
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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:391712
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2017<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:379574
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2015<br/>Format: Books<br/>Availability Beytepe Library~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-10T05:47:01Z
2025-12-10T05:47:01Z
Author Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Analysis of Algorithms
ent://SD_ILS/0/SD_ILS:487903
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
ent://SD_ILS/0/SD_ILS:488919
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489093
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
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-10T05:47:01Z
2025-12-10T05:47:01Z
Author 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/>
Iterative optimization in inverse problems
ent://SD_ILS/0/SD_ILS:544140
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Byrne, Charles L., 1947, author.<br/>Preferred Shelf Number QA297.8 .B974 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482222340">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:509500
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Genetic and evolutionary computation medical applications
ent://SD_ILS/0/SD_ILS:318963
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Smith, Stephen L., 1962- Cagnoni, Stefano, 1961-<br/>Preferred Shelf Number ONLINE(318963.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to algorithms
ent://SD_ILS/0/SD_ILS:132923
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Cormen, Thomas H.<br/>Preferred Shelf Number QA76.6 C662 2009<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Digital dice : computational solutions to practical probability problems
ent://SD_ILS/0/SD_ILS:375467
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Nahin, Paul J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7rqgn">http://www.jstor.org/stable/10.2307/j.ctt7rqgn</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algoritma geliştirme ve programlamaya giriş
ent://SD_ILS/0/SD_ILS:124599
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Vatansever, Fahri.<br/>Preferred Shelf Number QA76.6 V56 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Stochastic local search foundations and applications
ent://SD_ILS/0/SD_ILS:254040
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Hoos, Holger H. Stützle, Thomas.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558608726">http://www.sciencedirect.com/science/book/9781558608726</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary algorithms in molecular design
ent://SD_ILS/0/SD_ILS:300671
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Clark, David E., 1966- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9783527613168">http://dx.doi.org/10.1002/9783527613168</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms, graphs and computers
ent://SD_ILS/0/SD_ILS:256723
2025-12-10T05:47:01Z
2025-12-10T05:47:01Z
Author Bellman, Richard, 1920-1984. Cooke, Kenneth L. Lockett, Jo Ann.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120848409">http://www.sciencedirect.com/science/book/9780120848409</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>