Arama Sonuçları Programming. - Daraltılmış: Algorithms.

Programming.architecture

2026-01-22T18:02:26Z

Yazar Coates, Paul (Paul S.)
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mixed Integer Nonlinear Programming

2026-01-22T18:02:26Z

Yazar Lee, Jon. editor. Leyffer, Sven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1927-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice XVI

2026-01-22T18:02:26Z

Yazar Banzhaf, Wolfgang. editor. Spector, Lee. editor. Sheneman, Leigh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04735-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice XI

2026-01-22T18:02:26Z

Yazar Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-0375-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation Algorithms and Semidefinite Programming

2026-01-22T18:02:26Z

Yazar Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22015-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Programming Problems and Solutions

2026-01-22T18:02:26Z

Yazar Shen, Alexander. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1748-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Programming and Algorithms Using R

2026-01-22T18:02:26Z

Yazar Ergül, Özgür. author. SpringerLink (Online service)
Yer Numarası ONLINE(331192.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19212-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17953-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming

2026-01-22T18:02:26Z

Yazar Upadhyaya, Bhim P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12561-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

2026-01-22T18:02:26Z

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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16670-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

2026-01-22T18:02:26Z

Yazar Simonis, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07046-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2026-01-22T18:02:26Z

Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43948-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-01-22T18:02:26Z

Yazar Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44303-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2026-01-22T18:02:26Z

Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43951-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

2026-01-22T18:02:26Z

Yazar Lee, Jon. editor. Vygen, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07557-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2026-01-22T18:02:26Z

Yazar Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11295-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic algorithms and genetic programming : modern concepts and practical applications

2026-01-22T18:02:26Z

Yazar Affenzeller, Michael., author.
Yer Numarası QA9.58 .G46 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Mathematical and Computer Programming Techniques for Computer Graphics

2026-01-22T18:02:26Z

Yazar Comninos, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-292-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

2026-01-22T18:02:26Z

Yazar Nowak, Ivo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-7643-7374-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34146-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32079-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2026-01-22T18:02:26Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17601-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18744-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31784-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2026-01-22T18:02:26Z

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30942-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27455-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

2026-01-22T18:02:26Z

Yazar Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09940-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2026-01-22T18:02:26Z

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14896-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

2026-01-22T18:02:26Z

Yazar Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04126-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

2026-01-22T18:02:26Z

Yazar Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05215-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

2026-01-22T18:02:26Z

Yazar Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12214-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

2026-01-22T18:02:26Z

Yazar DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11454-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

2026-01-22T18:02:26Z

Yazar Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08219-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2026-01-22T18:02:26Z

Yazar Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12466-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2026-01-22T18:02:26Z

Yazar Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11164-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AUTOMATIC GENERATION OF ALGORITHMS

2026-01-22T18:02:26Z

Yazar Parada, Victor.
Yer Numarası QA76.9 .A43
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003542896 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The impact of algorithmic technologies on healthcare

2026-01-22T18:02:26Z

Yazar Dubey, Parul, editor Madankar, Mangala, editor Dubey, Pushkar, editor Hung, Bui Thanh, editor
Yer Numarası R859.7 .A78
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-inspired optimization for medical data mining

2026-01-22T18:02:26Z

Yazar Srivastava, Sumit, editor.
Yer Numarası R859.7 .D35 B56 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214211
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine learning for risk calculations : a practitioner's view

2026-01-22T18:02:26Z

Yazar Ruiz, Ignacio, 1972- author. Laris, Mariano Zeron Medina, author.
Yer Numarası Q325.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119791416
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms in bioinformatics : theory and implementation

2026-01-22T18:02:26Z

Yazar Gagniuc, Paul A., author.
Yer Numarası QH324.2 .G34 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698005
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algoritma geliştirme ve programlamaya giriş

2026-01-22T18:02:26Z

Yazar Vatansever, Fahri.
Yer Numarası QA76.6 V56 2020
Format: Kitap
Durum Beytepe Kütüphanesi~1

Algoritma geliştirme ve veri yapıları

2026-01-22T18:02:26Z

Yazar Çobanoğlu, Bülent.
Yer Numarası QA76.9 C63 2020
Format: Kitap
Durum Beytepe Kütüphanesi~1

Algoritmalara Giriş

2026-01-22T18:02:26Z

Yazar Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.
Yer Numarası QA76.6 C663 2020
Format: Kitap
Durum Beytepe Kütüphanesi~2

Robust and Error-Free Geometric Computing.

2026-01-22T18:02:26Z

Yazar Eberly, Dave.
Yer Numarası T57.825 .E24 2020
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429330506 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Role of edge analytics in sustainable smart city development : challenges and solutions

2026-01-22T18:02:26Z

Yazar Kanagachidambaresan, G. R., 1988- editor.
Yer Numarası TD159.4 .R65 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine learning and big data : concepts, algorithms, tools and applications

2026-01-22T18:02:26Z

Yazar Dulhare, Uma N., editor. Ahmad, Khaleel, editor. Khairol Amali Bin Ahmad, editor.
Yer Numarası Q325.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119654834
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and optimization for 5G wireless communications

2026-01-22T18:02:26Z

Yazar Kim, Haesik, author.
Yer Numarası TK5103.25 .K56 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2026-01-22T18:02:26Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Software Science State of the Art and Perspectives

2026-01-22T18:02:26Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91908-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2026-01-22T18:02:26Z

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30985-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2026-01-22T18:02:26Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22348-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-22T18:02:26Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32441-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2026-01-22T18:02:26Z

Yazar Lujak, Marin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2026-01-22T18:02:26Z

Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12988-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Reinforcement Learning Frontiers of Artificial Intelligence

2026-01-22T18:02:26Z

Yazar Sewak, Mohit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-8285-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient multirate teletraffic loss models beyond Erlang

2026-01-22T18:02:26Z

Yazar Moscholios, Ioannis D., author. Logothetis, Michael (Professor at the University of Patras), author.
Yer Numarası TK5102.985 .M67 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119426974
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Keras to Kubernetes : the journey of a machine learning model to production

2026-01-22T18:02:26Z

Yazar Rao, Dattaraj, author.
Yer Numarası Q325.5 .R36 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564843
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Python machine learning

2026-01-22T18:02:26Z

Yazar Lee, Wei-Meng, author.
Yer Numarası QA76.73 .P98 L44 2019 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analog automation and digital feedback control techniques

2026-01-22T18:02:26Z

Yazar Mbihi, Jean.
Yer Numarası TJ213
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced techniques and technology of computer-aided feedback control

2026-01-22T18:02:26Z

Yazar Mbihi, Jean, author.
Yer Numarası TJ216
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deterministic network calculus : from theory to practical implementation

2026-01-22T18:02:26Z

Yazar Bouillard, Anne, author. Boyer, Marc, author. Corronc, Euriell, author.
Yer Numarası QA274.8
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metaheuristics for maritime operations

2026-01-22T18:02:26Z

Yazar Homayouni, S. Mahdi, author. Fontes, Dalila B. M. M., author.
Yer Numarası HE571
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algoritmalara Giriş

2026-01-22T18:02:26Z

Yazar Cormen, Thomas H.
Yer Numarası QA76.6 C663 2017
Format: Kitap
Durum Beytepe Kütüphanesi~1

Algoritma geliştirme ve programlamaya giriş

2026-01-22T18:02:26Z

Yazar Vatansever, Fahri.
Yer Numarası QA76.6 V56 2017
Format: Kitap
Durum Beytepe Kütüphanesi~1

Algoritma geliştirme ve programlamaya giriş

2026-01-22T18:02:26Z

Yazar Vatansever, Fahri.
Yer Numarası QA76.6 V56 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

2026-01-22T18:02:26Z

Yazar Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-45249-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Analysis of Algorithms

2026-01-22T18:02:26Z

Yazar Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09888-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2026-01-22T18:02:26Z

Yazar Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13906-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-22T18:02:26Z

Yazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54862-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

2026-01-22T18:02:26Z

Yazar Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Iterative optimization in inverse problems

2026-01-22T18:02:26Z

Yazar Byrne, Charles L., 1947, author.
Yer Numarası QA297.8 .B974 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2026-01-22T18:02:26Z

Yazar Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332822.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essential algorithms : a practical approach to computer algorithms

2026-01-22T18:02:26Z

Yazar Stephens, Rod, 1961- author.
Yer Numarası QA76.9 .S74 2013
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algoritma geliştirme ve programlamaya giriş

2026-01-22T18:02:26Z

Yazar Vatansever, Fahri.
Yer Numarası QA76.6 V56 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Genetic and evolutionary computation medical applications

2026-01-22T18:02:26Z

Yazar Smith, Stephen L., 1962- Cagnoni, Stefano, 1961-
Yer Numarası ONLINE(318963.1)
Elektronik Erişim Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=624700 ebrary http://site.ebrary.com/id/10441473 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=342634 John Wiley http://dx.doi.org/10.1002/9780470973134
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to algorithms

2026-01-22T18:02:26Z

Yazar Cormen, Thomas H.
Yer Numarası QA76.6 C662 2009
Format: Kitap
Durum Beytepe Kütüphanesi~2

Digital dice : computational solutions to practical probability problems

2026-01-22T18:02:26Z

Yazar Nahin, Paul J.
Yer Numarası ONLINE
Elektronik Erişim http://www.jstor.org/stable/10.2307/j.ctt7rqgn
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algoritma geliştirme ve programlamaya giriş

2026-01-22T18:02:26Z

Yazar Vatansever, Fahri.
Yer Numarası QA76.6 V56 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Stochastic local search foundations and applications

2026-01-22T18:02:26Z

Yazar Hoos, Holger H. Stützle, Thomas.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781558608726
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary algorithms in molecular design

2026-01-22T18:02:26Z

Yazar Clark, David E., 1966- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9783527613168
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms, graphs and computers

2026-01-22T18:02:26Z

Yazar Bellman, Richard, 1920-1984. Cooke, Kenneth L. Lockett, Jo Ann.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780120848409
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1