Search Results for Book. - Narrowed by: Computer programming. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBook.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ps$003d300$0026isd$003dtrue? 2026-05-14T22:53:02Z Advances in genetic programming. Vol. 2 ent://SD_ILS/0/SD_ILS:220233 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kinnear, Kenneth E.&#160;Angeline, Peter J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267488">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267488</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605499 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286&#160;Gupta, Gopal. editor. (orcid)0000-0001-9727-0362&#160;Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-74209-5">https://doi.org/10.1007/978-3-031-74209-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:605610 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Aiello, Marco. editor. (orcid)0000-0002-0764-2124&#160;Barzen, Johanna. editor.&#160;Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821&#160;Leymann, Frank. editor. (orcid)0000-0002-9123-259X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72578-4">https://doi.org/10.1007/978-3-031-72578-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606203 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017&#160;Knapp, Alexander. editor. (orcid)0000-0002-4050-3249&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606166 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Alam, Mehwish. editor. (orcid)0000-0002-7867-6612&#160;Rospocher, Marco. editor. (orcid)0000-0001-9391-3201&#160;van Erp, Marieke. editor. (orcid)0000-0001-9195-8203&#160;Hollink, Laura. editor. (orcid)0000-0002-6865-0021&#160;Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77792-9">https://doi.org/10.1007/978-3-031-77792-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Alice and Bob learn secure coding ent://SD_ILS/0/SD_ILS:599664 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Janca, Tanya. author.<br/>Preferred Shelf Number&#160;QA76.76 .D47<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization in sustainable energy : methods and applications ent://SD_ILS/0/SD_ILS:599983 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Chatterjee, Prasenjit, 1982- editor.<br/>Preferred Shelf Number&#160;TJ163.2 .O68 2025<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242139">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242139</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numbers and Computers ent://SD_ILS/0/SD_ILS:606366 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kneusel, Ronald T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-67482-2">https://doi.org/10.1007/978-3-031-67482-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608062 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Yan, Jialiang. editor. (orcid)0009-0005-2163-2300&#160;Liu, Mingming. editor.&#160;Westerst&aring;hl, Dag. editor. (orcid)0000-0002-9925-3811&#160;Yang, Xiaolu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86054-6">https://doi.org/10.1007/978-3-031-86054-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608907 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Endrullis, J&ouml;rg. editor. (orcid)0000-0002-2554-8270&#160;Tichy, Matthias. editor. (orcid)0000-0002-9067-3748&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94706-3">https://doi.org/10.1007/978-3-031-94706-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-based Programming with Go ent://SD_ILS/0/SD_ILS:609332 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Maurer, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Python Workbook A Brief Introduction with Exercises and Solutions ent://SD_ILS/0/SD_ILS:609375 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Stephenson, Ben. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84560-4">https://doi.org/10.1007/978-3-031-84560-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Category Theory Using Haskell An Introduction with Moggi and Yoneda ent://SD_ILS/0/SD_ILS:606405 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Yukita, Shuichi. author. (orcid)0009-0006-5297-7501&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606890 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Hemann, Jason. editor. (orcid)0000-0002-5405-2936&#160;Chang, Stephen. editor. (orcid)0000-0002-4760-0658&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-74558-4">https://doi.org/10.1007/978-3-031-74558-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-Oriented Analysis, Design and Implementation An Integrated Approach ent://SD_ILS/0/SD_ILS:607178 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Dathan, Brahma. author.&#160;Ramnath, Sarnath. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71240-1">https://doi.org/10.1007/978-3-031-71240-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607932 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;F&oslash;lstad, Asbj&oslash;rn. editor. (orcid)0000-0003-2763-0996&#160;Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341&#160;Araujo, Theo. editor. (orcid)0000-0002-4633-9339&#160;Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150&#160;Luger, Ewa. editor. (orcid)0000-0001-7882-9415<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-88045-2">https://doi.org/10.1007/978-3-031-88045-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures ent://SD_ILS/0/SD_ILS:607973 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608470 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;&#538;u&#539;u, Ionu&#539;. editor. (orcid)0009-0004-4280-3036&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-88930-1">https://doi.org/10.1007/978-3-031-88930-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:601538 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kardas, Geylani. editor. (orcid)0000-0001-6975-305X&#160;Lukovi&#263;, Ivan. editor. (orcid)0000-0003-1319-488X&#160;Mila&scaron;inovi&#263;, Boris. editor. (orcid)0000-0002-7889-3131&#160;Popovi&#263;, Aleksandar. editor. (orcid)0000-0002-6361-7089&#160;Radli&#324;ski, &#321;ukasz. editor. (orcid)0000-0003-1007-6597<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84913-8">https://doi.org/10.1007/978-3-031-84913-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605775 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608885 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;&Aring;gotnes, Thomas. editor. (orcid)0000-0003-4151-8028&#160;Doder, Dragan. editor. (orcid)0000-0003-0067-3654&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-7956-0">https://doi.org/10.1007/978-981-96-7956-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming with GitHub Copilot : Write Better Code--Faster! ent://SD_ILS/0/SD_ILS:599260 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Dowswell, Kurt, author.<br/>Preferred Shelf Number&#160;QA76.76 .D47<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Programming Competency A Qualitative Analysis ent://SD_ILS/0/SD_ILS:602200 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kiesler, Natalie. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47148-3">https://doi.org/10.1007/978-3-031-47148-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Structures and Algorithms with Python With an Introduction to Multiprocessing ent://SD_ILS/0/SD_ILS:602407 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lee, Kent D. author.&#160;Hubbard, Steve. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42209-6">https://doi.org/10.1007/978-3-031-42209-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602456 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554&#160;Wu, Yulei. editor. (orcid)0000-0003-0801-8443&#160;Xu, Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-52265-9">https://doi.org/10.1007/978-3-031-52265-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602925 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Jarz&#281;bowicz, Aleksander. editor.&#160;Lukovi&#263;, Ivan. editor. (orcid)0000-0003-1319-488X&#160;Przyby&#322;ek, Adam. editor.&#160;Staro&#324;, Miros&#322;aw. editor. (orcid)0000-0002-9052-0864&#160;Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51075-5">https://doi.org/10.1007/978-3-031-51075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MATLAB and Simulink in Action Programming, Scientific Computing and Simulation ent://SD_ILS/0/SD_ILS:603494 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Xue, Dingy&uuml;. author.&#160;Pan, Feng. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-1176-9">https://doi.org/10.1007/978-981-99-1176-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602851 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;F&oslash;lstad, Asbj&oslash;rn. editor. (orcid)0000-0003-2763-0996&#160;Araujo, Theo. editor.&#160;Papadopoulos, Symeon. editor.&#160;Law, Effie L.-C. editor.&#160;Luger, Ewa. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54975-5">https://doi.org/10.1007/978-3-031-54975-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603643 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341&#160;Dom&iacute;nguez Mayo, Francisco Jos&eacute;. editor.&#160;van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604171 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Harmer, Russ. editor. (orcid)0000-0002-0817-1029&#160;Kosiol, Jens. editor. (orcid)0000-0003-4733-2777&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64285-2">https://doi.org/10.1007/978-3-031-64285-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learn coding with Python and JavaScript A practical introduction for beginners ent://SD_ILS/0/SD_ILS:604231 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-42912-6">https://doi.org/10.1007/978-3-658-42912-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604245 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kaindl, Hermann. editor.&#160;Mannion, Mike. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64182-4">https://doi.org/10.1007/978-3-031-64182-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud-Native Application Architecture Microservice Development Best Practice ent://SD_ILS/0/SD_ILS:602276 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Team, FreeWheel Biz-UI. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-19-9782-2">https://doi.org/10.1007/978-981-19-9782-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604608 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Competitive Programming Learning and Improving Algorithms Through Contests ent://SD_ILS/0/SD_ILS:604641 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Laaksonen, Antti. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61794-2">https://doi.org/10.1007/978-3-031-61794-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming with Python for Engineers ent://SD_ILS/0/SD_ILS:604748 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kalkan, Sinan. author. (orcid)0000-0003-0915-5917&#160;&#350;ehito&#287;lu, Onur T. author. (orcid)0000-0001-5146-5017&#160;&Uuml;&ccedil;oluk, G&ouml;kt&uuml;rk. author. (orcid)0000-0002-1479-6113&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57148-0">https://doi.org/10.1007/978-3-031-57148-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine and deep learning using MATLAB : algorithms and tools for scientists and engineers ent://SD_ILS/0/SD_ILS:598669 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Al-Malah, Kamal I. M., author.<br/>Preferred Shelf Number&#160;TA345.5 .M42 A46 2024<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209118">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209118</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps ent://SD_ILS/0/SD_ILS:601732 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Wong, Hiu Yung. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36985-8">https://doi.org/10.1007/978-3-031-36985-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602129 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595&#160;Ferreira, Joao C. editor.&#160;Kocian, Alexander. editor.&#160;Tokkozhina, Ulpan. editor.&#160;Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exception Handling Fundamentals and Programming ent://SD_ILS/0/SD_ILS:602488 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Mejia Alvarez, Pedro. author.&#160;Gonzalez Torres, Raul E. author.&#160;Ortega Cisneros, Susana. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50681-9">https://doi.org/10.1007/978-3-031-50681-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The French School of Programming ent://SD_ILS/0/SD_ILS:603390 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603567 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Miller, Dale. editor. (orcid)0000-0003-0274-4954&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning Java A Test-Driven Approach ent://SD_ILS/0/SD_ILS:604840 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Crotts, Joshua. author. (orcid)0000-0002-7513-5618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66638-4">https://doi.org/10.1007/978-3-031-66638-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, M&uuml;nster, Germany, September 27 - October 1, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605084 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lemanski, Jens. editor. (orcid)0000-0003-3661-4752&#160;Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678&#160;Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021&#160;Viana, Petrucio. editor. (orcid)0000-0002-3517-6706&#160;Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71291-3">https://doi.org/10.1007/978-3-031-71291-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> C how to program : with case studies introducing applications programming and systems programming ent://SD_ILS/0/SD_ILS:524547 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Deitel, Paul, author.&#160;Deitel, Harvey, author<br/>Preferred Shelf Number&#160;QA76.73.C153 D45 2023<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Nesneye y&ouml;nelik programlama dilleri ile temiz kod ent://SD_ILS/0/SD_ILS:524826 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ardo&#287;an, M. Furkan.<br/>Preferred Shelf Number&#160;QA76.73.C154 A636 2023<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> MATLAB ile programlamaya giri&#351; : kavram-uygulama-&ouml;rnek problemler ent://SD_ILS/0/SD_ILS:510391 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Y&#305;ld&#305;z, Olcay Taner.<br/>Preferred Shelf Number&#160;TA345.5.M42 Y55 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Programc&#305;l&#305;k mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:510269 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;K&ouml;seo&#287;lu, Kerem.<br/>Preferred Shelf Number&#160;QA76.6 K67 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algoritmalara Giri&#351; ent://SD_ILS/0/SD_ILS:423106 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z 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/> Practical Java&reg; programming for IoT, AI, and Blockchain ent://SD_ILS/0/SD_ILS:595372 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Xiao, Perry, author.<br/>Preferred Shelf Number&#160;QA76.73 .J38 X536 2019 EB<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050</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 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z 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/> Python by example : learning to program in 150 challenges ent://SD_ILS/0/SD_ILS:506287 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lacey, Nichola, author.<br/>Preferred Shelf Number&#160;QA76.73 .P98 L33 2019<br/>Electronic Access&#160;<a href="https://doi.org/10.1017/9781108591942">https://doi.org/10.1017/9781108591942</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MATLAB : a practical introduction to programming and problem solving ent://SD_ILS/0/SD_ILS:422716 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Attaway, Stormy.<br/>Preferred Shelf Number&#160;QA297 A87 2019<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Uygulamalar ile QT ent://SD_ILS/0/SD_ILS:392518 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;&Ouml;zt&uuml;rk, Serhat Deniz<br/>Preferred Shelf Number&#160;QA76.9.U83 O379 2018<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613501 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Rivera, Francisco F. editor.&#160;Pena, Tom&aacute;s F. editor.&#160;Cabaleiro, Jos&eacute; C. 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-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613621 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Costantini, Stefania. editor.&#160;Franconi, Enrico. editor.&#160;Van Woensel, William. editor.&#160;Kontchakov, Roman. editor.&#160;Sadri, Fariba. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conversations Around Semiotic Engineering ent://SD_ILS/0/SD_ILS:615169 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Diniz Junqueira Barbosa, Simone. editor.&#160;Breitman, Karin. 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-56291-9">https://doi.org/10.1007/978-3-319-56291-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Big Data Technologies ent://SD_ILS/0/SD_ILS:615304 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Zomaya, Albert Y. editor.&#160;Sakr, Sherif. 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-49340-4">https://doi.org/10.1007/978-3-319-49340-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:616099 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Namazi-Rad, Mohammad-Reza. editor.&#160;Padgham, Lin. editor.&#160;Perez, Pascal. editor.&#160;Nagel, Kai. editor.&#160;Bazzan, Ana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611148 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Duan, Zhenhua. editor.&#160;Ong, Luke. 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-68690-5">https://doi.org/10.1007/978-3-319-68690-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611151 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Chang, Bor-Yuh Evan. 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-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612856 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613144 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. 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-68972-2">https://doi.org/10.1007/978-3-319-68972-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Competitive Programming Learning and Improving Algorithms Through Contests ent://SD_ILS/0/SD_ILS:613452 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Laaksonen, Antti. 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-72547-5">https://doi.org/10.1007/978-3-319-72547-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613733 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Di Napoli, Edoardo. editor.&#160;Hermanns, Marc-Andr&eacute;. editor.&#160;Iliev, Hristo. editor.&#160;Lintermann, Andreas. editor.&#160;Peyser, Alexander. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613742 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Mousavi, Mohammad Reza. editor.&#160;Sgall, Ji&#345;&iacute;. 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-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613747 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091&#160;Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X&#160;Ma, Hui. editor.&#160;Pastor, Oscar. editor. (orcid)0000-0002-1320-8471&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69904-2">https://doi.org/10.1007/978-3-319-69904-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610998 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;de Supinski, Bronis R. editor.&#160;Olivier, Stephen L. editor.&#160;Terboven, Christian. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65578-9">https://doi.org/10.1007/978-3-319-65578-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Snake Charming - The Musical Python ent://SD_ILS/0/SD_ILS:610758 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Gray, Iain. 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-60660-6">https://doi.org/10.1007/978-3-319-60660-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612292 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Yang, Hongseok. 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-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612296 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Cussens, James. editor.&#160;Russo, Alessandra. 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-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fluid Dynamics Theory, Computation, and Numerical Simulation ent://SD_ILS/0/SD_ILS:612367 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Pozrikidis, C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4899-7991-9">https://doi.org/10.1007/978-1-4899-7991-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613250 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. 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-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning with R ent://SD_ILS/0/SD_ILS:613255 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ghatak, Abhijit. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-6808-9">https://doi.org/10.1007/978-981-10-6808-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613269 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ouhammou, Yassine. editor.&#160;Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384&#160;Abell&oacute;, Alberto. editor.&#160;Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66854-3">https://doi.org/10.1007/978-3-319-66854-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612242 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kunkel, Julian M. editor.&#160;Yokota, Rio. editor.&#160;Taufer, Michela. editor.&#160;Shalf, John. 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-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LaTeX in 24 Hours A Practical Guide for Scientific Writing ent://SD_ILS/0/SD_ILS:614352 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Datta, Dilip. 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-47831-9">https://doi.org/10.1007/978-3-319-47831-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615981 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Gabmeyer, Sebastian. editor.&#160;Johnsen, Einar Broch. 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-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616000 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;ten Teije, Annette. editor.&#160;Popow, Christian. editor. (orcid)0000-0002-0496-1453&#160;Holmes, John H. editor.&#160;Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59758-4">https://doi.org/10.1007/978-3-319-59758-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616013 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;de Lara, Juan. editor.&#160;Plump, Detlef. 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-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616111 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Botterweck, Goetz. editor.&#160;Werner, Claudia. 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-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616117 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Anjorin, Anthony. editor.&#160;Espinoza, Hu&aacute;scar. 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-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616126 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lahiri, Shuvendu. editor.&#160;Reger, Giles. 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-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Bras&iacute;lia, Brazil, September 25-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616211 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Schmidt, Renate A. editor.&#160;Nalon, Cl&aacute;udia. 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-66902-1">https://doi.org/10.1007/978-3-319-66902-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616222 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Perner, Petra. 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-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616289 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Balduccini, Marcello. editor.&#160;Janhunen, Tomi. 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-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 11th International Conference, LATA 2017, Ume&aring;, Sweden, March 6-9, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616320 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Drewes, Frank. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. 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-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low Level X Window Programming An Introduction by Examples ent://SD_ILS/0/SD_ILS:617861 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Maloney, Ross J. 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-74250-2">https://doi.org/10.1007/978-3-319-74250-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614261 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Barrett, Clark. editor.&#160;Davies, Misty. editor.&#160;Kahsai, Temesghen. 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-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ding, Chen. editor.&#160;Criswell, John. editor.&#160;Wu, Peng. 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-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616041 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X&#160;Taha, Walid. 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-51676-9">https://doi.org/10.1007/978-3-319-51676-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616044 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X&#160;Filipe, Joaquim. 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-53354-4">https://doi.org/10.1007/978-3-319-53354-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch&acirc;tel, Switzerland, June 19-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616124 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Jacquet, Jean-Marie. editor.&#160;Massink, Mieke. 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-59746-1">https://doi.org/10.1007/978-3-319-59746-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616234 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X&#160;Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616270 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990&#160;Sirjani, Marjan. 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-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provably Correct Systems ent://SD_ILS/0/SD_ILS:616382 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Hinchey, Mike. editor.&#160;Bowen, Jonathan P. editor.&#160;Olderog, Ernst-R&uuml;diger. 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-48628-4">https://doi.org/10.1007/978-3-319-48628-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616750 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448&#160;Boucheneb, Hanifa. editor.&#160;Mili, Ali. editor.&#160;Tahar, Sofi&egrave;ne. 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-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Random-Like Bi-level Decision Making ent://SD_ILS/0/SD_ILS:610681 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Xu, Jiuping. author. (orcid)0000-0003-3756-3969&#160;Li, Zongmin. author.&#160;Tao, Zhimiao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-1768-1">https://doi.org/10.1007/978-981-10-1768-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Professional Python ent://SD_ILS/0/SD_ILS:374503 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Sneeringer, Luke.<br/>Preferred Shelf Number&#160;QA76.73.P98 S64 2016<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Yeni ba&#351;layanlar i&ccedil;in Python ent://SD_ILS/0/SD_ILS:516837 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Aksoy, Ahmet.<br/>Preferred Shelf Number&#160;QA76.73.P98 A37 2016<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programc&#305;l&#305;k mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:460785 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;K&ouml;seo&#287;lu, Kerem.<br/>Preferred Shelf Number&#160;QA76.6 K67 2016<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Sams teach yourself R in 24 hours ent://SD_ILS/0/SD_ILS:378321 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Nicholls, Andy, author.&#160;Pugh, Richard (Statistician), author.&#160;Gott, Aimee, author.<br/>Preferred Shelf Number&#160;QA76.73.R3 N43 2016<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Deploying secure containers for training and development ent://SD_ILS/0/SD_ILS:458666 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Schipp, Jon, author.&#160;Dalziel, Henry, editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128047170">http://www.sciencedirect.com/science/book/9780128047170</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intel Xeon Phi processor high performance programming ent://SD_ILS/0/SD_ILS:458906 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Jeffers, Jim (Computer engineer), author.&#160;Reinders, James, author.&#160;Sodani, Avinash, author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128091944">https://www.sciencedirect.com/science/book/9780128091944</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610845 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;De Nicola, Rocco. editor.&#160;K&uuml;hn, Eva. 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-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Data Mining ent://SD_ILS/0/SD_ILS:611185 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Bramer, Max. 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-7307-6">https://doi.org/10.1007/978-1-4471-7307-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings ent://SD_ILS/0/SD_ILS:611331 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Gavanelli, Marco. editor.&#160;Reppy, John. 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-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Rayadurgam, Sanjai. editor.&#160;Tkachuk, Oksana. 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-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings ent://SD_ILS/0/SD_ILS:611427 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Perner, Petra. 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-41561-1">https://doi.org/10.1007/978-3-319-41561-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611436 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Aichernig, Bernhard K. editor.&#160;Furia, Carlo A. 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-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611800 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Gorentla Venkata, Manjunath. editor.&#160;Imam, Neena. editor.&#160;Pophale, Swaroop. editor.&#160;Mintz, Tiffany M. 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-50995-2">https://doi.org/10.1007/978-3-319-50995-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610792 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Artho, Cyrille. editor.&#160;Legay, Axel. editor.&#160;Peled, Doron. 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-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:610897 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Serrano, Manuel. editor.&#160;Hage, Jurriaan. 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-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scala: From a Functional Programming Perspective An Introduction to the Programming Language ent://SD_ILS/0/SD_ILS:611120 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Torra, Vicen&ccedil;. 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-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611718 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lluch Lafuente, Alberto. editor.&#160;Proen&ccedil;a, Jos&eacute;. 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-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 20th Brazilian Symposium, SBLP 2016, Maring&aacute;, Brazil, September 22-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612614 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Castor, Fernando. editor.&#160;Liu, Yu David. 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-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Retrogame Archeology Exploring Old Computer Games ent://SD_ILS/0/SD_ILS:612929 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Aycock, 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-30004-7">https://doi.org/10.1007/978-3-319-30004-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612976 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Inoue, Katsumi. editor.&#160;Ohwada, Hayato. editor.&#160;Yamamoto, Akihiro. 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-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Control Flow Concurrent Programming Using &mu;C++ ent://SD_ILS/0/SD_ILS:612212 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Buhr, Peter A. 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-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612288 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Thiemann, Peter. 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-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 12th International Conference, FACS 2015, Niter&oacute;i, Brazil, October 14-16, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612298 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Braga, Christiano. editor.&#160;&Ouml;lveczky, Peter Csaba. 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-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612379 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Lawford, Mark. editor.&#160;Liu, Shaoying. 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-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:613086 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Nunes, Ingrid. editor.&#160;Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613096 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. 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-55669-7">https://doi.org/10.1007/978-3-319-55669-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Developers as Users Semiotic Investigations in Human-Centered Software Development ent://SD_ILS/0/SD_ILS:614418 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Sieckenius de Souza, Clarisse. author.&#160;Fontoura de Gusm&atilde;o Cerqueira, Renato. author.&#160;Marques Afonso, Luiz. author.&#160;Rossi de Mello Brand&atilde;o, Rafael. author.&#160;Soares Jansen Ferreira, Juliana. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42831-4">https://doi.org/10.1007/978-3-319-42831-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616329 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lucanu, Dorel. 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-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616886 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Falcone, Yli&egrave;s. editor.&#160;S&aacute;nchez, C&eacute;sar. 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-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617139 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Dutot, Pierre-Fran&ccedil;ois. editor.&#160;Trystram, Denis. 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-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Foundations for Mastering Change I ent://SD_ILS/0/SD_ILS:617815 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Steffen, Bernhard. 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-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Shen, Xipeng. editor.&#160;Mueller, Frank. editor.&#160;Tuck, James. 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-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:615967 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Sarro, Federica. editor.&#160;Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47106-8">https://doi.org/10.1007/978-3-319-47106-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616247 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Carretero, Jesus. editor.&#160;Garcia-Blas, Javier. editor.&#160;Ko, Ryan K.L. editor.&#160;Mueller, Peter. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49583-5">https://doi.org/10.1007/978-3-319-49583-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616647 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186&#160;King, Andy. 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-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to HPC with MPI for Data Science ent://SD_ILS/0/SD_ILS:617392 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Nielsen, Frank. 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-21903-5">https://doi.org/10.1007/978-3-319-21903-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616745 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;W&#261;sowski, Andrzej. editor.&#160;L&ouml;nn, Henrik. 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-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618449 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kapitsaki, Georgia M. editor.&#160;Santana de Almeida, Eduardo. 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-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to programming in Python : an interdisciplinary approach ent://SD_ILS/0/SD_ILS:378845 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Sedgewick, Robert, 1946-&#160;Wayne, Kevin Daniel, 1971-&#160;Dondero, Robert.<br/>Preferred Shelf Number&#160;QA76.73.P98 S43 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introduction to numerical programming : a practical guide for scientists and engineers using Python and C/C++ ent://SD_ILS/0/SD_ILS:371366 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Beu, Titus A., author.<br/>Preferred Shelf Number&#160;QC52 B48 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introduction to computing using Python ent://SD_ILS/0/SD_ILS:374497 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Perkovic, Ljubomir.<br/>Preferred Shelf Number&#160;QA76.73.P98 P47 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Effective Python : 59 specific ways to write better Python ent://SD_ILS/0/SD_ILS:378824 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Slatkin, Brett, author.<br/>Preferred Shelf Number&#160;QA76.73.P98 S57 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introduction to scientific programming and simulation using R ent://SD_ILS/0/SD_ILS:364831 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Jones, Owen (Owen Dafydd), author.&#160;Maillardet, Robert, author.&#160;Robinson, Andrew (Andrew P.), author.<br/>Preferred Shelf Number&#160;Q183.9 J65 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computing for biologists : python programming and principles ent://SD_ILS/0/SD_ILS:364021 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Libeskind-Hadas, Ran.&#160;Bush, Eliot.<br/>Preferred Shelf Number&#160;QH324.2 L53 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Bayesian programming ent://SD_ILS/0/SD_ILS:364384 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Bessiere, Pierre.<br/>Preferred Shelf Number&#160;QA76.6 B4764 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Sams teach yourself Java in 24 hours ent://SD_ILS/0/SD_ILS:364556 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Cadenhead, Rogers, author.<br/>Preferred Shelf Number&#160;QA76.73.J38 C335 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algoritmalar ent://SD_ILS/0/SD_ILS:310665 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Uzunk&ouml;pr&uuml;, S&uuml;leyman.<br/>Preferred Shelf Number&#160;QA76.9.D35 U98 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Beginning programming with Python&reg; for dummies&reg; ent://SD_ILS/0/SD_ILS:357567 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Mueller, John, 1958- author.<br/>Preferred Shelf Number&#160;QA76.73.P98 M839 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> 3D game textures : create professional game art using photoshop ent://SD_ILS/0/SD_ILS:539525 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ahearn, Luke., author.<br/>Preferred Shelf Number&#160;QA76.76 .C672 A34 2014<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315733449">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Migrating to Swift from Android ent://SD_ILS/0/SD_ILS:618689 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Liao, Sean. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0436-8">https://doi.org/10.1007/978-1-4842-0436-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Haskell A Project-Based Approach ent://SD_ILS/0/SD_ILS:618694 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Serrano Mena, Alejandro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6251-0">https://doi.org/10.1007/978-1-4302-6251-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Coder's Path to Wealth and Independence ent://SD_ILS/0/SD_ILS:618702 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Beckner, Mark. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0421-4">https://doi.org/10.1007/978-1-4842-0421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Xcode: Swift Edition ent://SD_ILS/0/SD_ILS:618664 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Knott, Matthew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0538-9">https://doi.org/10.1007/978-1-4842-0538-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Android Application Development for the Intel Platform ent://SD_ILS/0/SD_ILS:618667 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Cohen, Ryan. author.&#160;Wang, Tao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0100-8">https://doi.org/10.1007/978-1-4842-0100-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Java 8 Games Development ent://SD_ILS/0/SD_ILS:618583 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Jackson, Wallace. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0415-3">https://doi.org/10.1007/978-1-4842-0415-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transitioning to Swift ent://SD_ILS/0/SD_ILS:618658 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Gardner, Scott. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0406-1">https://doi.org/10.1007/978-1-4842-0406-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Methods using MATLAB ent://SD_ILS/0/SD_ILS:618661 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Gupta, Abhishek. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0154-1">https://doi.org/10.1007/978-1-4842-0154-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning iPhone Development with Swift Exploring the iOS SDK ent://SD_ILS/0/SD_ILS:618546 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Topley, Kim. author.&#160;Olsson, Fredrik. author.&#160;Nutting, Jack. author.&#160;Mark, David. author.&#160;LaMarche, Jeff. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0409-2">https://doi.org/10.1007/978-1-4842-0409-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions ent://SD_ILS/0/SD_ILS:618550 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Desjardins, Patrick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6823-9">https://doi.org/10.1007/978-1-4302-6823-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Android Apps for Absolute Beginners ent://SD_ILS/0/SD_ILS:618552 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Jackson, Wallace. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0019-3">https://doi.org/10.1007/978-1-4842-0019-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning COBOL for Programmers ent://SD_ILS/0/SD_ILS:618562 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Coughlan, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HL7 for BizTalk ent://SD_ILS/0/SD_ILS:618566 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Edidin, Howard. author.&#160;Bhardwaj, Vikas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6763-8">https://doi.org/10.1007/978-1-4302-6763-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Oracle Database Transactions and Locking Revealed ent://SD_ILS/0/SD_ILS:618600 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kyte, Thomas. author.&#160;Kuhn, Darl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0760-4">https://doi.org/10.1007/978-1-4842-0760-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MATLAB : a practical introduction to programming and problem solving ent://SD_ILS/0/SD_ILS:354351 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Attaway, Stormy.<br/>Preferred Shelf Number&#160;QA297 A87 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Structured computer organization ent://SD_ILS/0/SD_ILS:359284 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Tanenbaum, Andrew S., 1944-&#160;Austin, Todd.<br/>Preferred Shelf Number&#160;QA76.6 T38 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> MATLAB a practical introduction to programming and problem solving ent://SD_ILS/0/SD_ILS:306570 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Attaway, Stormy.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124058767">http://www.sciencedirect.com/science/book/9780124058767</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 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Rajlich, Vaclav.<br/>Preferred Shelf Number&#160;QA76.758 R36 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Head first C ent://SD_ILS/0/SD_ILS:312270 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Griffiths, David, 1969-&#160;Griffiths, Dawn.<br/>Preferred Shelf Number&#160;QA76.73.C15 G76 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Combinatorial scientific computing ent://SD_ILS/0/SD_ILS:541122 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Naumann, Uwe, 1969-&#160;Schenk, Olaf, 1967-<br/>Preferred Shelf Number&#160;QA76.6 .C6275 2012<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439827369">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> MATLAB : a practical introduction to programming and problem solving ent://SD_ILS/0/SD_ILS:270195 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Attaway, Stormy.<br/>Preferred Shelf Number&#160;QA297 A87 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> MATLAB a practical introduction to programming and problem solving ent://SD_ILS/0/SD_ILS:147059 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Attaway, Stormy.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123850812">http://www.sciencedirect.com/science/book/9780123850812</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:540718 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Antonakos, James L.<br/>Preferred Shelf Number&#160;QA76.6 .C66 2011<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466562592">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Programlama sanat&#305; algoritmalar ent://SD_ILS/0/SD_ILS:460784 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;&Ccedil;&ouml;lkesen, R&#305;fat.<br/>Preferred Shelf Number&#160;QA76.6 C65 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programlama ve veri yap&#305;lar&#305;na giri&#351; : Java, C, C++ dilleri ile ent://SD_ILS/0/SD_ILS:388939 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;&#350;eker, &#350;adi Evren.<br/>Preferred Shelf Number&#160;QA76.6 S45 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Semantic Web programming ent://SD_ILS/0/SD_ILS:133067 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Hebeler, John.<br/>Preferred Shelf Number&#160;TK5105.888 S46 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Perl scripting for Windows security live response, forensic analysis, and monitoring ent://SD_ILS/0/SD_ILS:148238 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Carvey, Harlan A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597491730">http://www.sciencedirect.com/science/book/9781597491730</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perl Scripting for It Security ent://SD_ILS/0/SD_ILS:112190 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;ScienceDirect (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597491730">An electronic book accessible through the World Wide Web; click for information</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LabView advanced programming techniques ent://SD_ILS/0/SD_ILS:542505 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Bitter, Rick., author.&#160;Mohiuddin, Taqi.&#160;Nawrocki, Matt.<br/>Preferred Shelf Number&#160;QA76.6 .B5735 2007<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420004915">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Programc&#305;l&#305;k mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:106469 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;K&ouml;seo&#287;lu, Kerem.<br/>Preferred Shelf Number&#160;QA 76.6 K67 2006<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algoritmay&#305; anlamak ent://SD_ILS/0/SD_ILS:106499 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Eker, Mustafa.<br/>Preferred Shelf Number&#160;QA76.9.A43 E44 2005<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Software design for engineers and scientists ent://SD_ILS/0/SD_ILS:254657 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z 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/> Pragmatic unit testing in Java with JUnit ent://SD_ILS/0/SD_ILS:101969 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Hunt, Andrew.&#160;Thomas, David.<br/>Preferred Shelf Number&#160;QA76.6 .H8575 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> Programc&#305;l&#305;k mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:98913 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;K&ouml;seo&#287;lu, Kerem, 1978-<br/>Preferred Shelf Number&#160;QA 76.6 K67 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Bilgisayar programlamada veri yap&#305;lar&#305; ve algoritma temelleri ent://SD_ILS/0/SD_ILS:88672 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kurnaz, Sefer.<br/>Preferred Shelf Number&#160;QA76.9.D35 K9687 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Test-driven development : by example ent://SD_ILS/0/SD_ILS:105977 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z 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/> Problem solving and programming concepts ent://SD_ILS/0/SD_ILS:97854 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Sprankle, Maureen.<br/>Preferred Shelf Number&#160;QA 76.6 S684 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programming challenges : the programming contest training manual ent://SD_ILS/0/SD_ILS:112699 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Skiena, Steven S.&#160;Revilla, Miguel A.<br/>Preferred Shelf Number&#160;QA76.6 .S598 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Tcl/tk a developer's guide ent://SD_ILS/0/SD_ILS:253631 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Flynt, Clif.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558608023">http://www.sciencedirect.com/science/book/9781558608023</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Texturing &amp; modeling a procedural approach ent://SD_ILS/0/SD_ILS:253915 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ebert, David S., 1964-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558608481">http://www.sciencedirect.com/science/book/9781558608481</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bilgisayar programlama ve yaz&#305;l&#305;m m&uuml;hendisli&#287;inde veri yap&#305;lar&#305; ve algoritmalar ent://SD_ILS/0/SD_ILS:124619 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;&Ccedil;&ouml;lkesen, Rifat.<br/>Preferred Shelf Number&#160;QA76.9.D35 C64 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A practical guide to boundary element methods with the software library BEMLIB ent://SD_ILS/0/SD_ILS:546999 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Pozrikidis, C., author.<br/>Preferred Shelf Number&#160;TA347 .B69 P69 2002<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420035254">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Building robots with Lego Mindstorms the ultimate tool for Mindstorms maniacs! ent://SD_ILS/0/SD_ILS:253981 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Ferrari, Mario.&#160;Ferrari, Giulio.&#160;Hempel, Ralph.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781928994671">http://www.sciencedirect.com/science/book/9781928994671</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LabVIEW : programming, data acquisition and analysis ent://SD_ILS/0/SD_ILS:91015 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Beyon, Jeffrey Y.<br/>Preferred Shelf Number&#160;QA 76.6 B486 2001<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> LabVIEW advanced programming techniques ent://SD_ILS/0/SD_ILS:541928 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Bitter, Rick., author.&#160;Mohiuddin, Taqi.&#160;Nawrocki, Matt.<br/>Preferred Shelf Number&#160;QA76.6 .B5735 2001<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420039351">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Your wish is my command programming by example ent://SD_ILS/0/SD_ILS:253691 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Lieberman, Henry, 1952-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558606883">http://www.sciencedirect.com/science/book/9781558606883</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GTK+/GNOME programlama ent://SD_ILS/0/SD_ILS:106456 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z 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/> Programming pearls ent://SD_ILS/0/SD_ILS:112811 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Bentley, Jon Louis.<br/>Preferred Shelf Number&#160;QA76.6 .B46 2000<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The pragmatic programmer : from journeyman to master ent://SD_ILS/0/SD_ILS:112816 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Hunt, Andrew, 1964-&#160;Thomas, David, 1956-<br/>Preferred Shelf Number&#160;QA76.6 .H857 2000<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The practice of programming ent://SD_ILS/0/SD_ILS:112818 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kernighan, Brian W.&#160;Pike, Rob.<br/>Preferred Shelf Number&#160;QA76.6 K48 1999<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introduction to scientific programming : Computational problem solving using Mathematica and C ent://SD_ILS/0/SD_ILS:75225 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Zachary, Joseph L.<br/>Preferred Shelf Number&#160;QA 76.6 Z324 1998<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programming with POSIX threads ent://SD_ILS/0/SD_ILS:268314 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z 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/> Design of library automation systems : file structures, data structures, and tools ent://SD_ILS/0/SD_ILS:101838 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Cooper, Michael D.<br/>Preferred Shelf Number&#160;Z 678.9 C626 1996<br/>Electronic Access&#160;Contributor biographical information <a href="http://www.loc.gov/catdir/bios/wiley042/95045827.html">http://www.loc.gov/catdir/bios/wiley042/95045827.html</a> Publisher description <a href="http://www.loc.gov/catdir/description/wiley033/95045827.html">http://www.loc.gov/catdir/description/wiley033/95045827.html</a> Table of Contents <a href="http://www.loc.gov/catdir/toc/onix04/95045827.html">http://www.loc.gov/catdir/toc/onix04/95045827.html</a><br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy ent://SD_ILS/0/SD_ILS:257886 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z 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/> An introduction to programming with specifications a mathematical approach ent://SD_ILS/0/SD_ILS:257756 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Kubiak, Ryszard.&#160;Rudzi&#324;ski, Roman.&#160;Soko&#322;owski, S. (Stefan)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer programming and formal systems ent://SD_ILS/0/SD_ILS:257223 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Braffort, P. (Paul), editor.&#160;Hirschberg, D. (David), editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534002">http://www.sciencedirect.com/science/book/9780444534002</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer programming and formal systems ent://SD_ILS/0/SD_ILS:257351 2026-05-14T22:53:02Z 2026-05-14T22:53:02Z Author&#160;Braffort, P. (Paul)&#160;Hirschberg, D. (David)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533913">http://www.sciencedirect.com/science/book/9780444533913</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>