Search Results for Programming Languages. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguages.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2024-10-07T17:22:14Z Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:518889 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Bodei, Chiara. editor.&#160;Ferrari, Gianluigi. editor.&#160;Priami, Corrado. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518889.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25527-9">https://doi.org/10.1007/978-3-319-25527-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518926 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Feng, Xinyu. editor.&#160;Park, Sungwoo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518926.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26529-2">https://doi.org/10.1007/978-3-319-26529-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519222 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Iwama, Kazuo. editor.&#160;Kobayashi, Naoki. editor.&#160;Speckmann, Bettina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519222.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519225 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Iwama, Kazuo. editor.&#160;Kobayashi, Naoki. editor.&#160;Speckmann, Bettina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519225.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519120 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Pardo, Alberto. editor.&#160;Swierstra, S. Doaitse. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519120.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24012-1">https://doi.org/10.1007/978-3-319-24012-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519237 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519237.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML ent://SD_ILS/0/SD_ILS:355438 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Brambilla, Marco, 1976- author.&#160;Fraternali, Piero, author.<br/>Preferred Shelf Number&#160;ONLINE(355438.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128001080">http://www.sciencedirect.com/science/book/9780128001080</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Her Y&ouml;n&uuml;yle C # ent://SD_ILS/0/SD_ILS:360474 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Algan, Sefer.<br/>Preferred Shelf Number&#160;QA76.73.C154 A44 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 ent://SD_ILS/0/SD_ILS:518655 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Chivers, Ian. author.&#160;Sleightholme, Jane. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518655.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17701-4">https://doi.org/10.1007/978-3-319-17701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518980 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Holvoet, Tom. editor.&#160;Viroli, Mirko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518980.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Python for data science for dummies ent://SD_ILS/0/SD_ILS:390457 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Massaron, Luca.&#160;Mueller, John Paul.<br/>Preferred Shelf Number&#160;QA76.73.P98 M376 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Beginning Java Programming: The Object Oriented Approach ent://SD_ILS/0/SD_ILS:358196 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Baesens, Bart.&#160;Backiel, Aimee Author.&#160;Broucke, Seppe vanden Author.<br/>Preferred Shelf Number&#160;QA76.73.J38 B34 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Language Production, Cognition, and the Lexicon ent://SD_ILS/0/SD_ILS:518530 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Gala, N&uacute;ria. editor.&#160;Rapp, Reinhard. editor.&#160;Bel-Enguix, Gemma. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518530.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08043-7">https://doi.org/10.1007/978-3-319-08043-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518861 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Falaschi, Moreno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518861.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518878 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Bieger, Jordi. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518878.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:519297 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Baldoni, Matteo. editor.&#160;Baresi, Luciano. editor.&#160;Dastani, Mehdi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519297.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519043 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Urban, Christian. editor.&#160;Zhang, Xingyuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519043.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22102-1">https://doi.org/10.1007/978-3-319-22102-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519161.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519213 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Csat&oacute;, Lehel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519213.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15940-9">https://doi.org/10.1007/978-3-319-15940-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519139 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Codescu, Mihai. editor.&#160;Diaconescu, R&#259;zvan. editor.&#160;&#538;u&#539;u, Ionu&#539;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519139.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519293 2024-10-07T17:22:14Z 2024-10-07T17:22:14Z Author&#160;Calimeri, Francesco. editor.&#160;Ianni, Giovambattista. editor.&#160;Truszczynski, Miroslaw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519293.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>