Search Results for - Narrowed by: English - Electronic Library - Computer programming. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ic$003dtrue$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300? 2024-08-26T10:40:31Z Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482746 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483131 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Leone, Nicola. editor.&#160;Manna, Marco. editor. (orcid)0000-0003-3323-9328&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483547 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Webservices Theory and Practice ent://SD_ILS/0/SD_ILS:483812 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Mohanty, Hrushikesha. editor.&#160;Pattnaik, Prasant Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3224-1">https://doi.org/10.1007/978-981-13-3224-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science ent://SD_ILS/0/SD_ILS:484149 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Geshi, Masaaki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-9802-5">https://doi.org/10.1007/978-981-13-9802-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484898 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Piattini, Mario. editor. (orcid)0000-0002-7212-8279&#160;Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248&#160;Garc&iacute;a Rodr&iacute;guez de Guzm&aacute;n, Ignacio. editor. (orcid)0000-0002-0038-0942&#160;P&eacute;rez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29238-6">https://doi.org/10.1007/978-3-030-29238-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Learning with R ent://SD_ILS/0/SD_ILS:486235 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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-13-5850-0">https://doi.org/10.1007/978-981-13-5850-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essentials of Cloud Computing A Holistic Perspective ent://SD_ILS/0/SD_ILS:486548 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Surianarayanan, Chellammal. author.&#160;Chelliah, Pethuru Raj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13134-0">https://doi.org/10.1007/978-3-030-13134-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Thriving Systems Marrying Technical Rationality and Appreciative Systems ent://SD_ILS/0/SD_ILS:482892 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Waguespack, Leslie 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-030-03925-7">https://doi.org/10.1007/978-3-030-03925-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings ent://SD_ILS/0/SD_ILS:482917 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Fitzgerald, Brian. editor.&#160;Mockus, Audris. editor.&#160;Zhou, Minghui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7099-1">https://doi.org/10.1007/978-981-13-7099-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2&ndash;5, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483248 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6&ndash;10, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483789 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Porkol&aacute;b, Zolt&aacute;n. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 &ndash; September 1, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483767 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Nejati, Shiva. editor.&#160;Gay, Gregory. editor. (orcid)0000-0001-6794-9585&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485789 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Silva, Josep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486285 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Zincir-Heywood, Nur. editor.&#160;Bonfante, Guillaume. editor.&#160;Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes ent://SD_ILS/0/SD_ILS:486074 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Geshi, Masaaki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-6194-4">https://doi.org/10.1007/978-981-13-6194-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483905 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736&#160;Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709&#160;Sherratt, Edel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project ent://SD_ILS/0/SD_ILS:484503 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Sato, Mitsuhisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1924-2">https://doi.org/10.1007/978-981-13-1924-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Object-Oriented Programming An Accessible Approach Using Java ent://SD_ILS/0/SD_ILS:485529 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Sage, Kingsley. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13304-7">https://doi.org/10.1007/978-3-030-13304-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science &ndash; VECPAR 2018 13th International Conference, S&atilde;o Pedro, Brazil, September 17-19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485258 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Senger, Hermes. editor. (orcid)0000-0003-1273-9809&#160;Marques, Osni. editor.&#160;Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X&#160;Pinheiro de Brito, Tatiana. editor.&#160;Iope, Rog&eacute;rio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15996-2">https://doi.org/10.1007/978-3-030-15996-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485271 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Van Horn, David. editor.&#160;Hughes, John. editor. (orcid)0000-0001-8042-0969&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Python by example : learning to program in 150 challenges ent://SD_ILS/0/SD_ILS:506287 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Deep Reinforcement Learning Frontiers of Artificial Intelligence ent://SD_ILS/0/SD_ILS:486568 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Sewak, Mohit. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-8285-7">https://doi.org/10.1007/978-981-13-8285-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485590 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Guerra, Esther. editor. (orcid)0000-0002-2818-2278&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609&#160;Soeken, Mathias. editor. (orcid)0000-0002-0229-8766&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23&ndash;24, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486699 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36592-9">https://doi.org/10.1007/978-3-030-36592-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486718 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Malizia, Alessio. editor.&#160;Valtolina, Stefano. editor.&#160;Morch, Anders. editor.&#160;Serrano, Alan. editor.&#160;Stratton, Andrew. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11&ndash;13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485284 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Pa&#322;ka, Micha&#322;. editor.&#160;Myreen, Magnus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18506-0">https://doi.org/10.1007/978-3-030-18506-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning C# by Programming Games ent://SD_ILS/0/SD_ILS:486170 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;van Toll, Wouter. author.&#160;Egges, Arjan. author.&#160;Fokker, Jeroen D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59252-6">https://doi.org/10.1007/978-3-662-59252-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486615 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Peng, Xin. editor.&#160;Ampatzoglou, Apostolos. editor.&#160;Bhowmik, Tanmay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered ent://SD_ILS/0/SD_ILS:399331 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Aiello, Marco. 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-90008-7">https://doi.org/10.1007/978-3-319-90008-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Macei&oacute;, Brazil, March 20&ndash;24, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400523 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822&#160;Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280&#160;Lima, Fernanda. editor. (orcid)0000-0001-6300-818X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97934-2">https://doi.org/10.1007/978-3-319-97934-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400735 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Ab&aacute;solo, Mar&iacute;a Jos&eacute;. editor. (orcid)0000-0003-4441-3264&#160;Abreu, Jorge. editor.&#160;Almeida, Pedro. editor.&#160;Silva, Telmo. editor. (orcid)0000-0001-9383-7659&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90170-1">https://doi.org/10.1007/978-3-319-90170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to computational models with Python ent://SD_ILS/0/SD_ILS:380141 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Garrido, Jos&eacute; M., author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781498712040">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deploying secure containers for training and development ent://SD_ILS/0/SD_ILS:458666 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words ent://SD_ILS/0/SD_ILS:342165 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Rigo, Michel.<br/>Preferred Shelf Number&#160;ONLINE(342165.1)<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9781119008200">http://dx.doi.org/10.1002/9781119008200</a> John Wiley <a href="http://dx.doi.org/10.1002/9781119042853">http://dx.doi.org/10.1002/9781119042853</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Processing : a programming handbook for visual designers and artists ent://SD_ILS/0/SD_ILS:364987 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Reas, Casey, author.&#160;Fry, Ben.&#160;IEEE Xplore (Online Service), distributor.&#160;MIT Press, publisher.<br/>Preferred Shelf Number&#160;ONLINE(364987.1)<br/>Electronic Access&#160;Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Operational Semantics A Concise Overview ent://SD_ILS/0/SD_ILS:484561 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Fern&aacute;ndez, Maribel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485446 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Flatt, Matthew. editor.&#160;Guo, Hai-Feng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485624 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Seidl, Martina. editor.&#160;Tillmann, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485644 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Le Goues, Claire. editor.&#160;Yoo, Shin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485725 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Merz, Stephan. editor.&#160;Pang, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485783 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Escobar, Santiago. editor. (orcid)0000-0002-3550-4781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB &amp; DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487540 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Fischbach, Kai. editor.&#160;Krieger, Udo R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings ent://SD_ILS/0/SD_ILS:487545 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Schaefer, Ina. editor.&#160;Stamelos, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Computations with GPUs ent://SD_ILS/0/SD_ILS:487579 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Kindratenko, Volodymyr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginner's Guide to Scala, Object Orientation and Functional Programming ent://SD_ILS/0/SD_ILS:487859 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Hunt, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Analysis of Algorithms ent://SD_ILS/0/SD_ILS:487903 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Vrajitoru, Dana. author.&#160;Knight, William. 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-09888-3">https://doi.org/10.1007/978-3-319-09888-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emotion Modeling Towards Pragmatic Computational Models of Affective Processes ent://SD_ILS/0/SD_ILS:489042 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Bosse, Tibor. editor.&#160;Broekens, Joost. editor.&#160;Dias, Jo&atilde;o. editor. (orcid)0000-0002-1653-1821&#160;van der Zwaan, Janneke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12973-0">https://doi.org/10.1007/978-3-319-12973-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489266 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887&#160;Dix, J&uuml;rgen. editor.&#160;van Riemsdijk, M. Birna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14484-9">https://doi.org/10.1007/978-3-319-14484-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Java A Concise Introduction to Programming ent://SD_ILS/0/SD_ILS:484364 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Streib, James T. author.&#160;Soma, Takako. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6317-6">https://doi.org/10.1007/978-1-4471-6317-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Quality ent://SD_ILS/0/SD_ILS:487425 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;O&rsquo;Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487483 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Chatterjee, Mainak. editor.&#160;Cao, Jian-nong. editor.&#160;Kothapalli, Kishore. editor.&#160;Rajsbaum, Sergio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45249-9">https://doi.org/10.1007/978-3-642-45249-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488926 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Cassez, Franck. editor.&#160;Raskin, Jean-Francois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488931 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Zaverucha, Gerson. editor.&#160;Santos Costa, V&iacute;tor. editor.&#160;Paes, Aline. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development XI ent://SD_ILS/0/SD_ILS:489082 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Chiba, Shigeru. editor.&#160;Tanter, &Eacute;ric. editor.&#160;Bodden, Eric. editor.&#160;Maoz, Shahar. editor.&#160;Kienzle, J&ouml;rg. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Codish, Michael. editor.&#160;Sumii, Eijiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489137 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Jones, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489434 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485492 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489579 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Gupta, Gopal. editor.&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489634 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;McCarthy, Jay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models@run.time Foundations, Applications, and Roadmaps ent://SD_ILS/0/SD_ILS:485584 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Bencomo, Nelly. editor.&#160;France, Robert B. editor.&#160;Cheng, Betty H.C. editor.&#160;A&szlig;mann, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08915-7">https://doi.org/10.1007/978-3-319-08915-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485592 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Cariani, Fabrizio. editor.&#160;Grossi, Davide. editor.&#160;Meheus, Joke. editor.&#160;Parent, Xavier. 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-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485593 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Rocha, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08909-6">https://doi.org/10.1007/978-3-319-08909-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> JRuby Rails Web Application Development ent://SD_ILS/0/SD_ILS:486952 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Vohra, Deepak. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-03934-3">https://doi.org/10.1007/978-3-319-03934-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:489416 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Agha, Gul. editor.&#160;Igarashi, Atsushi. editor.&#160;Kobayashi, Naoki. editor.&#160;Masuhara, Hidehiko. editor.&#160;Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485667 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486854 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Liu, Zhiming. editor.&#160;Xue, Jinyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488976 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Quintao Pereira, Fernando Magno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MATLAB a practical introduction to programming and problem solving ent://SD_ILS/0/SD_ILS:306570 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Generating language-based environments ent://SD_ILS/0/SD_ILS:220159 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Reps, Thomas W. (Thomas William)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial scientific computing ent://SD_ILS/0/SD_ILS:288048 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Naumann, Uwe, 1969-&#160;Schenk, Olaf, 1967-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439827369">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Raspberry Pi user guide ent://SD_ILS/0/SD_ILS:424346 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Upton, Eben.&#160;Halfacree, Gareth.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1002/9781119415572">Wiley Online Library</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network-aware Source Coding and Communication ent://SD_ILS/0/SD_ILS:236374 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Sarshar, Nima.&#160;Wu, Xiaolin.&#160;Wang, Jia.&#160;Dumitrescu, Sorina.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9781139034357">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer technology and computer programming new research and strategies ent://SD_ILS/0/SD_ILS:287240 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Antonakos, James L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466562592">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming a beginner's guide ent://SD_ILS/0/SD_ILS:293321 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Mansfield, Richard, 1945-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/programming-beginners-guide">Subscription required</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:147059 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> The computer boys take over computers, programmers, and the politics of technical expertise ent://SD_ILS/0/SD_ILS:220081 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Ensmenger, Nathan, 1972-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LabView advanced programming techniques ent://SD_ILS/0/SD_ILS:290284 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Bitter, Rick.&#160;Mohiuddin, Taqi.&#160;Nawrocki, Matt.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420004915">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perl scripting for Windows security live response, forensic analysis, and monitoring ent://SD_ILS/0/SD_ILS:148238 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Press on principles of interaction programming ent://SD_ILS/0/SD_ILS:220028 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Thimbleby, Harold.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming multi-agent systems in AgentSpeak using Jason ent://SD_ILS/0/SD_ILS:296840 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Bordini, Rafael H.&#160;H&uuml;bner, Jomi Fred.&#160;Wooldridge, Michael J., 1966-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html">http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470061848">http://dx.doi.org/10.1002/9780470061848</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-oriented programming ent://SD_ILS/0/SD_ILS:301668 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Wang, Andy Ju An.&#160;Qian, Kai.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={BBA4B88B-6BEF-4A17-841F-A876229E9F1D}&Format=50">Click for information</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=228466">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=228466</a> John Wiley <a href="http://dx.doi.org/10.1002/0471713708">http://dx.doi.org/10.1002/0471713708</a> <a href="http://swb.eblib.com/patron/FullRecord.aspx?p=228466">http://swb.eblib.com/patron/FullRecord.aspx?p=228466</a> HathiTrust Digital Library, Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/55955200.html">http://catalog.hathitrust.org/api/volumes/oclc/55955200.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concepts, techniques, and models of computer programming ent://SD_ILS/0/SD_ILS:219947 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Van-Roy, Peter.&#160;Haridi, Seif.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software design for engineers and scientists ent://SD_ILS/0/SD_ILS:254657 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Tcl/tk a developer's guide ent://SD_ILS/0/SD_ILS:253631 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> A practical guide to boundary element methods with the software library BEMLIB ent://SD_ILS/0/SD_ILS:285817 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Pozrikidis, C.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420035254">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building robots with Lego Mindstorms the ultimate tool for Mindstorms maniacs! ent://SD_ILS/0/SD_ILS:253981 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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 advanced programming techniques ent://SD_ILS/0/SD_ILS:284929 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Bitter, Rick.&#160;Mohiuddin, Taqi.&#160;Nawrocki, Matt.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420039351">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> How to design programs an introduction to programming and computing ent://SD_ILS/0/SD_ILS:219904 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Felleisen, Matthias.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Your wish is my command programming by example ent://SD_ILS/0/SD_ILS:253691 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Automatic algorithm recognition and replacement a new approach to program optimization ent://SD_ILS/0/SD_ILS:219876 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Metzger, Robert C.&#160;Wen, Zhaofang.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in genetic programming. Vol. 2 ent://SD_ILS/0/SD_ILS:220233 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Structure and interpretation of computer programs ent://SD_ILS/0/SD_ILS:220141 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Abelson, Harold.&#160;Sussman, Gerald Jay.&#160;Sussman, Julie.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A small matter of programming perspectives on end user computing ent://SD_ILS/0/SD_ILS:219877 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Nardi, Bonnie A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418</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 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy ent://SD_ILS/0/SD_ILS:257886 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/> Algorithm animation ent://SD_ILS/0/SD_ILS:220148 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z Author&#160;Brown, Marc H.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267231">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267231</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 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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 2024-08-26T10:40:31Z 2024-08-26T10:40:31Z 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/>