Search Results for Programming Language. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguage.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-13T20:55:46Z Guide to Assembly Language Programming in Linux ent://SD_ILS/0/SD_ILS:165240 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Dandamudi, Sivarama P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136895">http://dx.doi.org/10.1007/b136895</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX ent://SD_ILS/0/SD_ILS:618669 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Kusswurm, Daniel. 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-0064-3">https://doi.org/10.1007/978-1-4842-0064-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Performance Analysis Using the J Programming Language ent://SD_ILS/0/SD_ILS:175583 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Holt, Alan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-823-4">http://dx.doi.org/10.1007/978-1-84628-823-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Assembly Language Programming For Pentium and RISC Processors ent://SD_ILS/0/SD_ILS:165340 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Dandamudi, Sivarama P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138691">http://dx.doi.org/10.1007/b138691</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605121 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Platzer, Andre. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607116 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Software Supply Chains Theory and Practice ent://SD_ILS/0/SD_ILS:607427 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Wang, Ying. author.&#160;Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172&#160;Yu, Hai. author. (orcid)0000-0002-8024-1781&#160;Zhu, Zhiliang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1797-5">https://doi.org/10.1007/978-981-96-1797-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction Fundamentals and Applications ent://SD_ILS/0/SD_ILS:608277 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;M&ouml;ssenb&ouml;ck, Hanspeter. author. (orcid)0000-0001-7706-7308&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605095 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Platzer, Andr&eacute;. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Modelling and Programming ent://SD_ILS/0/SD_ILS:606763 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Prinz, Andreas. author. (orcid)0000-0002-0646-2877&#160;M&oslash;ller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260&#160;Fischer, Joachim. author. (orcid)0000-0003-2476-3996&#160;Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607214 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday ent://SD_ILS/0/SD_ILS:609119 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Barik, Rajkishore. editor.&#160;Gupta, Rajiv. editor.&#160;Palsberg, Jens. editor. (orcid)0000-0003-4747-365X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structures of Computing A Guide to Practice-Oriented Theory ent://SD_ILS/0/SD_ILS:602773 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;B&ouml;rger, Egon. author.&#160;Gervasi, Vincenzo. 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-54358-6">https://doi.org/10.1007/978-3-031-54358-6</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement ent://SD_ILS/0/SD_ILS:604956 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Foster, Simon. editor. (orcid)0000-0002-9889-9514&#160;Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modern C Programming Including Standards C99, C11, C17, C23 ent://SD_ILS/0/SD_ILS:601999 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Gazi, Orhan. author. (orcid)0000-0001-5328-7955&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45361-8">https://doi.org/10.1007/978-3-031-45361-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove ent://SD_ILS/0/SD_ILS:602163 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Moraz&aacute;n, Marco 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-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602249 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Yavorskiy, Rostislav. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Kalenkova, Anna. 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-50423-5">https://doi.org/10.1007/978-3-031-50423-5</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Infrared Small Target Detection Theory, Methods, and Algorithms. ent://SD_ILS/0/SD_ILS:603099 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Zhu, Hu. author.&#160;Pan, Yushan. author. (orcid)0000-0002-6877-3937&#160;Deng, Lizhen. author.&#160;Xu, Guoxia. 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-9799-2">https://doi.org/10.1007/978-981-99-9799-2</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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 C# Through Small Projects ent://SD_ILS/0/SD_ILS:603879 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Panjuta, Denis. author. (orcid)0009-0001-4855-9300&#160;Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51914-7">https://doi.org/10.1007/978-3-031-51914-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX ent://SD_ILS/0/SD_ILS:604159 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Diehl, Patrick. author.&#160;Brandt, Steven R. author.&#160;Kaiser, Hartmut. 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-54369-2">https://doi.org/10.1007/978-3-031-54369-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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Beginning software engineering ent://SD_ILS/0/SD_ILS:599078 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Stephens, Rod, author.<br/>Preferred Shelf Number&#160;QA76.758 .S74 2023<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ent://SD_ILS/0/SD_ILS:528987 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Lee, Roger. 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-19604-1">https://doi.org/10.1007/978-3-031-19604-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming in HTML and PHP Coding for Scientists and Engineers ent://SD_ILS/0/SD_ILS:611023 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Brooks, David R. 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-56973-4">https://doi.org/10.1007/978-3-319-56973-4</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Present and Ulterior Software Engineering ent://SD_ILS/0/SD_ILS:610759 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Mazzara, Manuel. editor.&#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-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unraveling Software Maintenance and Evolution Thinking Outside the Box ent://SD_ILS/0/SD_ILS:613157 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Varga, Ervin. 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-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Computation ent://SD_ILS/0/SD_ILS:616061 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Bruni, Roberto. author.&#160;Montanari, Ugo. 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-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures ent://SD_ILS/0/SD_ILS:616372 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Cunha, J&aacute;come. editor.&#160;Fernandes, Jo&atilde;o P. editor.&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Zaytsev, Vadim. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60074-1">https://doi.org/10.1007/978-3-319-60074-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude ent://SD_ILS/0/SD_ILS:617461 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;&Ouml;lveczky, Peter Csaba. 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-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Scientific Computing in C++ ent://SD_ILS/0/SD_ILS:617561 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Pitt-Francis, Joe. author.&#160;Whiteley, Jonathan. 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-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Distributed Simulation with HLA ent://SD_ILS/0/SD_ILS:611689 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Top&ccedil;u, Okan. author.&#160;O&#287;uzt&uuml;z&uuml;n, Halit. 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-61267-6">https://doi.org/10.1007/978-3-319-61267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Programming with Python ent://SD_ILS/0/SD_ILS:612535 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Padmanabhan, T R. 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-3277-6">https://doi.org/10.1007/978-981-10-3277-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Design for Resilient Computer Systems ent://SD_ILS/0/SD_ILS:617729 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Schagaev, Igor. author.&#160;Thomas, Kaegi. 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-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Java 8 Recipes ent://SD_ILS/0/SD_ILS:618572 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Dea, Carl. author.&#160;Beaty, Mark. author.&#160;Guime, Freddy. author.&#160;OConner, John. author.&#160;Juneau, Josh. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6826-0">https://doi.org/10.1007/978-1-4302-6826-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Python Quick Syntax Reference ent://SD_ILS/0/SD_ILS:618576 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Walters, Gregory. 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-6479-8">https://doi.org/10.1007/978-1-4302-6479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Topics in Java Core Concepts in Data Structures ent://SD_ILS/0/SD_ILS:618578 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Kalicharan, Noel. 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-6620-4">https://doi.org/10.1007/978-1-4302-6620-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building JavaScript Games for Phones, Tablets, and Desktop ent://SD_ILS/0/SD_ILS:618579 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Egges, Arjan. 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-6539-9">https://doi.org/10.1007/978-1-4302-6539-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundation ActionScript 3 ent://SD_ILS/0/SD_ILS:618630 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Milbourne, Paul. author.&#160;Richardson, Darren. 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-0583-9">https://doi.org/10.1007/978-1-4842-0583-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Windows PowerShell Desired State Configuration Revealed ent://SD_ILS/0/SD_ILS:618637 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Chaganti, Ravikanth. 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-0016-2">https://doi.org/10.1007/978-1-4842-0016-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning C++ ent://SD_ILS/0/SD_ILS:618641 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Horton, Ivor. 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-0007-0">https://doi.org/10.1007/978-1-4842-0007-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Java 8 APIs, Extensions and Libraries Swing, JavaFX, JavaScript, JDBC and Network Programming APIs ent://SD_ILS/0/SD_ILS:618643 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Sharan, Kishori. 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-6662-4">https://doi.org/10.1007/978-1-4302-6662-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions ent://SD_ILS/0/SD_ILS:618678 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Sharan, Kishori. 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-6653-2">https://doi.org/10.1007/978-1-4302-6653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Unity Game Development with C# ent://SD_ILS/0/SD_ILS:618681 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Thorn, Alan. 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-6745-4">https://doi.org/10.1007/978-1-4302-6745-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dart for Absolute Beginners ent://SD_ILS/0/SD_ILS:618687 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Kopec, David. 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-6482-8">https://doi.org/10.1007/978-1-4302-6482-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learn C++ for Game Development ent://SD_ILS/0/SD_ILS:618691 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Sutherland, Bruce. 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-6458-3">https://doi.org/10.1007/978-1-4302-6458-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> R Recipes A Problem-Solution Approach ent://SD_ILS/0/SD_ILS:618693 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Pace, Larry. 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-0130-5">https://doi.org/10.1007/978-1-4842-0130-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Python Algorithms Mastering Basic Algorithms in the Python Language ent://SD_ILS/0/SD_ILS:618698 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Hetland, Magnus Lie. 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-0055-1">https://doi.org/10.1007/978-1-4842-0055-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams ent://SD_ILS/0/SD_ILS:618705 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Sharan, Kishori. 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-6659-4">https://doi.org/10.1007/978-1-4302-6659-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SAP ABAP Hands-On Test Projects with Business Scenarios ent://SD_ILS/0/SD_ILS:618511 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Markandeya, Sushil. author.&#160;Roy, Kaushik. 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-4804-0">https://doi.org/10.1007/978-1-4302-4804-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learn Java for Web Development Modern Java Web Development ent://SD_ILS/0/SD_ILS:618517 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Layka, Vishal. 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-5984-8">https://doi.org/10.1007/978-1-4302-5984-8</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-03-13T20:55:46Z 2026-03-13T20:55:46Z 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/> Computers, Software Engineering, and Digital Devices ent://SD_ILS/0/SD_ILS:542493 2026-03-13T20:55:46Z 2026-03-13T20:55:46Z Author&#160;Dorf, Richard C., author.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;TK7885<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>