Arama Sonu&ccedil;lar&#305; Theory of Computation. - Daralt&#305;lm&#305;&#351;: Programming Techniques. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTheory$002bof$002bComputation.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300?dt=list 2026-04-11T10:18:11Z Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605775 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Category Theory Using Haskell An Introduction with Moggi and Yoneda ent://SD_ILS/0/SD_ILS:606405 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Yukita, Shuichi. author. (orcid)0009-0006-5297-7501&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, M&uuml;nster, Germany, September 27 - October 1, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605084 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Lemanski, Jens. editor. (orcid)0000-0003-3661-4752&#160;Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678&#160;Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021&#160;Viana, Petrucio. editor. (orcid)0000-0002-3517-6706&#160;Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-71291-3">https://doi.org/10.1007/978-3-031-71291-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The French School of Programming ent://SD_ILS/0/SD_ILS:603390 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604608 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606267 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Mery, Dominique. editor. (orcid)0000-0001-5231-6611&#160;Sun, Meng. editor.&#160;Liu, Shaoying. editor. (orcid)0000-0002-6748-5052&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-96-0617-7">https://doi.org/10.1007/978-981-96-0617-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611151 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Chang, Bor-Yuh Evan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612292 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Yang, Hongseok. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613733 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Di Napoli, Edoardo. editor.&#160;Hermanns, Marc-Andr&eacute;. editor.&#160;Iliev, Hristo. editor.&#160;Lintermann, Andreas. editor.&#160;Peyser, Alexander. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613742 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Mousavi, Mohammad Reza. editor.&#160;Sgall, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fluid Dynamics Theory, Computation, and Numerical Simulation ent://SD_ILS/0/SD_ILS:612367 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Pozrikidis, C. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-1-4899-7991-9">https://doi.org/10.1007/978-1-4899-7991-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613501 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Rivera, Francisco F. editor.&#160;Pena, Tom&aacute;s F. editor.&#160;Cabaleiro, Jos&eacute; C. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616270 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Language and Automata Theory and Applications 11th International Conference, LATA 2017, Ume&aring;, Sweden, March 6-9, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616320 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Drewes, Frank. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612288 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Thiemann, Peter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:615967 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Sarro, Federica. editor.&#160;Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-47106-8">https://doi.org/10.1007/978-3-319-47106-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616247 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Carretero, Jesus. editor.&#160;Garcia-Blas, Javier. editor.&#160;Ko, Ryan K.L. editor.&#160;Mueller, Peter. editor.&#160;Nakano, Koji. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-49583-5">https://doi.org/10.1007/978-3-319-49583-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Genetic Programming Theory and Practice X ent://SD_ILS/0/SD_ILS:332135 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Riolo, Rick. editor.&#160;Vladislavleva, Ekaterina. editor.&#160;Ritchie, Marylyn D. editor.&#160;Moore, Jason H. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332135.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Algorithms for Message-Passing Systems ent://SD_ILS/0/SD_ILS:334542 2026-04-11T10:18:11Z 2026-04-11T10:18:11Z Yazar&#160;Raynal, Michel. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334542.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38123-2">http://dx.doi.org/10.1007/978-3-642-38123-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>