Search Results for Compilers (Computer programs). - Narrowed by: Computer programming. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCompilers$002b$002528Computer$002bprograms$002529.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605775 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606267 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Mery, Dominique. editor. (orcid)0000-0001-5231-6611&#160;Sun, Meng. editor.&#160;Liu, Shaoying. editor. (orcid)0000-0002-6748-5052&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0617-7">https://doi.org/10.1007/978-981-96-0617-7</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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Learn coding with Python and JavaScript A practical introduction for beginners ent://SD_ILS/0/SD_ILS:604231 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616126 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:610851 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Gibson-Robinson, Thomas. editor.&#160;Hopcroft, Philippa. editor.&#160;Lazi&#263;, Ranko. 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-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:610911 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. 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-63390-9">https://doi.org/10.1007/978-3-319-63390-9</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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Machine Learning with R ent://SD_ILS/0/SD_ILS:613255 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity ent://SD_ILS/0/SD_ILS:616321 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Zeume, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</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-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:617841 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-56841-6">https://doi.org/10.1007/978-3-319-56841-6</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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616267 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Mart&iacute;nez de Pis&oacute;n, Francisco Javier. editor.&#160;Urraca, Rub&eacute;n. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.&#160;Corchado, Emilio. 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-59650-1">https://doi.org/10.1007/978-3-319-59650-1</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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:610933 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Lindley, Sam. editor.&#160;McBride, Conor. editor.&#160;Trinder, Phil. editor.&#160;Sannella, Don. editor. (orcid)0000-0003-4520-8924&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Understanding Control Flow Concurrent Programming Using &mu;C++ ent://SD_ILS/0/SD_ILS:612212 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611423 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612581 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Blazy, Sandrine. editor.&#160;Chechik, Marsha. 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-48869-1">https://doi.org/10.1007/978-3-319-48869-1</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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616647 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616579 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Gurfinkel, Arie. editor.&#160;Seshia, Sanjit 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-29613-5">https://doi.org/10.1007/978-3-319-29613-5</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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Transactions on Foundations for Mastering Change I ent://SD_ILS/0/SD_ILS:617815 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> An Introduction to Python and Computer Programming ent://SD_ILS/0/SD_ILS:530614 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z Author&#160;Zhang, Yue. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-287-609-6">https://doi.org/10.1007/978-981-287-609-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HL7 for BizTalk ent://SD_ILS/0/SD_ILS:618566 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/> Beginning Java 8 Games Development ent://SD_ILS/0/SD_ILS:618583 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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 Haskell A Project-Based Approach ent://SD_ILS/0/SD_ILS:618694 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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-03-14T07:05:28Z 2026-03-14T07:05:28Z 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 COBOL for Programmers ent://SD_ILS/0/SD_ILS:618562 2026-03-14T07:05:28Z 2026-03-14T07:05:28Z 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/>