Search Results for - Narrowed by: 2015 - Software engineering.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?2024-06-10T14:58:36ZSoftware engineering : a practitioner's approach.ent://SD_ILS/0/SD_ILS:48262024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Pressman, Roger S.<br/>Format: Kitap<br/>Beginning software engineeringent://SD_ILS/0/SD_ILS:77302024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Stephens, Rod.<br/>Format: Kitap<br/>Design Thinking Research Building Innovatorsent://SD_ILS/0/SD_ILS:208922024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Plattner, Hasso. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06823-7">http://dx.doi.org/10.1007/978-3-319-06823-7</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:231362024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21404-7">http://dx.doi.org/10.1007/978-3-319-21404-7</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:231372024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21407-8">http://dx.doi.org/10.1007/978-3-319-21407-8</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IVent://SD_ILS/0/SD_ILS:231382024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21410-8">http://dx.doi.org/10.1007/978-3-319-21410-8</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part Vent://SD_ILS/0/SD_ILS:231392024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21413-9">http://dx.doi.org/10.1007/978-3-319-21413-9</a><br/>Format: Electronic Resources<br/>Requirements Engineering for Digital Healthent://SD_ILS/0/SD_ILS:213892024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fricker, Samuel A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09798-5">http://dx.doi.org/10.1007/978-3-319-09798-5</a><br/>Format: Electronic Resources<br/>Introduction to Concurrency Theory Transition Systems and CCSent://SD_ILS/0/SD_ILS:231452024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gorrieri, Roberto. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21491-7">http://dx.doi.org/10.1007/978-3-319-21491-7</a><br/>Format: Electronic Resources<br/>Information Systems Reengineering, Integration and Normalizationent://SD_ILS/0/SD_ILS:218802024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fong, Joseph Shi Piu. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12295-3">http://dx.doi.org/10.1007/978-3-319-12295-3</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction: Interaction Technologies 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:230932024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kurosu, Masaaki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20916-6">http://dx.doi.org/10.1007/978-3-319-20916-6</a><br/>Format: Electronic Resources<br/>Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:224122024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Piessens, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15618-7">http://dx.doi.org/10.1007/978-3-319-15618-7</a><br/>Format: Electronic Resources<br/>Numbers and Computersent://SD_ILS/0/SD_ILS:226612024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kneusel, Ronald T. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17260-6">http://dx.doi.org/10.1007/978-3-319-17260-6</a><br/>Format: Electronic Resources<br/>Software Sourcing in the Age of Open Leveraging the Unknown Workforceent://SD_ILS/0/SD_ILS:226622024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Ågerfalk, Pär J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17266-8">http://dx.doi.org/10.1007/978-3-319-17266-8</a><br/>Format: Electronic Resources<br/>Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:224732024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Markidis, Stefano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15976-8">http://dx.doi.org/10.1007/978-3-319-15976-8</a><br/>Format: Electronic Resources<br/>The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineeringent://SD_ILS/0/SD_ILS:228622024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Jureta, Ivan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18821-8">http://dx.doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Electronic Resources<br/>Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015. Proceedingsent://SD_ILS/0/SD_ILS:224772024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Denzer, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15994-2">http://dx.doi.org/10.1007/978-3-319-15994-2</a><br/>Format: Electronic Resources<br/>Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:224852024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Leung, Victor C.M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16050-4">http://dx.doi.org/10.1007/978-3-319-16050-4</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229562024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar de la Puente, Juan Antonio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19584-1">http://dx.doi.org/10.1007/978-3-319-19584-1</a><br/>Format: Electronic Resources<br/>Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229572024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fernandes, João M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19593-3">http://dx.doi.org/10.1007/978-3-319-19593-3</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229702024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Pontelli, Enrico. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19686-2">http://dx.doi.org/10.1007/978-3-319-19686-2</a><br/>Format: Electronic Resources<br/>Aspect-Oriented Security Hardening of UML Design Modelsent://SD_ILS/0/SD_ILS:224932024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Mouheb, Djedjiga. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16106-8">http://dx.doi.org/10.1007/978-3-319-16106-8</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:223462024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Canal, Carlos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15201-1">http://dx.doi.org/10.1007/978-3-319-15201-1</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:231552024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kroening, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21668-3">http://dx.doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232512024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Calinescu, Radu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22969-0">http://dx.doi.org/10.1007/978-3-319-22969-0</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232522024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Sankaranarayanan, Sriram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22975-1">http://dx.doi.org/10.1007/978-3-319-22975-1</a><br/>Format: Electronic Resources<br/>Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232572024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Maletti, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23021-4">http://dx.doi.org/10.1007/978-3-319-23021-4</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232662024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fantechi, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23129-7">http://dx.doi.org/10.1007/978-3-319-23129-7</a><br/>Format: Electronic Resources<br/>Mobile Web and Intelligent Information Systems 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232692024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Younas, Muhammad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23144-0">http://dx.doi.org/10.1007/978-3-319-23144-0</a><br/>Format: Electronic Resources<br/>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:232702024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Martí-Oliet, Narciso. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23165-5">http://dx.doi.org/10.1007/978-3-319-23165-5</a><br/>Format: Electronic Resources<br/>Engineering the Web in the Big Data Era 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229992024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Cimiano, Philipp. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19890-3">http://dx.doi.org/10.1007/978-3-319-19890-3</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232752024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Chen, Yunji. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23216-4">http://dx.doi.org/10.1007/978-3-319-23216-4</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227032024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17524-9">http://dx.doi.org/10.1007/978-3-319-17524-9</a><br/>Format: Electronic Resources<br/>Guide to DataFlow Supercomputing Basic Concepts, Case Studies, and a Detailed Exampleent://SD_ILS/0/SD_ILS:225212024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Milutinović, Veljko. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16229-4">http://dx.doi.org/10.1007/978-3-319-16229-4</a><br/>Format: Electronic Resources<br/>S-BPM in the Wild Practical Value Creationent://SD_ILS/0/SD_ILS:227072024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fleischmann, Albert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17542-3">http://dx.doi.org/10.1007/978-3-319-17542-3</a><br/>Format: Electronic Resources<br/>Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231952024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kosowski, Adrian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22177-9">http://dx.doi.org/10.1007/978-3-319-22177-9</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:227122024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17581-2">http://dx.doi.org/10.1007/978-3-319-17581-2</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233592024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar De Nivelle, Hans. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24312-2">http://dx.doi.org/10.1007/978-3-319-24312-2</a><br/>Format: Electronic Resources<br/>Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233052024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Manea, Florin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23660-5">http://dx.doi.org/10.1007/978-3-319-23660-5</a><br/>Format: Electronic Resources<br/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:227302024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Chivers, Ian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17701-4">http://dx.doi.org/10.1007/978-3-319-17701-4</a><br/>Format: Electronic Resources<br/>Data Science 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230462024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Maneth, Sebastian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20424-6">http://dx.doi.org/10.1007/978-3-319-20424-6</a><br/>Format: Electronic Resources<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:233142024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23820-3">http://dx.doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Agent Environments for Multi-Agent Systems IV 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:233182024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Weyns, Danny. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23850-0">http://dx.doi.org/10.1007/978-3-319-23850-0</a><br/>Format: Electronic Resources<br/>Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:235502024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bouajjani, Ahmed. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26850-7">http://dx.doi.org/10.1007/978-3-319-26850-7</a><br/>Format: Electronic Resources<br/>Enterprise Information Systems 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:232062024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Cordeiro, José. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22348-3">http://dx.doi.org/10.1007/978-3-319-22348-3</a><br/>Format: Electronic Resources<br/>Collaboration and Technology 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232322024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Baloian, Nelson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22747-4">http://dx.doi.org/10.1007/978-3-319-22747-4</a><br/>Format: Electronic Resources<br/>Research in Attacks, Intrusions, and Defenses 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedingsent://SD_ILS/0/SD_ILS:235202024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bos, Herbert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26362-5">http://dx.doi.org/10.1007/978-3-319-26362-5</a><br/>Format: Electronic Resources<br/>Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedingsent://SD_ILS/0/SD_ILS:235482024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26841-5">http://dx.doi.org/10.1007/978-3-319-26841-5</a><br/>Format: Electronic Resources<br/>Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235492024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Abrahamsson, Pekka. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26844-6">http://dx.doi.org/10.1007/978-3-319-26844-6</a><br/>Format: Electronic Resources<br/>Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229132024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Persson, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19243-7">http://dx.doi.org/10.1007/978-3-319-19243-7</a><br/>Format: Electronic Resources<br/>FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229142024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bjørner, Nikolaj. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19249-9">http://dx.doi.org/10.1007/978-3-319-19249-9</a><br/>Format: Electronic Resources<br/>Understanding Network Hacks Attack and Defense with Pythonent://SD_ILS/0/SD_ILS:244992024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Ballmann, Bastian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44437-5">http://dx.doi.org/10.1007/978-3-662-44437-5</a><br/>Format: Electronic Resources<br/>Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229432024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Devillers, Raymond. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19488-2">http://dx.doi.org/10.1007/978-3-319-19488-2</a><br/>Format: Electronic Resources<br/>Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:247642024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Franke, Björn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46663-6">http://dx.doi.org/10.1007/978-3-662-46663-6</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229482024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Baixeries, Jaume. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19545-2">http://dx.doi.org/10.1007/978-3-319-19545-2</a><br/>Format: Electronic Resources<br/>Cryptographic Hardware and Embedded Systems -- CHES 2015 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248682024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Güneysu, Tim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48324-4">http://dx.doi.org/10.1007/978-3-662-48324-4</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248802024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Barros, Alistair. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48616-0">http://dx.doi.org/10.1007/978-3-662-48616-0</a><br/>Format: Electronic Resources<br/>Requirements Engineering in the Big Data Era Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248812024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Liu, Lin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48634-4">http://dx.doi.org/10.1007/978-3-662-48634-4</a><br/>Format: Electronic Resources<br/>Transactions on Aspect-Oriented Software Development XIIent://SD_ILS/0/SD_ILS:247742024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46734-3">http://dx.doi.org/10.1007/978-3-662-46734-3</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency Xent://SD_ILS/0/SD_ILS:248832024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Koutny, Maciej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48650-4">http://dx.doi.org/10.1007/978-3-662-48650-4</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XIXent://SD_ILS/0/SD_ILS:248942024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49017-4">http://dx.doi.org/10.1007/978-3-662-49017-4</a><br/>Format: Electronic Resources<br/>Process-Aware Systems First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:247072024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Cao, Jian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46170-9">http://dx.doi.org/10.1007/978-3-662-46170-9</a><br/>Format: Electronic Resources<br/>Crowdsourcing Cloud-Based Software Developmentent://SD_ILS/0/SD_ILS:247992024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Li, Wei. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47011-4">http://dx.doi.org/10.1007/978-3-662-47011-4</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:247692024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Baier, Christel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46681-0">http://dx.doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Ad-hoc Networks and Wireless ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:247222024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Garcia Pineda, Miguel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46338-3">http://dx.doi.org/10.1007/978-3-662-46338-3</a><br/>Format: Electronic Resources<br/>Mobile and Wireless Technology 2015ent://SD_ILS/0/SD_ILS:248312024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kim, Kuinam J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47669-7">http://dx.doi.org/10.1007/978-3-662-47669-7</a><br/>Format: Electronic Resources<br/>UML @ Classroom An Introduction to Object-Oriented Modelingent://SD_ILS/0/SD_ILS:219532024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Seidl, Martina. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12742-2">http://dx.doi.org/10.1007/978-3-319-12742-2</a><br/>Format: Electronic Resources<br/>The cognitive dynamics of computer science : cost-effective large scale software developmentent://SD_ILS/0/SD_ILS:149722024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar De Gyurky, Szabolcs Michael. author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201429">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201429</a><br/>Format: Electronic Resources<br/>From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practiceent://SD_ILS/0/SD_ILS:219682024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Śmiałek, Michał. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12838-2">http://dx.doi.org/10.1007/978-3-319-12838-2</a><br/>Format: Electronic Resources<br/>Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222902024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Naumann, David. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14806-9">http://dx.doi.org/10.1007/978-3-319-14806-9</a><br/>Format: Electronic Resources<br/>Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222942024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Ortiz, Guadalupe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14886-1">http://dx.doi.org/10.1007/978-3-319-14886-1</a><br/>Format: Electronic Resources<br/>Cloud Portability and Interoperability Issues and Current Trendsent://SD_ILS/0/SD_ILS:221262024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Di Martino, Beniamino. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13701-8">http://dx.doi.org/10.1007/978-3-319-13701-8</a><br/>Format: Electronic Resources<br/>Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineeringent://SD_ILS/0/SD_ILS:224202024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Seffah, Ahmed. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15687-3">http://dx.doi.org/10.1007/978-3-319-15687-3</a><br/>Format: Electronic Resources<br/>Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:227612024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Lambrix, Patrick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17966-7">http://dx.doi.org/10.1007/978-3-319-17966-7</a><br/>Format: Electronic Resources<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 Lecturesent://SD_ILS/0/SD_ILS:228752024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18941-3">http://dx.doi.org/10.1007/978-3-319-18941-3</a><br/>Format: Electronic Resources<br/>Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:228762024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Demazeau, Yves. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18944-4">http://dx.doi.org/10.1007/978-3-319-18944-4</a><br/>Format: Electronic Resources<br/>Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:233092024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Weyns, Danny. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23727-5">http://dx.doi.org/10.1007/978-3-319-23727-5</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233112024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bellatreche, Ladjel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23781-7">http://dx.doi.org/10.1007/978-3-319-23781-7</a><br/>Format: Electronic Resources<br/>OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233812024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Terboven, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24595-9">http://dx.doi.org/10.1007/978-3-319-24595-9</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:235642024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wang, Guojun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27119-4">http://dx.doi.org/10.1007/978-3-319-27119-4</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedingsent://SD_ILS/0/SD_ILS:228362024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gribaudo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18579-8">http://dx.doi.org/10.1007/978-3-319-18579-8</a><br/>Format: Electronic Resources<br/>Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:233292024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Zaroliagis, Christos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24024-4">http://dx.doi.org/10.1007/978-3-319-24024-4</a><br/>Format: Electronic Resources<br/>Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233332024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Dustdar, Schahram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24072-5">http://dx.doi.org/10.1007/978-3-319-24072-5</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:235652024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wang, Guojun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27122-4">http://dx.doi.org/10.1007/978-3-319-27122-4</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction – INTERACT 2015 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:232232024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Abascal, Julio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22668-2">http://dx.doi.org/10.1007/978-3-319-22668-2</a><br/>Format: Electronic Resources<br/>Mobile, Secure, and Programmable Networking First International Conference, MSPN 2015, Paris, France, June 15-17, 2015, Selected Papersent://SD_ILS/0/SD_ILS:234762024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Boumerdassi, Selma. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25744-0">http://dx.doi.org/10.1007/978-3-319-25744-0</a><br/>Format: Electronic Resources<br/>New Horizons in Design Science: Broadening the Research Agenda 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:228492024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Donnellan, Brian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18714-3">http://dx.doi.org/10.1007/978-3-319-18714-3</a><br/>Format: Electronic Resources<br/>Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232242024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fujita, Hamido. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22689-7">http://dx.doi.org/10.1007/978-3-319-22689-7</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233482024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Koornneef, Floor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24249-1">http://dx.doi.org/10.1007/978-3-319-24249-1</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233492024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Koornneef, Floor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24255-2">http://dx.doi.org/10.1007/978-3-319-24255-2</a><br/>Format: Electronic Resources<br/>SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234042024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fischer, Joachim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24912-4">http://dx.doi.org/10.1007/978-3-319-24912-4</a><br/>Format: Electronic Resources<br/>Dynamic Data-Driven Environmental Systems Science First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:234262024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Ravela, Sai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25138-7">http://dx.doi.org/10.1007/978-3-319-25138-7</a><br/>Format: Electronic Resources<br/>Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234272024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Mousavi, Mohammad Reza. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25141-7">http://dx.doi.org/10.1007/978-3-319-25141-7</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234282024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Leucker, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25150-9">http://dx.doi.org/10.1007/978-3-319-25150-9</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236022024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Desfray, Philippe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27869-8">http://dx.doi.org/10.1007/978-3-319-27869-8</a><br/>Format: Electronic Resources<br/>Cloud Computing and Services Sciences International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3–5, 2014 Revised Selected Papersent://SD_ILS/0/SD_ILS:234492024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Helfert, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25414-2">http://dx.doi.org/10.1007/978-3-319-25414-2</a><br/>Format: Electronic Resources<br/>Ambient Assisted Living. ICT-based Solutions in Real Life Situations 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235232024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Cleland, Ian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26410-3">http://dx.doi.org/10.1007/978-3-319-26410-3</a><br/>Format: Electronic Resources<br/>Correct Software in Web Applications and Web Servicesent://SD_ILS/0/SD_ILS:226382024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Thalheim, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17112-8">http://dx.doi.org/10.1007/978-3-319-17112-8</a><br/>Format: Electronic Resources<br/>Risks and Security of Internet and Systems 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226402024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Lopez, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17127-2">http://dx.doi.org/10.1007/978-3-319-17127-2</a><br/>Format: Electronic Resources<br/>Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:235242024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Seehusen, Fredrik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26416-5">http://dx.doi.org/10.1007/978-3-319-26416-5</a><br/>Format: Electronic Resources<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:235252024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gorentla Venkata, Manjunath. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26428-8">http://dx.doi.org/10.1007/978-3-319-26428-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235332024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Feng, Xinyu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26529-2">http://dx.doi.org/10.1007/978-3-319-26529-2</a><br/>Format: Electronic Resources<br/>Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236302024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Hammoudi, Slimane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29133-8">http://dx.doi.org/10.1007/978-3-319-29133-8</a><br/>Format: Electronic Resources<br/>RoboCup 2015: Robot World Cup XIXent://SD_ILS/0/SD_ILS:236312024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Almeida, Luis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29339-4">http://dx.doi.org/10.1007/978-3-319-29339-4</a><br/>Format: Electronic Resources<br/>Information Systems Engineering in Complex Environments CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papersent://SD_ILS/0/SD_ILS:229172024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Nurcan, Selmin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19270-3">http://dx.doi.org/10.1007/978-3-319-19270-3</a><br/>Format: Electronic Resources<br/>Agile Project Management: Managing for Successent://SD_ILS/0/SD_ILS:212772024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Crowder, James A. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09018-4">http://dx.doi.org/10.1007/978-3-319-09018-4</a><br/>Format: Electronic Resources<br/>Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231112024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Parisi-Presicce, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21145-9">http://dx.doi.org/10.1007/978-3-319-21145-9</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231122024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Taentzer, Gabriele. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21151-0">http://dx.doi.org/10.1007/978-3-319-21151-0</a><br/>Format: Electronic Resources<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. Proceedingsent://SD_ILS/0/SD_ILS:231132024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kolovos, Dimitris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21155-8">http://dx.doi.org/10.1007/978-3-319-21155-8</a><br/>Format: Electronic Resources<br/>Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231172024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21215-9">http://dx.doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Electronic Resources<br/>The Scrum Culture Introducing Agile Methods in Organizationsent://SD_ILS/0/SD_ILS:217962024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Maximini, Dominik. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11827-7">http://dx.doi.org/10.1007/978-3-319-11827-7</a><br/>Format: Electronic Resources<br/>Exploring Services Science 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:223112024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Nóvoa, Henriqueta. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14980-6">http://dx.doi.org/10.1007/978-3-319-14980-6</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:223202024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Braga, Christiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15075-8">http://dx.doi.org/10.1007/978-3-319-15075-8</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226732024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Daydé, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17353-5">http://dx.doi.org/10.1007/978-3-319-17353-5</a><br/>Format: Electronic Resources<br/>Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229542024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Amine, Abdelmalek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19578-0">http://dx.doi.org/10.1007/978-3-319-19578-0</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedingsent://SD_ILS/0/SD_ILS:224922024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fricker, Samuel A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16101-3">http://dx.doi.org/10.1007/978-3-319-16101-3</a><br/>Format: Electronic Resources<br/>Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:229922024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Al-Saidi, Asma. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19848-4">http://dx.doi.org/10.1007/978-3-319-19848-4</a><br/>Format: Electronic Resources<br/>Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:228902024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Zdravkovic, Jelena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19069-3">http://dx.doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Electronic Resources<br/>Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:231752024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Roubtsova, Ella. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21912-7">http://dx.doi.org/10.1007/978-3-319-21912-7</a><br/>Format: Electronic Resources<br/>Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:231872024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar ten Cate, Balder. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22002-4">http://dx.doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229012024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bessani, Alysson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19129-4">http://dx.doi.org/10.1007/978-3-319-19129-4</a><br/>Format: Electronic Resources<br/>Computational Logistics 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233522024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Corman, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24264-4">http://dx.doi.org/10.1007/978-3-319-24264-4</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231972024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Barros, Márcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22183-0">http://dx.doi.org/10.1007/978-3-319-22183-0</a><br/>Format: Electronic Resources<br/>Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:230322024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Panigrahi, Bijaya Ketan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20294-5">http://dx.doi.org/10.1007/978-3-319-20294-5</a><br/>Format: Electronic Resources<br/>Software Measurement 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233552024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kobyliński, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24285-9">http://dx.doi.org/10.1007/978-3-319-24285-9</a><br/>Format: Electronic Resources<br/>End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedingsent://SD_ILS/0/SD_ILS:228162024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Díaz, Paloma. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18425-8">http://dx.doi.org/10.1007/978-3-319-18425-8</a><br/>Format: Electronic Resources<br/>Data Science Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233682024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Zhang, Chengqi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24474-7">http://dx.doi.org/10.1007/978-3-319-24474-7</a><br/>Format: Electronic Resources<br/>PRIMA 2015: Principles and Practice of Multi-Agent Systems 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234602024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Chen, Qingliang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25524-8">http://dx.doi.org/10.1007/978-3-319-25524-8</a><br/>Format: Electronic Resources<br/>Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:234612024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bodei, Chiara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25527-9">http://dx.doi.org/10.1007/978-3-319-25527-9</a><br/>Format: Electronic Resources<br/>Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:234662024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Holzinger, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25579-8">http://dx.doi.org/10.1007/978-3-319-25579-8</a><br/>Format: Electronic Resources<br/>Wired/Wireless Internet Communications 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:232182024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Aguayo-Torres, Mari Carmen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22572-2">http://dx.doi.org/10.1007/978-3-319-22572-2</a><br/>Format: Electronic Resources<br/>Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:235812024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Hunold, Sascha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27308-2">http://dx.doi.org/10.1007/978-3-319-27308-2</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:235862024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Falaschi, Moreno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27436-2">http://dx.doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:234292024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Hammoudi, Slimane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25156-1">http://dx.doi.org/10.1007/978-3-319-25156-1</a><br/>Format: Electronic Resources<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 Papersent://SD_ILS/0/SD_ILS:232452024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Toumani, Farouk. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22885-3">http://dx.doi.org/10.1007/978-3-319-22885-3</a><br/>Format: Electronic Resources<br/>Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papersent://SD_ILS/0/SD_ILS:235122024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Combemale, Benoit. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26172-0">http://dx.doi.org/10.1007/978-3-319-26172-0</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:235142024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Baldoni, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26184-3">http://dx.doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Electronic Resources<br/>Web Information Systems Engineering – WISE 2015 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:235152024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wang, Jianyong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26187-4">http://dx.doi.org/10.1007/978-3-319-26187-4</a><br/>Format: Electronic Resources<br/>Web Information Systems Engineering – WISE 2015 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:235162024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wang, Jianyong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26190-4">http://dx.doi.org/10.1007/978-3-319-26190-4</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235172024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Piterman, Nir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26287-1">http://dx.doi.org/10.1007/978-3-319-26287-1</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction: Design and Evaluation 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:230882024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kurosu, Masaaki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20901-2">http://dx.doi.org/10.1007/978-3-319-20901-2</a><br/>Format: Electronic Resources<br/>Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:231302024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Botana, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21362-0">http://dx.doi.org/10.1007/978-3-319-21362-0</a><br/>Format: Electronic Resources<br/>Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231312024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bieger, Jordi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21365-1">http://dx.doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Electronic Resources<br/>Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001ent://SD_ILS/0/SD_ILS:222782024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Guerraoui, Rachid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14720-8">http://dx.doi.org/10.1007/978-3-319-14720-8</a><br/>Format: Electronic Resources<br/>Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineeringent://SD_ILS/0/SD_ILS:223942024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Nicola, Rocco De. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15545-6">http://dx.doi.org/10.1007/978-3-319-15545-6</a><br/>Format: Electronic Resources<br/>Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:224682024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Zsók, Viktória. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15940-9">http://dx.doi.org/10.1007/978-3-319-15940-9</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:224902024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Pinho, Luís Miguel Pinho. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16086-3">http://dx.doi.org/10.1007/978-3-319-16086-3</a><br/>Format: Electronic Resources<br/>Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229672024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Papavassiliou, Symeon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19662-6">http://dx.doi.org/10.1007/978-3-319-19662-6</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226842024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17404-4">http://dx.doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:224392024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Cirne, Walfredo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15789-4">http://dx.doi.org/10.1007/978-3-319-15789-4</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:231562024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kroening, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21690-4">http://dx.doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231582024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Pelc, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21741-3">http://dx.doi.org/10.1007/978-3-319-21741-3</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229822024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Hinze, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19797-5">http://dx.doi.org/10.1007/978-3-319-19797-5</a><br/>Format: Electronic Resources<br/>Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231622024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Oinas-Kukkonen, Harri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21783-3">http://dx.doi.org/10.1007/978-3-319-21783-3</a><br/>Format: Electronic Resources<br/>Enhanced Building Information Models Using IoT Services and Integration Patternsent://SD_ILS/0/SD_ILS:231662024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Isikdag, Umit. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21825-0">http://dx.doi.org/10.1007/978-3-319-21825-0</a><br/>Format: Electronic Resources<br/>Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231742024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Malyshkin, Victor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21909-7">http://dx.doi.org/10.1007/978-3-319-21909-7</a><br/>Format: Electronic Resources<br/>Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232802024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Di Fatta, Giuseppe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23237-9">http://dx.doi.org/10.1007/978-3-319-23237-9</a><br/>Format: Electronic Resources<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232822024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Calimeri, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23264-5">http://dx.doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:230112024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Shishkov, Boris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20052-1">http://dx.doi.org/10.1007/978-3-319-20052-1</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231922024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Urban, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22102-1">http://dx.doi.org/10.1007/978-3-319-22102-1</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:229072024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Graf, Susanne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19195-9">http://dx.doi.org/10.1007/978-3-319-19195-9</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232892024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Roux, Olivier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23401-4">http://dx.doi.org/10.1007/978-3-319-23401-4</a><br/>Format: Electronic Resources<br/>Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232902024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fischer, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23404-5">http://dx.doi.org/10.1007/978-3-319-23404-5</a><br/>Format: Electronic Resources<br/>Multiple Access Communications 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232912024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Jonsson, Magnus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23440-3">http://dx.doi.org/10.1007/978-3-319-23440-3</a><br/>Format: Electronic Resources<br/>Yazılım proje yönetimient://SD_ILS/0/SD_ILS:2273352024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Nizam, Ali.<br/>Format: Kitap<br/>Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230802024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Krivine, Jean. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20860-2">http://dx.doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction: Users and Contexts 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:231032024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kurosu, Masaaki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21006-3">http://dx.doi.org/10.1007/978-3-319-21006-3</a><br/>Format: Electronic Resources<br/>Validation of Evolving Softwareent://SD_ILS/0/SD_ILS:215542024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Chockler, Hana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10623-6">http://dx.doi.org/10.1007/978-3-319-10623-6</a><br/>Format: Electronic Resources<br/>Green in Software Engineeringent://SD_ILS/0/SD_ILS:211962024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Calero, Coral. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08581-4">http://dx.doi.org/10.1007/978-3-319-08581-4</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:231422024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21470-2">http://dx.doi.org/10.1007/978-3-319-21470-2</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:223652024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Lanese, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15317-9">http://dx.doi.org/10.1007/978-3-319-15317-9</a><br/>Format: Electronic Resources<br/>Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:224032024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Abdelzaher, Tarek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15582-1">http://dx.doi.org/10.1007/978-3-319-15582-1</a><br/>Format: Electronic Resources<br/>Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:220452024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Winkler, Dietmar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13251-8">http://dx.doi.org/10.1007/978-3-319-13251-8</a><br/>Format: Electronic Resources<br/>Interoperability and Open-Source Solutions for the Internet of Things International Workshop, FP7 OpenIoT Project, Held in Conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited Papersent://SD_ILS/0/SD_ILS:225682024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Podnar Žarko, Ivana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16546-2">http://dx.doi.org/10.1007/978-3-319-16546-2</a><br/>Format: Electronic Resources<br/>Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248562024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Träff, Jesper Larsson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48096-0">http://dx.doi.org/10.1007/978-3-662-48096-0</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedingsent://SD_ILS/0/SD_ILS:229392024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Núñez, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19458-5">http://dx.doi.org/10.1007/978-3-319-19458-5</a><br/>Format: Electronic Resources<br/>Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248652024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Blazy, Sandrine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48288-9">http://dx.doi.org/10.1007/978-3-662-48288-9</a><br/>Format: Electronic Resources<br/>Models of Strategic Reasoning Logics, Games, and Communitiesent://SD_ILS/0/SD_ILS:248742024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar van Benthem, Johan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48540-8">http://dx.doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Electronic Resources<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. Proceedingsent://SD_ILS/0/SD_ILS:247012024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Italiano, Giuseppe F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46078-8">http://dx.doi.org/10.1007/978-3-662-46078-8</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248882024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Davis, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48899-7">http://dx.doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Electronic Resources<br/>Metasynthetic Computing and Engineering of Complex Systemsent://SD_ILS/0/SD_ILS:195482024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Cao, Longbing. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6551-4">http://dx.doi.org/10.1007/978-1-4471-6551-4</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226932024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Brodman, James. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17473-0">http://dx.doi.org/10.1007/978-3-319-17473-0</a><br/>Format: Electronic Resources<br/>Software Process Improvement and Capability Determination 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229942024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Rout, Terry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19860-6">http://dx.doi.org/10.1007/978-3-319-19860-6</a><br/>Format: Electronic Resources<br/>Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:230262024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Dimov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20239-6">http://dx.doi.org/10.1007/978-3-319-20239-6</a><br/>Format: Electronic Resources<br/>Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:227052024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Fujita, Hamido. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17530-0">http://dx.doi.org/10.1007/978-3-319-17530-0</a><br/>Format: Electronic Resources<br/>Managing Agile Strategy, Implementation, Organisation and Peopleent://SD_ILS/0/SD_ILS:225262024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Moran, Alan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16262-1">http://dx.doi.org/10.1007/978-3-319-16262-1</a><br/>Format: Electronic Resources<br/>Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232952024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Meyer, Roland. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23506-6">http://dx.doi.org/10.1007/978-3-319-23506-6</a><br/>Format: Electronic Resources<br/>Web Information Systems Engineering – WISE 2014 Workshops 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:230402024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Benatallah, Boualem. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20370-6">http://dx.doi.org/10.1007/978-3-319-20370-6</a><br/>Format: Electronic Resources<br/>Human Aspects of Information Security, Privacy, and Trust Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedingsent://SD_ILS/0/SD_ILS:230422024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Tryfonas, Theo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20376-8">http://dx.doi.org/10.1007/978-3-319-20376-8</a><br/>Format: Electronic Resources<br/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:225342024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16310-9">http://dx.doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234522024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25423-4">http://dx.doi.org/10.1007/978-3-319-25423-4</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:227422024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Proietti, Maurizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17822-6">http://dx.doi.org/10.1007/978-3-319-17822-6</a><br/>Format: Electronic Resources<br/>Open Source Systems: Adoption and Impact 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227462024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Damiani, Ernesto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17837-0">http://dx.doi.org/10.1007/978-3-319-17837-0</a><br/>Format: Electronic Resources<br/>Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:233852024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Dastani, Mehdi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24644-4">http://dx.doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Electronic Resources<br/>Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedingsent://SD_ILS/0/SD_ILS:233862024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar O’Connor, Rory V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24647-5">http://dx.doi.org/10.1007/978-3-319-24647-5</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233892024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kahl, Wolfram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24704-5">http://dx.doi.org/10.1007/978-3-319-24704-5</a><br/>Format: Electronic Resources<br/>Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233942024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Dregvaite, Giedre. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24770-0">http://dx.doi.org/10.1007/978-3-319-24770-0</a><br/>Format: Electronic Resources<br/>Current Trends in Web Engineering 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:233962024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Daniel, Florian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24800-4">http://dx.doi.org/10.1007/978-3-319-24800-4</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:235662024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wang, Guojun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27137-8">http://dx.doi.org/10.1007/978-3-319-27137-8</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IVent://SD_ILS/0/SD_ILS:235672024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wang, Guojun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27140-8">http://dx.doi.org/10.1007/978-3-319-27140-8</a><br/>Format: Electronic Resources<br/>Security Standardisation Research Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235682024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Chen, Liqun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27152-1">http://dx.doi.org/10.1007/978-3-319-27152-1</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235692024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wang, Guojun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27161-3">http://dx.doi.org/10.1007/978-3-319-27161-3</a><br/>Format: Electronic Resources<br/>Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:228402024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Lassenius, Casper. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18612-2">http://dx.doi.org/10.1007/978-3-319-18612-2</a><br/>Format: Electronic Resources<br/>RoboCup 2014: Robot World Cup XVIIIent://SD_ILS/0/SD_ILS:228412024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bianchi, Reinaldo A. C. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18615-3">http://dx.doi.org/10.1007/978-3-319-18615-3</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXent://SD_ILS/0/SD_ILS:235882024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27543-7">http://dx.doi.org/10.1007/978-3-319-27543-7</a><br/>Format: Electronic Resources<br/>Languages, Applications and Technologies 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:235892024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Sierra-Rodríguez, José-Luis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27653-3">http://dx.doi.org/10.1007/978-3-319-27653-3</a><br/>Format: Electronic Resources<br/>Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedingsent://SD_ILS/0/SD_ILS:235912024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Desmedt, Yvo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27659-5">http://dx.doi.org/10.1007/978-3-319-27659-5</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235002024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Li, Xuandong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25942-0">http://dx.doi.org/10.1007/978-3-319-25942-0</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235012024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar El-Fakih, Khaled. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25945-1">http://dx.doi.org/10.1007/978-3-319-25945-1</a><br/>Format: Electronic Resources<br/>Model-Integrating Software Components Engineering Flexible Software Systemsent://SD_ILS/0/SD_ILS:243532024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Derakhshanmanesh, Mahdi. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-09646-5">http://dx.doi.org/10.1007/978-3-658-09646-5</a><br/>Format: Electronic Resources<br/>Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programmingent://SD_ILS/0/SD_ILS:242702024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Brauer, Johannes. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-06823-3">http://dx.doi.org/10.1007/978-3-658-06823-3</a><br/>Format: Electronic Resources<br/>Multilevel Business Processes Modeling and Data Analysisent://SD_ILS/0/SD_ILS:243772024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar G. Schuetz, Christoph. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-11084-0">http://dx.doi.org/10.1007/978-3-658-11084-0</a><br/>Format: Electronic Resources<br/>Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:235742024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Maciaszek, Leszek A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27218-4">http://dx.doi.org/10.1007/978-3-319-27218-4</a><br/>Format: Electronic Resources<br/>Advances in Conceptual Modeling ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234772024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Jeusfeld, Manfred A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25747-1">http://dx.doi.org/10.1007/978-3-319-25747-1</a><br/>Format: Electronic Resources<br/>Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systemsent://SD_ILS/0/SD_ILS:217352024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Garcia, Emilia. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11572-6">http://dx.doi.org/10.1007/978-3-319-11572-6</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction – INTERACT 2015 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:232262024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Abascal, Julio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22701-6">http://dx.doi.org/10.1007/978-3-319-22701-6</a><br/>Format: Electronic Resources<br/>The Practice of Enterprise Modeling 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234952024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Ralyté, Jolita. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25897-3">http://dx.doi.org/10.1007/978-3-319-25897-3</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems: OTM 2015 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:235092024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Ciuciu, Ioana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26138-6">http://dx.doi.org/10.1007/978-3-319-26138-6</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems: OTM 2015 Conferences Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:235112024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Debruyne, Christophe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26148-5">http://dx.doi.org/10.1007/978-3-319-26148-5</a><br/>Format: Electronic Resources<br/>Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papersent://SD_ILS/0/SD_ILS:226172024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Wyeld, Theodor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16940-8">http://dx.doi.org/10.1007/978-3-319-16940-8</a><br/>Format: Electronic Resources<br/>Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236082024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Plaat, Aske. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27992-3">http://dx.doi.org/10.1007/978-3-319-27992-3</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:236112024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Codescu, Mihai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28114-8">http://dx.doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Electronic Resources<br/>Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:236182024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28406-4">http://dx.doi.org/10.1007/978-3-319-28406-4</a><br/>Format: Electronic Resources<br/>Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236192024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Qiang, Weizhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28430-9">http://dx.doi.org/10.1007/978-3-319-28430-9</a><br/>Format: Electronic Resources<br/>Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236202024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Pop, Florin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28448-4">http://dx.doi.org/10.1007/978-3-319-28448-4</a><br/>Format: Electronic Resources<br/>Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236232024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Rozenberg, Grzegorz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28475-0">http://dx.doi.org/10.1007/978-3-319-28475-0</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:229182024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Holvoet, Tom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19282-6">http://dx.doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XVIIIent://SD_ILS/0/SD_ILS:248602024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48145-5">http://dx.doi.org/10.1007/978-3-662-48145-5</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:247672024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Egyed, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46675-9">http://dx.doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:247682024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Pitts, Andrew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46678-0">http://dx.doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248692024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Bansal, Nikhil. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48350-3">http://dx.doi.org/10.1007/978-3-662-48350-3</a><br/>Format: Electronic Resources<br/>Distributed Computing 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248842024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Moses, Yoram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48653-5">http://dx.doi.org/10.1007/978-3-662-48653-5</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedingsent://SD_ILS/0/SD_ILS:247022024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar D’Souza, Deepak. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46081-8">http://dx.doi.org/10.1007/978-3-662-46081-8</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:247832024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Voronkov, Andrei. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46823-4">http://dx.doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Electronic Resources<br/>Enterprise Interoperability 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248072024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar van Sinderen, Marten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47157-9">http://dx.doi.org/10.1007/978-3-662-47157-9</a><br/>Format: Electronic Resources<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:248402024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Kormanyos, Christopher. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47810-3">http://dx.doi.org/10.1007/978-3-662-47810-3</a><br/>Format: Electronic Resources<br/>Petri Net Synthesisent://SD_ILS/0/SD_ILS:248452024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Badouel, Eric. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47967-4">http://dx.doi.org/10.1007/978-3-662-47967-4</a><br/>Format: Electronic Resources<br/>Graph and Model Transformation General Framework and Applicationsent://SD_ILS/0/SD_ILS:248472024-06-10T14:58:36Z2024-06-10T14:58:36ZYazar Ehrig, Hartmut. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47980-3">http://dx.doi.org/10.1007/978-3-662-47980-3</a><br/>Format: Electronic Resources<br/>