Search Results for Computers. - Narrowed by: Computer programming. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputers.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-24T09:09:51Z The computer boys take over computers, programmers, and the politics of technical expertise ent://SD_ILS/0/SD_ILS:220081 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Ensmenger, Nathan, 1972-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algoritmalara Giri&#351; ent://SD_ILS/0/SD_ILS:423106 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Cormen, Thomas H.&#160;Nuriyev, Urfat.&#160;Nasibo&#287;lu, Efendi.&#160;&Ouml;ner, Tahsin.<br/>Preferred Shelf Number&#160;QA76.6 C663 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6&ndash;10, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483789 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Porkol&aacute;b, Zolt&aacute;n. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 &ndash; September 1, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483767 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Nejati, Shiva. editor.&#160;Gay, Gregory. editor. (orcid)0000-0001-6794-9585&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485590 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Guerra, Esther. editor. (orcid)0000-0002-2818-2278&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning C# by Programming Games ent://SD_ILS/0/SD_ILS:486170 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;van Toll, Wouter. author.&#160;Egges, Arjan. author.&#160;Fokker, Jeroen D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59252-6">https://doi.org/10.1007/978-3-662-59252-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486285 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Zincir-Heywood, Nur. editor.&#160;Bonfante, Guillaume. editor.&#160;Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609&#160;Soeken, Mathias. editor. (orcid)0000-0002-0229-8766&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486615 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Peng, Xin. editor.&#160;Ampatzoglou, Apostolos. editor.&#160;Bhowmik, Tanmay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486718 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Malizia, Alessio. editor.&#160;Valtolina, Stefano. editor.&#160;Morch, Anders. editor.&#160;Serrano, Alan. editor.&#160;Stratton, Andrew. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483131 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Leone, Nicola. editor.&#160;Manna, Marco. editor. (orcid)0000-0003-3323-9328&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483905 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736&#160;Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709&#160;Sherratt, Edel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484898 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Piattini, Mario. editor. (orcid)0000-0002-7212-8279&#160;Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248&#160;Garc&iacute;a Rodr&iacute;guez de Guzm&aacute;n, Ignacio. editor. (orcid)0000-0002-0038-0942&#160;P&eacute;rez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29238-6">https://doi.org/10.1007/978-3-030-29238-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Pa&#322;ka, Micha&#322;. editor.&#160;Myreen, Magnus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485271 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Van Horn, David. editor.&#160;Hughes, John. editor. (orcid)0000-0001-8042-0969&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485789 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Silva, Josep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2&ndash;5, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483248 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483547 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23&ndash;24, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486699 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36592-9">https://doi.org/10.1007/978-3-030-36592-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482746 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Java A Concise Introduction to Programming ent://SD_ILS/0/SD_ILS:484364 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Streib, James T. author.&#160;Soma, Takako. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6317-6">https://doi.org/10.1007/978-1-4471-6317-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Operational Semantics A Concise Overview ent://SD_ILS/0/SD_ILS:484561 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Fern&aacute;ndez, Maribel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485593 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Rocha, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08909-6">https://doi.org/10.1007/978-3-319-08909-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485624 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Seidl, Martina. editor.&#160;Tillmann, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485644 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Le Goues, Claire. editor.&#160;Yoo, Shin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485667 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485725 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Merz, Stephan. editor.&#160;Pang, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> JRuby Rails Web Application Development ent://SD_ILS/0/SD_ILS:486952 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Vohra, Deepak. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-03934-3">https://doi.org/10.1007/978-3-319-03934-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginner's Guide to Scala, Object Orientation and Functional Programming ent://SD_ILS/0/SD_ILS:487859 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Hunt, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488926 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Cassez, Franck. editor.&#160;Raskin, Jean-Francois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488931 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Zaverucha, Gerson. editor.&#160;Santos Costa, V&iacute;tor. editor.&#160;Paes, Aline. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488976 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Quintao Pereira, Fernando Magno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 23rd European Symposium on Programming, ESOP 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:489434 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485446 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Flatt, Matthew. editor.&#160;Guo, Hai-Feng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485783 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Escobar, Santiago. editor. (orcid)0000-0002-3550-4781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development XI ent://SD_ILS/0/SD_ILS:489082 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Chiba, Shigeru. editor.&#160;Tanter, &Eacute;ric. editor.&#160;Bodden, Eric. editor.&#160;Maoz, Shahar. editor.&#160;Kienzle, J&ouml;rg. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Codish, Michael. editor.&#160;Sumii, Eijiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489137 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Jones, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB &amp; DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487540 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Fischbach, Kai. editor.&#160;Krieger, Udo R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings ent://SD_ILS/0/SD_ILS:487545 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Schaefer, Ina. editor.&#160;Stamelos, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Computations with GPUs ent://SD_ILS/0/SD_ILS:487579 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Kindratenko, Volodymyr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:489416 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Agha, Gul. editor.&#160;Igarashi, Atsushi. editor.&#160;Kobayashi, Naoki. editor.&#160;Masuhara, Hidehiko. editor.&#160;Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489634 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;McCarthy, Jay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generating language-based environments ent://SD_ILS/0/SD_ILS:220159 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Reps, Thomas W. (Thomas William)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial scientific computing ent://SD_ILS/0/SD_ILS:288048 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Naumann, Uwe, 1969-&#160;Schenk, Olaf, 1967-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439827369">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Raspberry Pi user guide ent://SD_ILS/0/SD_ILS:424346 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Upton, Eben.&#160;Halfacree, Gareth.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1002/9781119415572">Wiley Online Library</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer technology and computer programming new research and strategies ent://SD_ILS/0/SD_ILS:287240 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Antonakos, James L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466562592">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GTK+/GNOME programlama ent://SD_ILS/0/SD_ILS:106456 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Vardar, M. Ali.<br/>Preferred Shelf Number&#160;QA76.9.U83 V37 2000<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Structure and interpretation of computer programs ent://SD_ILS/0/SD_ILS:220141 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;Abelson, Harold.&#160;Sussman, Gerald Jay.&#160;Sussman, Julie.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy ent://SD_ILS/0/SD_ILS:257886 2024-11-24T09:09:51Z 2024-11-24T09:09:51Z Author&#160;McCarthy, John, 1927-2011.&#160;Lifschitz, Vladimir.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>