Search Results for Software - Narrowed by: Computer programming. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-23T05:42:04Z Introduction to Software Quality ent://SD_ILS/0/SD_ILS:487425 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;O&rsquo;Regan, Gerard. 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-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software engineering : the current practices ent://SD_ILS/0/SD_ILS:364220 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Rajlich, Vaclav.<br/>Preferred Shelf Number&#160;QA76.758 R36 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Software design for engineers and scientists ent://SD_ILS/0/SD_ILS:254657 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Robinson, John A. (John Allen), 1958-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750660808">http://www.sciencedirect.com/science/book/9780750660808</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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485644 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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 Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486854 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Liu, Zhiming. editor.&#160;Xue, Jinyun. 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-07602-7">https://doi.org/10.1007/978-3-319-07602-7</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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project ent://SD_ILS/0/SD_ILS:484503 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Sato, Mitsuhisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1924-2">https://doi.org/10.1007/978-981-13-1924-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings ent://SD_ILS/0/SD_ILS:482917 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Fitzgerald, Brian. editor.&#160;Mockus, Audris. editor.&#160;Zhou, Minghui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7099-1">https://doi.org/10.1007/978-981-13-7099-1</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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> A practical guide to boundary element methods with the software library BEMLIB ent://SD_ILS/0/SD_ILS:285817 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Pozrikidis, C.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420035254">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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Models@run.time Foundations, Applications, and Roadmaps ent://SD_ILS/0/SD_ILS:485584 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Bencomo, Nelly. editor.&#160;France, Robert B. editor.&#160;Cheng, Betty H.C. editor.&#160;A&szlig;mann, Uwe. 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-08915-7">https://doi.org/10.1007/978-3-319-08915-7</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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:489416 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488976 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489137 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Webservices Theory and Practice ent://SD_ILS/0/SD_ILS:483812 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Mohanty, Hrushikesha. editor.&#160;Pattnaik, Prasant Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3224-1">https://doi.org/10.1007/978-981-13-3224-1</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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Essentials of Cloud Computing A Holistic Perspective ent://SD_ILS/0/SD_ILS:486548 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Surianarayanan, Chellammal. author.&#160;Chelliah, Pethuru Raj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13134-0">https://doi.org/10.1007/978-3-030-13134-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algoritma tasarlama ve C ile temel bilgisayar programlama ent://SD_ILS/0/SD_ILS:514240 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Abu&#351;o&#287;lu, Atakan.<br/>Preferred Shelf Number&#160;QA76.75 A28 2019<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programming Languages and Operational Semantics A Concise Overview ent://SD_ILS/0/SD_ILS:484561 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> 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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> JRuby Rails Web Application Development ent://SD_ILS/0/SD_ILS:486952 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487483 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Chatterjee, Mainak. editor.&#160;Cao, Jian-nong. editor.&#160;Kothapalli, Kishore. editor.&#160;Rajsbaum, Sergio. 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-45249-9">https://doi.org/10.1007/978-3-642-45249-9</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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489266 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887&#160;Dix, J&uuml;rgen. editor.&#160;van Riemsdijk, M. Birna. 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-14484-9">https://doi.org/10.1007/978-3-319-14484-9</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-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Emotion Modeling Towards Pragmatic Computational Models of Affective Processes ent://SD_ILS/0/SD_ILS:489042 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Bosse, Tibor. editor.&#160;Broekens, Joost. editor.&#160;Dias, Jo&atilde;o. editor. (orcid)0000-0002-1653-1821&#160;van der Zwaan, Janneke. 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-12973-0">https://doi.org/10.1007/978-3-319-12973-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489579 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Gupta, Gopal. editor.&#160;Pe&ntilde;a, 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-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial scientific computing ent://SD_ILS/0/SD_ILS:288048 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> The computer boys take over computers, programmers, and the politics of technical expertise ent://SD_ILS/0/SD_ILS:220081 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z 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/> Programming multi-agent systems in AgentSpeak using Jason ent://SD_ILS/0/SD_ILS:296840 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Bordini, Rafael H.&#160;H&uuml;bner, Jomi Fred.&#160;Wooldridge, Michael J., 1966-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html">http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470061848">http://dx.doi.org/10.1002/9780470061848</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-oriented programming ent://SD_ILS/0/SD_ILS:301668 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Wang, Andy Ju An.&#160;Qian, Kai.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={BBA4B88B-6BEF-4A17-841F-A876229E9F1D}&Format=50">Click for information</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=228466">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=228466</a> John Wiley <a href="http://dx.doi.org/10.1002/0471713708">http://dx.doi.org/10.1002/0471713708</a> <a href="http://swb.eblib.com/patron/FullRecord.aspx?p=228466">http://swb.eblib.com/patron/FullRecord.aspx?p=228466</a> HathiTrust Digital Library, Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/55955200.html">http://catalog.hathitrust.org/api/volumes/oclc/55955200.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Test-driven development : by example ent://SD_ILS/0/SD_ILS:105977 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Beck, Kent.<br/>Preferred Shelf Number&#160;QA 76.76.T48 B43 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programming with POSIX threads ent://SD_ILS/0/SD_ILS:268314 2024-12-23T05:42:04Z 2024-12-23T05:42:04Z Author&#160;Butenhof, David R.<br/>Preferred Shelf Number&#160;QA76.76.T55 B88 1997<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>