Arama Sonu&ccedil;lar&#305; Communication - Daralt&#305;lm&#305;&#351;: Programming Techniques. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCommunication$0026qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-20T16:03:38Z Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616750 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448&#160;Boucheneb, Hanifa. editor.&#160;Mili, Ali. editor.&#160;Tahar, Sofi&egrave;ne. 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-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures ent://SD_ILS/0/SD_ILS:607973 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#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-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607932 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;F&oslash;lstad, Asbj&oslash;rn. editor. (orcid)0000-0003-2763-0996&#160;Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341&#160;Araujo, Theo. editor. (orcid)0000-0002-4633-9339&#160;Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150&#160;Luger, Ewa. editor. (orcid)0000-0001-7882-9415<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-88045-2">https://doi.org/10.1007/978-3-031-88045-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605299 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Blaas-Schenner, Claudia. editor.&#160;Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016&#160;Haas, Tobias. 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-73370-3">https://doi.org/10.1007/978-3-031-73370-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Active Object Languages: Current Research Trends ent://SD_ILS/0/SD_ILS:602437 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;de Boer, Frank. editor.&#160;Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706&#160;H&auml;hnle, Reiner. editor.&#160;Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949&#160;Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-51060-1">https://doi.org/10.1007/978-3-031-51060-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602129 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595&#160;Ferreira, Joao C. editor.&#160;Kocian, Alexander. editor.&#160;Tokkozhina, Ulpan. editor.&#160;Helgheim, Berit Irene. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602851 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;F&oslash;lstad, Asbj&oslash;rn. editor. (orcid)0000-0003-2763-0996&#160;Araujo, Theo. editor.&#160;Papadopoulos, Symeon. editor.&#160;Law, Effie L.-C. editor.&#160;Luger, Ewa. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-54975-5">https://doi.org/10.1007/978-3-031-54975-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602456 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554&#160;Wu, Yulei. editor. (orcid)0000-0003-0801-8443&#160;Xu, Min. 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-52265-9">https://doi.org/10.1007/978-3-031-52265-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603643 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341&#160;Dom&iacute;nguez Mayo, Francisco Jos&eacute;. editor.&#160;van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353&#160;Maciaszek, Leszek A. 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-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Conversations Around Semiotic Engineering ent://SD_ILS/0/SD_ILS:615169 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Diniz Junqueira Barbosa, Simone. editor.&#160;Breitman, Karin. 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-56291-9">https://doi.org/10.1007/978-3-319-56291-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:610851 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Gibson-Robinson, Thomas. editor.&#160;Hopcroft, Philippa. editor.&#160;Lazi&#263;, Ranko. 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-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:616099 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Namazi-Rad, Mohammad-Reza. editor.&#160;Padgham, Lin. editor.&#160;Perez, Pascal. editor.&#160;Nagel, Kai. editor.&#160;Bazzan, Ana. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</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 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611148 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Duan, Zhenhua. editor.&#160;Ong, Luke. 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-68690-5">https://doi.org/10.1007/978-3-319-68690-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612242 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Kunkel, Julian M. editor.&#160;Yokota, Rio. editor.&#160;Taufer, Michela. editor.&#160;Shalf, John. 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-67630-2">https://doi.org/10.1007/978-3-319-67630-2</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-03-20T16:03:38Z 2026-03-20T16:03:38Z 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/> OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611800 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Gorentla Venkata, Manjunath. editor.&#160;Imam, Neena. editor.&#160;Pophale, Swaroop. editor.&#160;Mintz, Tiffany M. 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-50995-2">https://doi.org/10.1007/978-3-319-50995-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> 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 ent://SD_ILS/0/SD_ILS:611718 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Lluch Lafuente, Alberto. editor.&#160;Proen&ccedil;a, Jos&eacute;. 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-39519-7">https://doi.org/10.1007/978-3-319-39519-7</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-03-20T16:03:38Z 2026-03-20T16:03:38Z 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/> Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616745 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;W&#261;sowski, Andrzej. editor.&#160;L&ouml;nn, Henrik. 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-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:610898 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-32149-3">https://doi.org/10.1007/978-3-319-32149-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Introduction to HPC with MPI for Data Science ent://SD_ILS/0/SD_ILS:617392 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Nielsen, Frank. 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-3-319-21903-5">https://doi.org/10.1007/978-3-319-21903-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:613086 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Nunes, Ingrid. editor.&#160;Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794&#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-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:618411 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-32152-3">https://doi.org/10.1007/978-3-319-32152-3</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 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612379 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Lawford, Mark. editor.&#160;Liu, Shaoying. 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-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Developers as Users Semiotic Investigations in Human-Centered Software Development ent://SD_ILS/0/SD_ILS:614418 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Sieckenius de Souza, Clarisse. author.&#160;Fontoura de Gusm&atilde;o Cerqueira, Renato. author.&#160;Marques Afonso, Luiz. author.&#160;Rossi de Mello Brand&atilde;o, Rafael. author.&#160;Soares Jansen Ferreira, Juliana. author.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-42831-4">https://doi.org/10.1007/978-3-319-42831-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611088 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Shen, Xipeng. editor.&#160;Mueller, Frank. editor.&#160;Tuck, James. 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-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Programming Theory and Practice ent://SD_ILS/0/SD_ILS:331611 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Shankar, A. Udaya. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331611.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332921.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334025 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Frey, Davide. editor.&#160;Raynal, Michel. editor.&#160;Sarkar, Saswati. editor.&#160;Shyamasundar, Rudrapatna K. editor.&#160;Sinha, Prasun. editor.<br/>Yer Numaras&#305;&#160;ONLINE(334025.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</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-03-20T16:03:38Z 2026-03-20T16:03:38Z 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/> The Deductive Spreadsheet ent://SD_ILS/0/SD_ILS:334475 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Cervesato, Iliano. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334475.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37747-1">http://dx.doi.org/10.1007/978-3-642-37747-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Programming for Multicore and Cluster Systems ent://SD_ILS/0/SD_ILS:334484 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Rauber, Thomas. author.&#160;R&uuml;nger, Gudula. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334484.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37801-0">http://dx.doi.org/10.1007/978-3-642-37801-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334711 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Gorp, Pieter. editor.&#160;Ritter, Tom. editor.&#160;Rose, Louis M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334711.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ECOOP 2013 &ndash; Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334715 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334715.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334772 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334772.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-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 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334968 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Hierons, Robert M. editor.&#160;Merayo, Mercedes G. editor.&#160;Bravetti, Mario. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334968.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</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 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 &ndash; November 1, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335072 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Groves, Lindsay. editor.&#160;Sun, Jing. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335072.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335124 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Perny, Patrice. editor.&#160;Pirlot, Marc. editor.&#160;Tsouki&agrave;s, Alexis. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335124.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41575-3">http://dx.doi.org/10.1007/978-3-642-41575-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> An Introduction to Network Programming with Java Java 7 Compatible ent://SD_ILS/0/SD_ILS:331180 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Graba, Jan. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331180.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Network Programming &ndash; Principles and Techniques Network Application Programming with Java ent://SD_ILS/0/SD_ILS:331186 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Ciubotaru, Bogdan. author.&#160;Muntean, Gabriel-Miro. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331186.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5292-7">http://dx.doi.org/10.1007/978-1-4471-5292-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334104 2026-03-20T16:03:38Z 2026-03-20T16:03:38Z Yazar&#160;Rajopadhye, Sanjay. editor.&#160;Mills Strout, Michelle. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334104.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36036-7">http://dx.doi.org/10.1007/978-3-642-36036-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>