Search Results for Software engineering. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300$0026isd$003dtrue? 2024-11-11T17:55:56Z Beginning software engineering ent://SD_ILS/0/SD_ILS:374017 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Stephens, Rod.<br/>Preferred Shelf Number&#160;QA76.758 S737 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Green in Software Engineering ent://SD_ILS/0/SD_ILS:518426 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Calero, Coral. editor.&#160;Piattini, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518426.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08581-4">https://doi.org/10.1007/978-3-319-08581-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of software engineering &amp; knowledge engineering ent://SD_ILS/0/SD_ILS:79287 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Chang, Shi Kuo, 1944- ed.<br/>Preferred Shelf Number&#160;QA 76.758 H36 2001- V.2<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Sharing data and models in software engineering ent://SD_ILS/0/SD_ILS:355389 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Menzies, Tim, author.&#160;Rogers, Mark, designer.<br/>Preferred Shelf Number&#160;ONLINE(355389.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124172951">http://www.sciencedirect.com/science/book/9780124172951</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering ent://SD_ILS/0/SD_ILS:519248 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;De Nicola, Rocco. editor.&#160;Hennicker, Rolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519248.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15545-6">https://doi.org/10.1007/978-3-319-15545-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519025 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Fricker, Samuel A. editor.&#160;Schneider, Kurt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519025.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16101-3">https://doi.org/10.1007/978-3-319-16101-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Collective Autonomic Systems The ASCENS Approach ent://SD_ILS/0/SD_ILS:518784 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Wirsing, Martin. editor.&#160;H&ouml;lzl, Matthias. editor.&#160;Koch, Nora. editor.&#160;Mayer, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518784.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16310-9">https://doi.org/10.1007/978-3-319-16310-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518970 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Butler, Michael. editor.&#160;Conchon, Sylvain. editor.&#160;Za&iuml;di, Fatiha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518970.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25423-4">https://doi.org/10.1007/978-3-319-25423-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518788 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Barros, M&aacute;rcio. editor.&#160;Labiche, Yvan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518788.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22183-0">https://doi.org/10.1007/978-3-319-22183-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519046 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519046.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519205 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Bianculli, Domenico. editor.&#160;Calinescu, Radu. editor.&#160;Rumpe, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519205.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49224-6">https://doi.org/10.1007/978-3-662-49224-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519311 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Fantechi, Alessandro. editor.&#160;Pelliccione, Patrizio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519311.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23129-7">https://doi.org/10.1007/978-3-319-23129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:518828 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518828.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28406-4">https://doi.org/10.1007/978-3-319-28406-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518840 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Calinescu, Radu. editor.&#160;Rumpe, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518840.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22969-0">https://doi.org/10.1007/978-3-319-22969-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519078 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Canal, Carlos. editor.&#160;Idani, Akram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519078.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519111 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Li, Xuandong. editor.&#160;Liu, Zhiming. editor.&#160;Yi, Wang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519111.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25942-0">https://doi.org/10.1007/978-3-319-25942-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of software and system performance engineering: process, performance modeling, requirements, testing, scalability, and practice ent://SD_ILS/0/SD_ILS:378304 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Bondi, Andr&eacute; B., author.<br/>Preferred Shelf Number&#160;QA76.9.E94 B66 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Simple statistical methods for software engineering : data and patterns ent://SD_ILS/0/SD_ILS:380133 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Pandian, C. Ravindranath, author.&#160;Kumar S. K., Murali, author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439816622">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/> Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518346 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Hammoudi, Slimane. editor.&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Filipe, Joaquim. editor.&#160;das Neves, Rui C&eacute;sar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518346.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25156-1">https://doi.org/10.1007/978-3-319-25156-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518633 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Lassenius, Casper. editor.&#160;Dings&oslash;yr, Torgeir. editor.&#160;Paasivaara, Maria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518633.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18612-2">https://doi.org/10.1007/978-3-319-18612-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518496 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Desfray, Philippe. editor.&#160;Filipe, Joaquim. editor.&#160;Hammoudi, Slimane. editor.&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518496.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27869-8">https://doi.org/10.1007/978-3-319-27869-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519136 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Egyed, Alexander. editor.&#160;Schaefer, Ina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519136.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Integrating Software Components Engineering Flexible Software Systems ent://SD_ILS/0/SD_ILS:518572 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Derakhshanmanesh, Mahdi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518572.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-09646-5">https://doi.org/10.1007/978-3-658-09646-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering ent://SD_ILS/0/SD_ILS:518624 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Seffah, Ahmed. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518624.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15687-3">https://doi.org/10.1007/978-3-319-15687-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518525 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Maciaszek, Leszek A. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518525.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27218-4">https://doi.org/10.1007/978-3-319-27218-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518924 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Piessens, Frank. editor.&#160;Caballero, Juan. editor.&#160;Bielova, Nataliia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518924.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15618-7">https://doi.org/10.1007/978-3-319-15618-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519128 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Qiang, Weizhong. editor.&#160;Zheng, Xianghan. editor.&#160;Hsu, Ching-Hsien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519128.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28430-9">https://doi.org/10.1007/978-3-319-28430-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519135 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Bartocci, Ezio. editor.&#160;Majumdar, Rupak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519135.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519140 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Lanese, Ivan. editor.&#160;Madelaine, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519140.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15317-9">https://doi.org/10.1007/978-3-319-15317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519147 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Bellatreche, Ladjel. editor.&#160;Manolopoulos, Yannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519147.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23781-7">https://doi.org/10.1007/978-3-319-23781-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519153 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Beltr&aacute;n, Marta. editor.&#160;Knottenbelt, William. editor.&#160;Bradley, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519153.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23267-6">https://doi.org/10.1007/978-3-319-23267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Macei&oacute;, AL, Brazil, September 29--October 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:519154 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Braga, Christiano. editor.&#160;Mart&iacute;-Oliet, Narciso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519154.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15075-8">https://doi.org/10.1007/978-3-319-15075-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 12th International Conference, MPC 2015, K&ouml;nigswinter, Germany, June 29--July 1, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519158 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Hinze, Ralf. editor.&#160;Voigtl&auml;nder, Janis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519158.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19797-5">https://doi.org/10.1007/978-3-319-19797-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519196 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Pesant, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519196.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23219-5">https://doi.org/10.1007/978-3-319-23219-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519127 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;El-Fakih, Khaled. editor.&#160;Barlas, Gerassimos. editor.&#160;Yevtushenko, Nina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519127.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25945-1">https://doi.org/10.1007/978-3-319-25945-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday ent://SD_ILS/0/SD_ILS:519274 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Beklemishev, Lev D. editor.&#160;Blass, Andreas. editor.&#160;Dershowitz, Nachum. editor.&#160;Finkbeiner, Bernd. editor.&#160;Schulte, Wolfram. editor.<br/>Preferred Shelf Number&#160;XX(519274.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23534-9">https://doi.org/10.1007/978-3-319-23534-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519026 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Koornneef, Floor. editor.&#160;van Gulijk, Coen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519026.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24255-2">https://doi.org/10.1007/978-3-319-24255-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings ent://SD_ILS/0/SD_ILS:518977 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;G&uuml;demann, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518977.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19458-5">https://doi.org/10.1007/978-3-319-19458-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518980 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Holvoet, Tom. editor.&#160;Viroli, Mirko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518980.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519006 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Kolovos, Dimitris. editor.&#160;Wimmer, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519006.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21155-8">https://doi.org/10.1007/978-3-319-21155-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures ent://SD_ILS/0/SD_ILS:519008 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Bernardo, Marco. editor.&#160;Johnsen, Einar Broch. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519008.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18941-3">https://doi.org/10.1007/978-3-319-18941-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519019 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;de la Puente, Juan Antonio. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519019.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19584-1">https://doi.org/10.1007/978-3-319-19584-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519207 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519207.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15350-6">https://doi.org/10.1007/978-3-319-15350-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519348 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Toumani, Farouk. editor.&#160;Pernici, Barbara. editor.&#160;Grigori, Daniela. editor.&#160;Benslimane, Djamal. editor.&#160;Mendling, Jan. editor.<br/>Preferred Shelf Number&#160;XX(519348.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22885-3">https://doi.org/10.1007/978-3-319-22885-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519351 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Weyns, Danny. editor.&#160;Mirandola, Raffaela. editor.&#160;Crnkovic, Ivica. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519351.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23727-5">https://doi.org/10.1007/978-3-319-23727-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518776 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Havelund, Klaus. editor.&#160;Holzmann, Gerard. editor.&#160;Joshi, Rajeev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518776.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17524-9">https://doi.org/10.1007/978-3-319-17524-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518946 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Bassiliades, Nick. editor.&#160;Gottlob, Georg. editor.&#160;Sadri, Fariba. editor.&#160;Paschke, Adrian. editor.&#160;Roman, Dumitru. editor.<br/>Preferred Shelf Number&#160;XX(518946.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21542-6">https://doi.org/10.1007/978-3-319-21542-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518953 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Krivine, Jean. editor.&#160;Stefani, Jean-Bernard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518953.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20860-2">https://doi.org/10.1007/978-3-319-20860-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519064 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;de Boer, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519064.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19249-9">https://doi.org/10.1007/978-3-319-19249-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519074 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Barros, Alistair. editor.&#160;Grigori, Daniela. editor.&#160;Narendra, Nanjangud C. editor.&#160;Dam, Hoa Khanh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519074.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48616-0">https://doi.org/10.1007/978-3-662-48616-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519091 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Taentzer, Gabriele. editor.&#160;Bordeleau, Francis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519091.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21151-0">https://doi.org/10.1007/978-3-319-21151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519092 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Koornneef, Floor. editor.&#160;van Gulijk, Coen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519092.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24249-1">https://doi.org/10.1007/978-3-319-24249-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518926 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Feng, Xinyu. editor.&#160;Park, Sungwoo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518926.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26529-2">https://doi.org/10.1007/978-3-319-26529-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519177 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;D&iacute;az, Paloma. editor.&#160;Pipek, Volkmar. editor.&#160;Ardito, Carmelo. editor.&#160;Jensen, Carlos. editor.&#160;Aedo, Ignacio. editor.<br/>Preferred Shelf Number&#160;XX(519177.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18425-8">https://doi.org/10.1007/978-3-319-18425-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519200 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Graf, Susanne. editor.&#160;Viswanathan, Mahesh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519200.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19195-9">https://doi.org/10.1007/978-3-319-19195-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518832 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Abrahamsson, Pekka. editor.&#160;Corral, Luis. editor.&#160;Oivo, Markku. editor.&#160;Russo, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518832.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26844-6">https://doi.org/10.1007/978-3-319-26844-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers ent://SD_ILS/0/SD_ILS:518838 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Combemale, Benoit. editor.&#160;Cheng, Betty H.C. editor.&#160;France, Robert B. editor.&#160;J&eacute;z&eacute;quel, Jean-Marc. editor.&#160;Rumpe, Bernhard. editor.<br/>Preferred Shelf Number&#160;XX(518838.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26172-0">https://doi.org/10.1007/978-3-319-26172-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518849 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Piterman, Nir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518849.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26287-1">https://doi.org/10.1007/978-3-319-26287-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518850 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Finkbeiner, Bernd. editor.&#160;Pu, Geguang. editor.&#160;Zhang, Lijun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518850.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24953-7">https://doi.org/10.1007/978-3-319-24953-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518803 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Seehusen, Fredrik. editor.&#160;Felderer, Michael. editor.&#160;Gro&szlig;mann, J&uuml;rgen. editor.&#160;Wendland, Marc-Florian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518803.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26416-5">https://doi.org/10.1007/978-3-319-26416-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518805 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Terboven, Christian. editor.&#160;de Supinski, Bronis R. editor.&#160;Reble, Pablo. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Preferred Shelf Number&#160;XX(518805.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24595-9">https://doi.org/10.1007/978-3-319-24595-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518823 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gribaudo, Marco. editor.&#160;Manini, Daniele. editor.&#160;Remke, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518823.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18579-8">https://doi.org/10.1007/978-3-319-18579-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518892 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gorentla Venkata, Manjunath. editor.&#160;Shamis, Pavel. editor.&#160;Imam, Neena. editor.&#160;Lopez, M. Graham. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518892.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26428-8">https://doi.org/10.1007/978-3-319-26428-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518922 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Pontelli, Enrico. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518922.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19686-2">https://doi.org/10.1007/978-3-319-19686-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519101 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Dustdar, Schahram. editor.&#160;Leymann, Frank. editor.&#160;Villari, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519101.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24072-5">https://doi.org/10.1007/978-3-319-24072-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519104 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Blanchette, Jasmin Christian. editor.&#160;Kosmatov, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519104.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21215-9">https://doi.org/10.1007/978-3-319-21215-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519120 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Pardo, Alberto. editor.&#160;Swierstra, S. Doaitse. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519120.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24012-1">https://doi.org/10.1007/978-3-319-24012-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software metrics : a rigorous and practical approach ent://SD_ILS/0/SD_ILS:356796 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Fenton, Norman E., 1956- author.&#160;Bieman, James, author.<br/>Preferred Shelf Number&#160;ONLINE(356796.1)<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439838235">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/> Software and systems architecture in action ent://SD_ILS/0/SD_ILS:356974 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Sangwan, Raghvinder S., author.<br/>Preferred Shelf Number&#160;ONLINE(356974.1)<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439849170">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/> Leveraging the wisdom of the crowd in software testing ent://SD_ILS/0/SD_ILS:356817 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Sharma, Mukesh (Software testing engineer), author.&#160;Padmanaban, Rajini, author.<br/>Preferred Shelf Number&#160;ONLINE(356817.1)<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781482254495">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/> Handbook of Genetic Programming Applications ent://SD_ILS/0/SD_ILS:518480 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gandomi, Amir H. editor.&#160;Alavi, Amir H. editor.&#160;Ryan, Conor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518480.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20883-1">https://doi.org/10.1007/978-3-319-20883-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518509 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Holzinger, Andreas. editor.&#160;Cardoso, Jorge. editor.&#160;Cordeiro, Jos&eacute;. editor.&#160;Libourel, Therese. editor.&#160;Maciaszek, Leszek A. editor.<br/>Preferred Shelf Number&#160;XX(518509.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25579-8">https://doi.org/10.1007/978-3-319-25579-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pillars of Computing A Compendium of Select, Pivotal Technology Firms ent://SD_ILS/0/SD_ILS:518646 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518646.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21464-1">https://doi.org/10.1007/978-3-319-21464-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Ubiquitous Computing CSA &amp; CUTE ent://SD_ILS/0/SD_ILS:518670 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Park, Doo-Soon. editor.&#160;Chao, Han-Chieh. editor.&#160;Jeong, Young-Sik. editor.&#160;Park, James J. (Jong Hyuk). editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518670.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0281-6">https://doi.org/10.1007/978-981-10-0281-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Engineering, Management Science and Applications 2015 ent://SD_ILS/0/SD_ILS:518706 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gen, Mitsuo. editor.&#160;Kim, Kuinam J. editor.&#160;Huang, Xiaoxia. editor.&#160;Hiroshi, Yabe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518706.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47200-2">https://doi.org/10.1007/978-3-662-47200-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:519260 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(519260.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21410-8">https://doi.org/10.1007/978-3-319-21410-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518529 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Vinh, Phan Cong. editor.&#160;Vassev, Emil. editor.&#160;Hinchey, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518529.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Engineering in Complex Environments CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers ent://SD_ILS/0/SD_ILS:518555 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Nurcan, Selmin. editor.&#160;Pimenidis, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518555.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19270-3">https://doi.org/10.1007/978-3-319-19270-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518561 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Winkler, Dietmar. editor.&#160;Biffl, Stefan. editor.&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518561.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13251-8">https://doi.org/10.1007/978-3-319-13251-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518564 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Aveiro, David. editor.&#160;Pergl, Robert. editor.&#160;Valenta, Michal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518564.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19297-0">https://doi.org/10.1007/978-3-319-19297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:519297 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Baldoni, Matteo. editor.&#160;Baresi, Luciano. editor.&#160;Dastani, Mehdi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519297.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V ent://SD_ILS/0/SD_ILS:519341 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(519341.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21413-9">https://doi.org/10.1007/978-3-319-21413-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Impact of Pen and Touch Technology on Education ent://SD_ILS/0/SD_ILS:518440 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Hammond, Tracy. editor.&#160;Valentine, Stephanie. editor.&#160;Adler, Aaron. editor.&#160;Payton, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518440.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15594-4">https://doi.org/10.1007/978-3-319-15594-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518485 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Fujita, Hamido. editor. (orcid)&#160;Guizzi, Guido. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518485.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22689-7">https://doi.org/10.1007/978-3-319-22689-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518656 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Fernandes, Jo&atilde;o M. editor.&#160;Machado, Ricardo J. editor.&#160;Wnuk, Krzysztof. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518656.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19593-3">https://doi.org/10.1007/978-3-319-19593-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creativity in Intelligent Technologies and Data Science First Conference, CIT&amp;DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518527 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Kravets, Alla. editor.&#160;Shcherbakov, Maxim. editor.&#160;Kultsova, Marina. editor.&#160;Shabalina, Olga. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518527.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23766-4">https://doi.org/10.1007/978-3-319-23766-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518778 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Phillips, Andrew. editor.&#160;Yin, Peng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518778.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21999-8">https://doi.org/10.1007/978-3-319-21999-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518790 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Lauter, Kristin. editor.&#160;Rodr&iacute;guez-Henr&iacute;quez, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518790.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22174-8">https://doi.org/10.1007/978-3-319-22174-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:518794 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(518794.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21407-8">https://doi.org/10.1007/978-3-319-21407-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III ent://SD_ILS/0/SD_ILS:518867 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(518867.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21470-2">https://doi.org/10.1007/978-3-319-21470-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust, Privacy and Security in Digital Business 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518943 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Fischer-H&uuml;bner, Simone. editor.&#160;Lambrinoudakis, Costas. editor.&#160;L&oacute;pez, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518943.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22906-5">https://doi.org/10.1007/978-3-319-22906-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518402 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Fujita, Hamido. editor. (orcid)&#160;Selamat, Ali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518402.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17530-0">https://doi.org/10.1007/978-3-319-17530-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518405 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Denzer, Ralf. editor.&#160;Argent, Robert M. editor.&#160;Schimak, Gerald. editor.&#160;H&#345;eb&iacute;&#269;ek, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518405.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15994-2">https://doi.org/10.1007/978-3-319-15994-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518891 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Zdravkovic, Jelena. editor.&#160;Kirikova, Marite. editor.&#160;Johannesson, Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518891.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn&#283;&#382;kou, Czech Republic, January 24-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518910 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Italiano, Giuseppe. editor.&#160;Margaria-Steffen, Tiziana. editor.&#160;Pokorn&yacute;, Jaroslav. editor.&#160;Quisquater, Jean-Jacques. editor.&#160;Wattenhofer, Roger. editor.<br/>Preferred Shelf Number&#160;XX(518910.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519112 2024-11-11T17:55:56Z 2024-11-11T17:55:56Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(519112.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21404-7">https://doi.org/10.1007/978-3-319-21404-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>