Search Results for Programming (Computers) - Narrowed by: Algorithms.

AUTOMATIC GENERATION OF ALGORITHMS

2026-01-27T20:25:06Z

Author Parada, Victor.
Preferred Shelf Number QA76.9 .A43
Electronic Access 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: Electronic Resources
Availability Online Library~1

The impact of algorithmic technologies on healthcare

2026-01-27T20:25:06Z

Author Dubey, Parul, editor Madankar, Mangala, editor Dubey, Pushkar, editor Hung, Bui Thanh, editor
Preferred Shelf Number R859.7 .A78
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490
Format: Electronic Resources
Availability Online Library~1

Bio-inspired optimization for medical data mining

2026-01-27T20:25:06Z

Author Srivastava, Sumit, editor.
Preferred Shelf Number R859.7 .D35 B56 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214211
Format: Electronic Resources
Availability Online Library~1

Machine learning for risk calculations : a practitioner's view

2026-01-27T20:25:06Z

Author Ruiz, Ignacio, 1972- author. Laris, Mariano Zeron Medina, author.
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119791416
Format: Electronic Resources
Availability Online Library~1

Algoritmalara Giriş

2026-01-27T20:25:06Z

Author Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.
Preferred Shelf Number QA76.6 C663 2020
Format: Books
Availability Beytepe Library~2

Algoritma geliştirme ve veri yapıları

2026-01-27T20:25:06Z

Author Çobanoğlu, Bülent.
Preferred Shelf Number QA76.9 C63 2020
Format: Books
Availability Beytepe Library~1

Algoritma geliştirme ve programlamaya giriş

2026-01-27T20:25:06Z

Author Vatansever, Fahri.
Preferred Shelf Number QA76.6 V56 2020
Format: Books
Availability Beytepe Library~1

Design and optimization for 5G wireless communications

2026-01-27T20:25:06Z

Author Kim, Haesik, author.
Preferred Shelf Number TK5103.25 .K56 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492
Format: Electronic Resources
Availability Online Library~1

Robust and Error-Free Geometric Computing.

2026-01-27T20:25:06Z

Author Eberly, Dave.
Preferred Shelf Number T57.825 .E24 2020
Electronic Access 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: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Kanagachidambaresan, G. R., 1988- editor.
Preferred Shelf Number TD159.4 .R65 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Dulhare, Uma N., editor. Ahmad, Khaleel, editor. Khairol Amali Bin Ahmad, editor.
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119654834
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~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-27T20:25:06Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources
Availability Online Library~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-27T20:25:06Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2026-01-27T20:25:06Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~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-27T20:25:06Z

Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23611-3
Format: Electronic Resources
Availability Online Library~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-27T20:25:06Z

Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12561-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17294-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources
Availability Online Library~1

Efficient multirate teletraffic loss models beyond Erlang

2026-01-27T20:25:06Z

Author Moscholios, Ioannis D., author. Logothetis, Michael (Professor at the University of Patras), author.
Preferred Shelf Number TK5102.985 .M67 2019
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119426974
Format: Electronic Resources
Availability Online Library~1

Python machine learning

2026-01-27T20:25:06Z

Author Lee, Wei-Meng, author.
Preferred Shelf Number QA76.73 .P98 L44 2019 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500
Format: Electronic Resources
Availability Online Library~1

Advanced techniques and technology of computer-aided feedback control

2026-01-27T20:25:06Z

Author Mbihi, Jean, author.
Preferred Shelf Number TJ216
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959
Format: Electronic Resources
Availability Online Library~1

Deterministic network calculus : from theory to practical implementation

2026-01-27T20:25:06Z

Author Bouillard, Anne, author. Boyer, Marc, author. Corronc, Euriell, author.
Preferred Shelf Number QA274.8
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284
Format: Electronic Resources
Availability Online Library~1

Analog automation and digital feedback control techniques

2026-01-27T20:25:06Z

Author Mbihi, Jean.
Preferred Shelf Number TJ213
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836
Format: Electronic Resources
Availability Online Library~1

Metaheuristics for maritime operations

2026-01-27T20:25:06Z

Author Homayouni, S. Mahdi, author. Fontes, Dalila B. M. M., author.
Preferred Shelf Number HE571
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151
Format: Electronic Resources
Availability Online Library~1

Algoritmalara Giriş

2026-01-27T20:25:06Z

Author Cormen, Thomas H.
Preferred Shelf Number QA76.6 C663 2017
Format: Books
Availability Beytepe Library~1

Algoritma geliştirme ve programlamaya giriş

2026-01-27T20:25:06Z

Author Vatansever, Fahri.
Preferred Shelf Number QA76.6 V56 2017
Format: Books
Availability Beytepe Library~1

Algoritma geliştirme ve programlamaya giriş

2026-01-27T20:25:06Z

Author Vatansever, Fahri.
Preferred Shelf Number QA76.6 V56 2015
Format: Books
Availability Beytepe Library~1

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

2026-01-27T20:25:06Z

Author Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources
Availability Online Library~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-27T20:25:06Z

Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources
Availability Online Library~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-27T20:25:06Z

Author DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T20:25:06Z

Author Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources
Availability Online Library~1

Algoritma geliştirme ve programlamaya giriş

2026-01-27T20:25:06Z

Author Vatansever, Fahri.
Preferred Shelf Number QA76.6 V56 2011
Format: Books
Availability Beytepe Library~1

Introduction to algorithms

2026-01-27T20:25:06Z

Author Cormen, Thomas H.
Preferred Shelf Number QA76.6 C662 2009
Format: Books
Availability Beytepe Library~2

Algoritma geliştirme ve programlamaya giriş

2026-01-27T20:25:06Z

Author Vatansever, Fahri.
Preferred Shelf Number QA76.6 V56 2007
Format: Books
Availability Beytepe Library~1