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$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2024-12-26T09:29:11Z
Beginning software engineering
ent://SD_ILS/0/SD_ILS:374017
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Stephens, Rod.<br/>Preferred Shelf Number QA76.758 S737 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Green in Software Engineering
ent://SD_ILS/0/SD_ILS:518426
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Calero, Coral. editor. Piattini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518426.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of software engineering & knowledge engineering
ent://SD_ILS/0/SD_ILS:79287
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Chang, Shi Kuo, 1944- ed.<br/>Preferred Shelf Number QA 76.758 H36 2001- V.2<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Software Engineering for Collective Autonomic Systems The ASCENS Approach
ent://SD_ILS/0/SD_ILS:518784
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518784.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518788.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518828.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518970.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519025.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519078.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Sharing data and models in software engineering
ent://SD_ILS/0/SD_ILS:355389
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Menzies, Tim, author. Rogers, Mark, designer.<br/>Preferred Shelf Number ONLINE(355389.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124172951">http://www.sciencedirect.com/science/book/9780124172951</a><br/>Format: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518840.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519111.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519205.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519046.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519248.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519311.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519136.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Piessens, Frank. editor. Caballero, Juan. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518924.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Bondi, André B., author.<br/>Preferred Shelf Number QA76.9.E94 B66 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Simple statistical methods for software engineering : data and patterns
ent://SD_ILS/0/SD_ILS:380133
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439816622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Filipe, Joaquim. editor. das Neves, Rui César. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518346.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518525.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518633.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Integrating Software Components Engineering Flexible Software Systems
ent://SD_ILS/0/SD_ILS:518572
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518572.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Desfray, Philippe. editor. Filipe, Joaquim. editor. Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518496.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Seffah, Ahmed. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518624.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518776.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Seehusen, Fredrik. editor. Felderer, Michael. editor. Großmann, Jürgen. editor. Wendland, Marc-Florian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518803.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Terboven, Christian. editor. de Supinski, Bronis R. editor. Reble, Pablo. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number XX(518805.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518823.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number XX(518946.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518953.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519135.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519140.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519147.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Beltrán, Marta. editor. Knottenbelt, William. editor. Bradley, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519153.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:519154
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519154.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519158
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519158.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519006.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519008.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519026.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519074.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519091.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519092.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Dustdar, Schahram. editor. Leymann, Frank. editor. Villari, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519101.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519104.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.<br/>Preferred Shelf Number XX(519348.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519351.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518832.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.<br/>Preferred Shelf Number XX(518838.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Piterman, Nir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518849.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518850.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518892.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518922.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518926.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518977.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518980.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.<br/>Preferred Shelf Number XX(519177.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Pesant, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519196.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Graf, Susanne. editor. Viswanathan, Mahesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519200.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519207.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519064.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519019.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.<br/>Preferred Shelf Number XX(519274.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519120.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519127.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Qiang, Weizhong. editor. Zheng, Xianghan. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519128.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging the wisdom of the crowd in software testing
ent://SD_ILS/0/SD_ILS:356817
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.<br/>Preferred Shelf Number ONLINE(356817.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781482254495">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software metrics : a rigorous and practical approach
ent://SD_ILS/0/SD_ILS:356796
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Fenton, Norman E., 1956- author. Bieman, James, author.<br/>Preferred Shelf Number ONLINE(356796.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439838235">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and systems architecture in action
ent://SD_ILS/0/SD_ILS:356974
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Sangwan, Raghvinder S., author.<br/>Preferred Shelf Number ONLINE(356974.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439849170">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Nurcan, Selmin. editor. Pimenidis, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518555.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518561.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial Engineering, Management Science and Applications 2015
ent://SD_ILS/0/SD_ILS:518706
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518706.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518790.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number XX(518794.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. López, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518943.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number XX(519341.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519297.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Fujita, Hamido. editor. (orcid) Selamat, Ali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518402.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518405.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Genetic Programming Applications
ent://SD_ILS/0/SD_ILS:518480
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518480.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518485.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518527
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518527.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518529.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518778.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number XX(518867.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518891.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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ěžkou, Czech Republic, January 24-29, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518910
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number XX(518910.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number XX(519112.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Impact of Pen and Touch Technology on Education
ent://SD_ILS/0/SD_ILS:518440
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518440.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Pillars of Computing A Compendium of Select, Pivotal Technology Firms
ent://SD_ILS/0/SD_ILS:518646
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518646.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Fernandes, João M. editor. Machado, Ricardo J. editor. Wnuk, Krzysztof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518656.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Ubiquitous Computing CSA & CUTE
ent://SD_ILS/0/SD_ILS:518670
2024-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Park, Doo-Soon. editor. Chao, Han-Chieh. editor. Jeong, Young-Sik. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518670.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518564.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Holzinger, Andreas. editor. Cardoso, Jorge. editor. Cordeiro, José. editor. Libourel, Therese. editor. Maciaszek, Leszek A. editor.<br/>Preferred Shelf Number XX(518509.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-26T09:29:11Z
2024-12-26T09:29:11Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number XX(519260.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>