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

Programming.architecture

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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 XIII

2026-04-22T04:03:30Z

Yazar Riolo, Rick. editor. Worzel, W.P. editor. Kotanchek, Mark. editor. Kordon, Arthur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34223-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice XI

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-04-22T04:03:30Z

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

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2026-04-22T04:03:30Z

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

Limits of Computation From a Programming Perspective

2026-04-22T04:03:30Z

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

Guide to Programming and Algorithms Using R

2026-04-22T04:03:30Z

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

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-04-22T04:03:30Z

Yazar Laaksonen, Antti. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61794-2
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-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55696-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

2026-04-22T04:03:30Z

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

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-04-22T04:03:30Z

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

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

2026-04-22T04:03:30Z

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

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

2026-04-22T04:03:30Z

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

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30668-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

2026-04-22T04:03:30Z

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

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2026-04-22T04:03:30Z

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

Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

2026-04-22T04:03:30Z

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

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach

2026-04-22T04:03:30Z

Yazar Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50137-6
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-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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 II

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

Genetic algorithms and genetic programming : modern concepts and practical applications

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2026-04-22T04:03:30Z

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

Theory and Models for Cyber Situation Awareness

2026-04-22T04:03:30Z

Yazar Liu, Peng. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Wang, Cliff. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61152-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68034-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

2026-04-22T04:03:30Z

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

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2026-04-22T04:03:30Z

Yazar de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74183-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61994-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57288-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64119-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-04-22T04:03:30Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68270-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39519-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50995-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2026-04-22T04:03:30Z

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

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2026-04-22T04:03:30Z

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

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47106-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2026-04-22T04:03:30Z

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

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29817-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45550-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40578-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46982-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-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

AUTOMATIC GENERATION OF ALGORITHMS

2026-04-22T04:03:30Z

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

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-04-22T04:03:30Z

Yazar Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73370-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design

2026-04-22T04:03:30Z

Yazar Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3201-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Artificial Intelligence Proceedings of ICEAI 2024

2026-04-22T04:03:30Z

Yazar Asirvatham, David. editor. Ntalianis, Klimis. editor. (orcid)0000-0002-2175-3306 Falkowski-Gilski, Przemyslaw. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-5210-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

2026-04-22T04:03:30Z

Yazar Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74234-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The impact of algorithmic technologies on healthcare

2026-04-22T04:03:30Z

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

Numbers and Computers

2026-04-22T04:03:30Z

Yazar Kneusel, Ronald T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67482-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2023

2026-04-22T04:03:30Z

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

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-04-22T04:03:30Z

Yazar Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-7956-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-04-22T04:03:30Z

Yazar Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94706-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-04-22T04:03:30Z

Yazar Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64285-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

2026-04-22T04:03:30Z

Yazar Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71112-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-04-22T04:03:30Z

Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72621-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Computational Optimization Selected Papers from the WCO 2022 - Workshop on Computational Optimization

2026-04-22T04:03:30Z

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

Computational Thinking First Algorithms, Then Code

2026-04-22T04:03:30Z

Yazar Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59922-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-inspired optimization for medical data mining

2026-04-22T04:03:30Z

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

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

2026-04-22T04:03:30Z

Yazar Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42209-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Signal Processing Illustration Using Python

2026-04-22T04:03:30Z

Yazar Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6752-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Artificial Intelligence Proceedings of ICEAI 2023

2026-04-22T04:03:30Z

Yazar Asirvatham, David. editor. Gonzalez-Longatt, Francisco M. editor. Falkowski-Gilski, Przemyslaw. editor. Kanthavel, R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8438-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60924-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine learning for risk calculations : a practitioner's view

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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 veri yapıları

2026-04-22T04:03:30Z

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

Algoritmalara Giriş

2026-04-22T04:03:30Z

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

Algoritma geliştirme ve programlamaya giriş

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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

Robust and Error-Free Geometric Computing.

2026-04-22T04:03:30Z

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

Design and optimization for 5G wireless communications

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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-04-22T04:03:30Z

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

Deep Reinforcement Learning Frontiers of Artificial Intelligence

2026-04-22T04:03:30Z

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

Computing and Software Science State of the Art and Perspectives

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

Efficient multirate teletraffic loss models beyond Erlang

2026-04-22T04:03:30Z

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

Python machine learning

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

Analog automation and digital feedback control techniques

2026-04-22T04:03:30Z

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

Metaheuristics for maritime operations

2026-04-22T04:03:30Z

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

Advanced techniques and technology of computer-aided feedback control

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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

Algoritma geliştirme ve programlamaya giriş

2026-04-22T04:03:30Z

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

Algoritmalara Giriş

2026-04-22T04:03:30Z

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

On Sets and Graphs Perspectives on Logic and Combinatorics

2026-04-22T04:03:30Z

Yazar Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54981-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69404-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59647-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2026-04-22T04:03:30Z

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

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63501-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54072-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

2026-04-22T04:03:30Z

Yazar Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50062-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2026-04-22T04:03:30Z

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

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54069-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63139-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59650-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-04-22T04:03:30Z

Yazar Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55417-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66320-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67035-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6893-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency XII

2026-04-22T04:03:30Z

Yazar Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55862-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66176-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-04-22T04:03:30Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54580-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55751-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62809-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

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

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53862-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-04-22T04:03:30Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54577-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60252-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-04-22T04:03:30Z

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

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55911-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61470-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65482-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

2026-04-22T04:03:30Z

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

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-04-22T04:03:30Z

Yazar Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53733-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-04-22T04:03:30Z

Yazar Zeume, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54314-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-04-22T04:03:30Z

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

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51738-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Random-Like Bi-level Decision Making

2026-04-22T04:03:30Z

Yazar Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1768-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-04-22T04:03:30Z

Yazar Skrzypczak, Michał. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-52947-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2026-04-22T04:03:30Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32149-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29778-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45994-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Kochetov, Yury. editor. Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Beresnev, Vladimir. editor. Nurminski, Evgeni. editor. Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44914-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2026-04-22T04:03:30Z

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

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

2026-04-22T04:03:30Z

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

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2026-04-22T04:03:30Z

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

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33509-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55669-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Mining with Evolutionary Algorithms

2026-04-22T04:03:30Z

Yazar Ventura, Sebastián. author. Luna, José María. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33858-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50349-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2026-04-22T04:03:30Z

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

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Perales, Francisco José. editor. (orcid)0000-0002-9872-3172 Kittler, Josef. editor. (orcid)0000-0002-8110-9205 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41778-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2026-04-22T04:03:30Z

Yazar Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-52921-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49583-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

2026-04-22T04:03:30Z

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

Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802 Fujishige, Satoru. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45587-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2026-04-22T04:03:30Z

Yazar Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41114-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-04-22T04:03:30Z

Yazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27810-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34171-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49529-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

2026-04-22T04:03:30Z

Yazar Göbel, Susanne. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-11765-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45823-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2026-04-22T04:03:30Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32152-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29968-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2026-04-22T04:03:30Z

Yazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46140-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44543-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-04-22T04:03:30Z

Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30734-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39636-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53132-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43659-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2026-04-22T04:03:30Z

Yazar Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algoritma geliştirme ve programlamaya giriş

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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

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

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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

Practical Analysis of Algorithms

2026-04-22T04:03:30Z

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

Iterative optimization in inverse problems

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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

Genetic and evolutionary computation medical applications

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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

Stochastic local search foundations and applications

2026-04-22T04:03:30Z

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-04-22T04:03:30Z

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-04-22T04:03:30Z

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