Arama Sonu&ccedil;lar&#305; Languages. - Daralt&#305;lm&#305;&#351;: Operating systems (Computers). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLanguages.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300?dt=list 2026-03-13T14:44:07Z Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608973 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581&#160;Ravara, Ant&oacute;nio. editor. (orcid)0000-0001-8074-0380&#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-95589-1">https://doi.org/10.1007/978-3-031-95589-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603900 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892&#160;Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521&#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-62697-5">https://doi.org/10.1007/978-3-031-62697-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485968 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#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-030-22397-7">https://doi.org/10.1007/978-3-030-22397-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 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486680 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Rauchwerger, Lawrence. 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-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings ent://SD_ILS/0/SD_ILS:401247 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#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-92408-3">https://doi.org/10.1007/978-3-319-92408-3</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 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:615974 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Ding, Chen. editor.&#160;Criswell, John. editor.&#160;Wu, Peng. 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-52709-3">https://doi.org/10.1007/978-3-319-52709-3</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-13T14:44:07Z 2026-03-13T14:44:07Z 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/> Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334469 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Kasahara, Hironori. editor.&#160;Kimura, Keiji. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334469.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334610 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Nicola, Rocco. editor.&#160;Julien, Christine. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334610.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-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 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189248 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Ramalingam, G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187640 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184764 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Lightfoot, David E. editor.&#160;Szyperski, Clemens. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185155 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Kobayashi, Naoki. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183234 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Yi, Kwangkeun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607157 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X&#160;Djemame, Karim. editor. (orcid)0000-0001-5811-5263&#160;Altmann, J&ouml;rn. editor. (orcid)0000-0002-8880-9546&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor. (orcid)0000-0002-4198-8241&#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-81226-2">https://doi.org/10.1007/978-3-031-81226-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11&ndash;13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485284 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Pa&#322;ka, Micha&#322;. editor.&#160;Myreen, Magnus. 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-030-18506-0">https://doi.org/10.1007/978-3-030-18506-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484537 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Fan, Xing. editor.&#160;de Supinski, Bronis R. editor.&#160;Sinnen, Oliver. editor.&#160;Giacaman, Nasser. 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-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on High-Performance Embedded Architectures and Compilers V ent://SD_ILS/0/SD_ILS:484586 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Silvano, Cristina. editor. (orcid)0000-0003-1668-0883&#160;Bertels, Koen. editor. (orcid)0000-0001-9310-4885&#160;Schulte, Michael. editor. (orcid)0000-0002-0213-4155&#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-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615997 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Blieberger, Johann. editor.&#160;Bader, Markus. 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-60588-3">https://doi.org/10.1007/978-3-319-60588-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616106 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Guerra, Esther. editor.&#160;van den Brand, Mark. 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-61473-1">https://doi.org/10.1007/978-3-319-61473-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications ent://SD_ILS/0/SD_ILS:617350 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Decker, Hendrik. 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-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611423 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Rayadurgam, Sanjai. editor.&#160;Tkachuk, Oksana. 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-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Modularity and Composition I ent://SD_ILS/0/SD_ILS:617818 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Chiba, Shigeru. editor.&#160;S&uuml;dholt, Mario. editor.&#160;Eugster, Patrick. editor.&#160;Ziarek, Lukasz. editor.&#160;Leavens, Gary T. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485492 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. 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-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488914 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Cohen, Albert. 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-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489093 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Silva, Fernando. editor.&#160;Dutra, In&ecirc;s. editor.&#160;Santos Costa, Vitor. 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-09873-9">https://doi.org/10.1007/978-3-319-09873-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334077.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334156.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Aliasing in Object-Oriented Programming. Types, Analysis and Verification ent://SD_ILS/0/SD_ILS:334327 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Clarke, Dave. editor.&#160;Noble, James. editor.&#160;Wrigstad, Tobias. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334327.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334353 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Jhala, Ranjit. editor.&#160;Bosschere, Koen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334353.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334533.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ada 2012 Rationale The Language, The Standard Libraries ent://SD_ILS/0/SD_ILS:335195 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Barnes, John. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335195.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335206 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Wu, Chenggang. editor.&#160;Cohen, Albert. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335206.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) ent://SD_ILS/0/SD_ILS:335216 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Taft, S. Tucker. editor.&#160;Duff, Robert A. editor.&#160;Brukardt, Randall L. editor.&#160;Ploedereder, Erhard. editor.&#160;Leroy, Pascal. editor.<br/>Yer Numaras&#305;&#160;ONLINE(335216.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334870 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Louren&ccedil;o, Jo&atilde;o M. editor.&#160;Farchi, Eitan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334870.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334882 2026-03-13T14:44:07Z 2026-03-13T14:44:07Z Yazar&#160;Wolf, Felix. editor.&#160;Mohr, Bernd. editor.&#160;Mey, Dieter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334882.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>