Search Results for Programming Languages. - Narrowed by: Operating systems (Computers).SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguages.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ic$003dtrue$0026ps$003d300?2025-12-12T18:31:19ZProgramming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892482025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Ramalingam, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876402025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847642025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851552025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832342025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4845372025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852842025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866802025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4859682025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on High-Performance Embedded Architectures and Compilers Vent://SD_ILS/0/SD_ILS:4845862025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890932025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854922025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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, Proceedingsent://SD_ILS/0/SD_ILS:4889142025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Aliasing in Object-Oriented Programming. Types, Analysis and Verificationent://SD_ILS/0/SD_ILS:3343272025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344692025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345332025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348702025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348822025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334882.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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. Proceedingsent://SD_ILS/0/SD_ILS:3343532025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352062025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335206.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:3351952025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Assurances for Self-Adaptive Systems Principles, Models, and Techniquesent://SD_ILS/0/SD_ILS:3341562025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334156.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340772025-12-12T18:31:19Z2025-12-12T18:31:19ZAuthor Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>