Search Results for - Narrowed by: Electronic Book - Springer E-Book Collection - 2014 - Computer science. - Software engineering.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092014$0025092014$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?2024-06-16T17:08:33ZWeb Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:211512024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Tuosto, Emilio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08260-8">http://dx.doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Electronic Resources<br/>Refinement in Z and Object-Z Foundations and Advanced Applicationsent://SD_ILS/0/SD_ILS:194812024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Derrick, John. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-5355-9">http://dx.doi.org/10.1007/978-1-4471-5355-9</a><br/>Format: Electronic Resources<br/>Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212282024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Lassenius, Casper. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08738-2">http://dx.doi.org/10.1007/978-3-319-08738-2</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212382024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ruscio, Davide Di. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08789-4">http://dx.doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:206752024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Leung, Victor C.M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05506-0">http://dx.doi.org/10.1007/978-3-319-05506-0</a><br/>Format: Electronic Resources<br/>Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:205142024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Krishnamachari, Bhaskar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04651-8">http://dx.doi.org/10.1007/978-3-319-04651-8</a><br/>Format: Electronic Resources<br/>Introduction to Software Qualityent://SD_ILS/0/SD_ILS:207732024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar O’Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06106-1">http://dx.doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Badger, Julia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06200-6">http://dx.doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207272024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Salinesi, Camille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05843-6">http://dx.doi.org/10.1007/978-3-319-05843-6</a><br/>Format: Electronic Resources<br/>Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217642024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Fortino, Giancarlo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11692-1">http://dx.doi.org/10.1007/978-3-319-11692-1</a><br/>Format: Electronic Resources<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214232024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Avgeriou, Paris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09970-5">http://dx.doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217732024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Merz, Stephan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11737-9">http://dx.doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215252024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bondavalli, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10506-2">http://dx.doi.org/10.1007/978-3-319-10506-2</a><br/>Format: Electronic Resources<br/>Web Information Systems Engineering – WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:217762024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Benatallah, Boualem. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11746-1">http://dx.doi.org/10.1007/978-3-319-11746-1</a><br/>Format: Electronic Resources<br/>Web Information Systems Engineering – WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:217772024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Benatallah, Boualem. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11749-2">http://dx.doi.org/10.1007/978-3-319-11749-2</a><br/>Format: Electronic Resources<br/>Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217822024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Felber, Pascal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11764-5">http://dx.doi.org/10.1007/978-3-319-11764-5</a><br/>Format: Electronic Resources<br/>Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:220622024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Mazzeo, Pier Luigi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13323-2">http://dx.doi.org/10.1007/978-3-319-13323-2</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220662024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Yahav, Eran. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13338-6">http://dx.doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:219822024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Escobar, Santiago. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12904-4">http://dx.doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212482024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Biere, Armin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08867-9">http://dx.doi.org/10.1007/978-3-319-08867-9</a><br/>Format: Electronic Resources<br/>Design Thinking Research Building Innovation Eco-Systemsent://SD_ILS/0/SD_ILS:200672024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Leifer, Larry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-01303-9">http://dx.doi.org/10.1007/978-3-319-01303-9</a><br/>Format: Electronic Resources<br/>Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:206512024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Fischbach, Kai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05359-2">http://dx.doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:206582024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05416-2">http://dx.doi.org/10.1007/978-3-319-05416-2</a><br/>Format: Electronic Resources<br/>Process Design for Natural Scientists An Agile Model-Driven Approachent://SD_ILS/0/SD_ILS:245912024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Lamprecht, Anna-Lena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45006-2">http://dx.doi.org/10.1007/978-3-662-45006-2</a><br/>Format: Electronic Resources<br/>Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineeringent://SD_ILS/0/SD_ILS:242622024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Heinrich, Robert. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-06518-8">http://dx.doi.org/10.1007/978-3-658-06518-8</a><br/>Format: Electronic Resources<br/>Break-Glass Handling Exceptional Situations in Access Controlent://SD_ILS/0/SD_ILS:242922024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Petritsch, Helmut. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-07365-7">http://dx.doi.org/10.1007/978-3-658-07365-7</a><br/>Format: Electronic Resources<br/>Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systemsent://SD_ILS/0/SD_ILS:243072024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Biedermann, Alexander. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-08047-1">http://dx.doi.org/10.1007/978-3-658-08047-1</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246462024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Meersman, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45550-0">http://dx.doi.org/10.1007/978-3-662-45550-0</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems: OTM 2014 Conferences Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedingsent://SD_ILS/0/SD_ILS:246492024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Meersman, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45563-0">http://dx.doi.org/10.1007/978-3-662-45563-0</a><br/>Format: Electronic Resources<br/>Collaborative Design for Embedded Systems Co-modelling and Co-simulationent://SD_ILS/0/SD_ILS:239562024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54118-6">http://dx.doi.org/10.1007/978-3-642-54118-6</a><br/>Format: Electronic Resources<br/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:239612024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Mendes, Emilia. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54157-5">http://dx.doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240532024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bensalem, Saddek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54848-2">http://dx.doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Recommendation Systems in Software Engineeringent://SD_ILS/0/SD_ILS:238962024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Robillard, Martin P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45135-5">http://dx.doi.org/10.1007/978-3-642-45135-5</a><br/>Format: Electronic Resources<br/>Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:239002024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Chatterjee, Mainak. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45249-9">http://dx.doi.org/10.1007/978-3-642-45249-9</a><br/>Format: Electronic Resources<br/>Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectivesent://SD_ILS/0/SD_ILS:240732024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Medinilla, Ángel. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54991-5">http://dx.doi.org/10.1007/978-3-642-54991-5</a><br/>Format: Electronic Resources<br/>Mashups Concepts, Models and Architecturesent://SD_ILS/0/SD_ILS:240852024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Daniel, Florian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55049-2">http://dx.doi.org/10.1007/978-3-642-55049-2</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:241062024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55224-3">http://dx.doi.org/10.1007/978-3-642-55224-3</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworksent://SD_ILS/0/SD_ILS:240032024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Shehory, Onn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54432-3">http://dx.doi.org/10.1007/978-3-642-54432-3</a><br/>Format: Electronic Resources<br/>Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:239392024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Gibbons, Jeremy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-53956-5">http://dx.doi.org/10.1007/978-3-642-53956-5</a><br/>Format: Electronic Resources<br/>Automatic Generation of Combinatorial Test Dataent://SD_ILS/0/SD_ILS:243912024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Zhang, Jian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43429-1">http://dx.doi.org/10.1007/978-3-662-43429-1</a><br/>Format: Electronic Resources<br/>S-BPM ONE - Scientific Research 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207682024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Nanopoulos, Alexandros. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06065-1">http://dx.doi.org/10.1007/978-3-319-06065-1</a><br/>Format: Electronic Resources<br/>Future Business Software Current Trends in Business Software Developmentent://SD_ILS/0/SD_ILS:204262024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Brunetti, Gino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04144-5">http://dx.doi.org/10.1007/978-3-319-04144-5</a><br/>Format: Electronic Resources<br/>Biometrics in the New World The Cloud, Mobile Technology and Pervasive Identityent://SD_ILS/0/SD_ILS:204292024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ashbourn, Julian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04159-9">http://dx.doi.org/10.1007/978-3-319-04159-9</a><br/>Format: Electronic Resources<br/>Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developmentsent://SD_ILS/0/SD_ILS:204402024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Motta, Gianmario. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04217-6">http://dx.doi.org/10.1007/978-3-319-04217-6</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing – ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:208982024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Lomuscio, Alessio R. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06859-6">http://dx.doi.org/10.1007/978-3-319-06859-6</a><br/>Format: Electronic Resources<br/>Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208992024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cantone, Giovanni. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06862-6">http://dx.doi.org/10.1007/978-3-319-06862-6</a><br/>Format: Electronic Resources<br/>Socio-technical Design of Ubiquitous Computing Systemsent://SD_ILS/0/SD_ILS:205942024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar David, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05044-7">http://dx.doi.org/10.1007/978-3-319-05044-7</a><br/>Format: Electronic Resources<br/>Aligning Organizations Through Measurement The GQM+Strategies Approachent://SD_ILS/0/SD_ILS:205952024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Basili, Victor. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05047-8">http://dx.doi.org/10.1007/978-3-319-05047-8</a><br/>Format: Electronic Resources<br/>Models@run.time Foundations, Applications, and Roadmapsent://SD_ILS/0/SD_ILS:212582024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bencomo, Nelly. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08915-7">http://dx.doi.org/10.1007/978-3-319-08915-7</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212672024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Klein, Gerwin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08970-6">http://dx.doi.org/10.1007/978-3-319-08970-6</a><br/>Format: Electronic Resources<br/>Engineering Secure Future Internet Services and Systems Current Researchent://SD_ILS/0/SD_ILS:210042024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Heisel, Maritta. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07452-8">http://dx.doi.org/10.1007/978-3-319-07452-8</a><br/>Format: Electronic Resources<br/>Agile! The Good, the Hype and the Uglyent://SD_ILS/0/SD_ILS:206152024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Meyer, Bertrand. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05155-0">http://dx.doi.org/10.1007/978-3-319-05155-0</a><br/>Format: Electronic Resources<br/>Enterprise Information Systems Engineering The MERODE Approachent://SD_ILS/0/SD_ILS:214542024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Snoeck, Monique. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10145-3">http://dx.doi.org/10.1007/978-3-319-10145-3</a><br/>Format: Electronic Resources<br/>Agile Anywhere Essays on Agile Projects and Beyondent://SD_ILS/0/SD_ILS:214552024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Hazzan, Orit. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10157-6">http://dx.doi.org/10.1007/978-3-319-10157-6</a><br/>Format: Electronic Resources<br/>An Introduction to Design Scienceent://SD_ILS/0/SD_ILS:215552024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Johannesson, Paul. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10632-8">http://dx.doi.org/10.1007/978-3-319-10632-8</a><br/>Format: Electronic Resources<br/>FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208202024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Jones, Cliff. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06410-9">http://dx.doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Electronic Resources<br/>Augmented Marked Graphsent://SD_ILS/0/SD_ILS:208232024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cheung, King Sing. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06428-4">http://dx.doi.org/10.1007/978-3-319-06428-4</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:210402024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07602-7">http://dx.doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Electronic Resources<br/>Advanced Information Systems Engineering 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210902024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Jarke, Matthias. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07881-6">http://dx.doi.org/10.1007/978-3-319-07881-6</a><br/>Format: Electronic Resources<br/>Autonomy Requirements Engineering for Space Missionsent://SD_ILS/0/SD_ILS:213912024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Vassev, Emil. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09816-6">http://dx.doi.org/10.1007/978-3-319-09816-6</a><br/>Format: Electronic Resources<br/>Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214962024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Awan, Irfan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10359-4">http://dx.doi.org/10.1007/978-3-319-10359-4</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215122024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10431-7">http://dx.doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211422024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Sericola, Bruno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08219-6">http://dx.doi.org/10.1007/978-3-319-08219-6</a><br/>Format: Electronic Resources<br/>Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:222602024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Altmann, Jörn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14609-6">http://dx.doi.org/10.1007/978-3-319-14609-6</a><br/>Format: Electronic Resources<br/>Computational Logistics 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217052024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar González-Ramírez, Rosa G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11421-7">http://dx.doi.org/10.1007/978-3-319-11421-7</a><br/>Format: Electronic Resources<br/>Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218042024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Kravets, Alla. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11854-3">http://dx.doi.org/10.1007/978-3-319-11854-3</a><br/>Format: Electronic Resources<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218072024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Quintão Pereira, Fernando Magno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11863-5">http://dx.doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Electronic Resources<br/>Emergent Interfaces for Feature Modularizationent://SD_ILS/0/SD_ILS:217202024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ribeiro, Márcio. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11493-4">http://dx.doi.org/10.1007/978-3-319-11493-4</a><br/>Format: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:219012024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Dal Lago, Ugo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12466-7">http://dx.doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Fernández, Maribel. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6368-8">http://dx.doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Software Project Effort Estimation Foundations and Best Practice Guidelines for Successent://SD_ILS/0/SD_ILS:203532024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Trendowicz, Adam. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-03629-8">http://dx.doi.org/10.1007/978-3-319-03629-8</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedingsent://SD_ILS/0/SD_ILS:204222024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Flatt, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04132-2">http://dx.doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Electronic Resources<br/>Frontiers in Gaming Simulation 44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:205782024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Meijer, Sebastiaan A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04954-0">http://dx.doi.org/10.1007/978-3-319-04954-0</a><br/>Format: Electronic Resources<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:209752024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07317-0">http://dx.doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedingsent://SD_ILS/0/SD_ILS:209952024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Guo, Song. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07425-2">http://dx.doi.org/10.1007/978-3-319-07425-2</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207962024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Höfner, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06251-8">http://dx.doi.org/10.1007/978-3-319-06251-8</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:214622024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10181-1">http://dx.doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Electronic Resources<br/>SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:204552024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Geffert, Viliam. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04298-5">http://dx.doi.org/10.1007/978-3-319-04298-5</a><br/>Format: Electronic Resources<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:203862024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Vohra, Deepak. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-03934-3">http://dx.doi.org/10.1007/978-3-319-03934-3</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205622024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Maehle, Erik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04891-8">http://dx.doi.org/10.1007/978-3-319-04891-8</a><br/>Format: Electronic Resources<br/>Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedingsent://SD_ILS/0/SD_ILS:205632024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Jürjens, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04897-0">http://dx.doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:205662024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04915-1">http://dx.doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Electronic Resources<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:208832024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Hunt, John. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06776-6">http://dx.doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Electronic Resources<br/>Agile Risk Managementent://SD_ILS/0/SD_ILS:205872024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Moran, Alan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05008-9">http://dx.doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:205922024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Counsell, Steve. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05032-4">http://dx.doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Electronic Resources<br/>Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213532024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Commisso, Trine Hald. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09546-2">http://dx.doi.org/10.1007/978-3-319-09546-2</a><br/>Format: Electronic Resources<br/>Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:203492024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Winkler, Dietmar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-03602-1">http://dx.doi.org/10.1007/978-3-319-03602-1</a><br/>Format: Electronic Resources<br/>Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210282024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Demazeau, Yves. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07551-8">http://dx.doi.org/10.1007/978-3-319-07551-8</a><br/>Format: Electronic Resources<br/>Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214762024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Jonsson, Magnus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10262-7">http://dx.doi.org/10.1007/978-3-319-10262-7</a><br/>Format: Electronic Resources<br/>Future Internet Testing First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:210722024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Vos, Tanja E.J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07785-7">http://dx.doi.org/10.1007/978-3-319-07785-7</a><br/>Format: Electronic Resources<br/>Advanced Information Systems Engineering Workshops CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210882024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Iliadis, Lazaros. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07869-4">http://dx.doi.org/10.1007/978-3-319-07869-4</a><br/>Format: Electronic Resources<br/>High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architecturesent://SD_ILS/0/SD_ILS:208332024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Wang, Endong. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06486-4">http://dx.doi.org/10.1007/978-3-319-06486-4</a><br/>Format: Electronic Resources<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212862024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Seidl, Martina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09099-3">http://dx.doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Electronic Resources<br/>Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212872024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Giese, Holger. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09108-2">http://dx.doi.org/10.1007/978-3-319-09108-2</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:212902024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Murgante, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09129-7">http://dx.doi.org/10.1007/978-3-319-09129-7</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:212922024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Murgante, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09144-0">http://dx.doi.org/10.1007/978-3-319-09144-0</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part Ient://SD_ILS/0/SD_ILS:216542024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Sun, Xian-he. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11197-1">http://dx.doi.org/10.1007/978-3-319-11197-1</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Codish, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07151-0">http://dx.doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216682024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Combemale, Benoît. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11245-9">http://dx.doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:221592024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Kovalev, Mikhail. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13906-7">http://dx.doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Electronic Resources<br/>Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217112024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ouaknine, Joël. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11439-2">http://dx.doi.org/10.1007/978-3-319-11439-2</a><br/>Format: Electronic Resources<br/>Enterprise Information Systems 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:213462024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Hammoudi, Slimane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09492-2">http://dx.doi.org/10.1007/978-3-319-09492-2</a><br/>Format: Electronic Resources<br/>Cloud Computing and Services Science Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:217322024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Helfert, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11561-0">http://dx.doi.org/10.1007/978-3-319-11561-0</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:221902024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Gupta, Gopal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14125-1">http://dx.doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Electronic Resources<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:221912024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Schaefer, Ina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14130-5">http://dx.doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:221932024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Parsons, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14139-8">http://dx.doi.org/10.1007/978-3-319-14139-8</a><br/>Format: Electronic Resources<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:222112024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Stephenson, Ben. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14240-1">http://dx.doi.org/10.1007/978-3-319-14240-1</a><br/>Format: Electronic Resources<br/>Trusted Cloud Computingent://SD_ILS/0/SD_ILS:219472024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Krcmar, Helmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12718-7">http://dx.doi.org/10.1007/978-3-319-12718-7</a><br/>Format: Electronic Resources<br/>Business Process Management 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214592024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Sadiq, Shazia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10172-9">http://dx.doi.org/10.1007/978-3-319-10172-9</a><br/>Format: Electronic Resources<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210662024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ciardo, Gianfranco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07734-5">http://dx.doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part IIent://SD_ILS/0/SD_ILS:216532024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Sun, Xian-he. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11194-0">http://dx.doi.org/10.1007/978-3-319-11194-0</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217542024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Dingel, Juergen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11653-2">http://dx.doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213032024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cabot, Jordi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09195-2">http://dx.doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Electronic Resources<br/>A Rigorous Semantics for BPMN 2.0 Process Diagramsent://SD_ILS/0/SD_ILS:214162024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Kossak, Felix. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09931-6">http://dx.doi.org/10.1007/978-3-319-09931-6</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214172024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Goues, Claire Le. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09940-8">http://dx.doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215272024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Legay, Axel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10512-3">http://dx.doi.org/10.1007/978-3-319-10512-3</a><br/>Format: Electronic Resources<br/>Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211472024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Casteleyn, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08245-5">http://dx.doi.org/10.1007/978-3-319-08245-5</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215362024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bondavalli, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10557-4">http://dx.doi.org/10.1007/978-3-319-10557-4</a><br/>Format: Electronic Resources<br/>Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221542024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Jedlitschka, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13835-0">http://dx.doi.org/10.1007/978-3-319-13835-0</a><br/>Format: Electronic Resources<br/>Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218132024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Brugali, Davide. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11900-7">http://dx.doi.org/10.1007/978-3-319-11900-7</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:218202024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cassez, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http://dx.doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Electronic Resources<br/>Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218242024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Dregvaite, Giedre. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11958-8">http://dx.doi.org/10.1007/978-3-319-11958-8</a><br/>Format: Electronic Resources<br/>Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:217472024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Das, Vinu V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11629-7">http://dx.doi.org/10.1007/978-3-319-11629-7</a><br/>Format: Electronic Resources<br/>Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222292024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Dingsøyr, Torgeir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14358-3">http://dx.doi.org/10.1007/978-3-319-14358-3</a><br/>Format: Electronic Resources<br/>Knowledge Science, Engineering and Management 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218492024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Buchmann, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12096-6">http://dx.doi.org/10.1007/978-3-319-12096-6</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Horváth, András. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10885-8">http://dx.doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>eScience on Distributed Computing Infrastructure Achievements of PLGrid Plus Domain-Specific Services and Toolsent://SD_ILS/0/SD_ILS:216032024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bubak, Marian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10894-0">http://dx.doi.org/10.1007/978-3-319-10894-0</a><br/>Format: Electronic Resources<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216112024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Müller-Olm, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10936-7">http://dx.doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Electronic Resources<br/>Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:222482024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Aguilera, Marcos K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14472-6">http://dx.doi.org/10.1007/978-3-319-14472-6</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222492024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Dalpiaz, Fabiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14484-9">http://dx.doi.org/10.1007/978-3-319-14484-9</a><br/>Format: Electronic Resources<br/>Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:220032024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Mitasiunas, Antanas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13036-1">http://dx.doi.org/10.1007/978-3-319-13036-1</a><br/>Format: Electronic Resources<br/>Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221362024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13749-0">http://dx.doi.org/10.1007/978-3-319-13749-0</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211582024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar George, Laurent. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08311-7">http://dx.doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Electronic Resources<br/>Foundations for Designing User-Centered Systems What System Designers Need to Know about Peopleent://SD_ILS/0/SD_ILS:194702024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ritter, Frank E. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-5134-0">http://dx.doi.org/10.1007/978-1-4471-5134-0</a><br/>Format: Electronic Resources<br/>Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211822024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Yamashita, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08494-7">http://dx.doi.org/10.1007/978-3-319-08494-7</a><br/>Format: Electronic Resources<br/>Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211972024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Demri, Stéphane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08587-6">http://dx.doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Electronic Resources<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:206302024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Poole, Stephen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05215-1">http://dx.doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213822024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bulling, Nils. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09764-0">http://dx.doi.org/10.1007/978-3-319-09764-0</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IVent://SD_ILS/0/SD_ILS:212932024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Murgante, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09147-1">http://dx.doi.org/10.1007/978-3-319-09147-1</a><br/>Format: Electronic Resources<br/>Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:209372024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bauer, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07076-6">http://dx.doi.org/10.1007/978-3-319-07076-6</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:212942024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Murgante, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09150-1">http://dx.doi.org/10.1007/978-3-319-09150-1</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VIent://SD_ILS/0/SD_ILS:212952024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Murgante, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09153-2">http://dx.doi.org/10.1007/978-3-319-09153-2</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part Vent://SD_ILS/0/SD_ILS:212962024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Murgante, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09156-3">http://dx.doi.org/10.1007/978-3-319-09156-3</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:218552024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12154-3">http://dx.doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213132024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Goertzel, Ben. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09274-4">http://dx.doi.org/10.1007/978-3-319-09274-4</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218642024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Yu, Eric. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12206-9">http://dx.doi.org/10.1007/978-3-319-12206-9</a><br/>Format: Electronic Resources<br/>Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218652024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ortmeier, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12214-4">http://dx.doi.org/10.1007/978-3-319-12214-4</a><br/>Format: Electronic Resources<br/>Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218702024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Indulska, Marta. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12256-4">http://dx.doi.org/10.1007/978-3-319-12256-4</a><br/>Format: Electronic Resources<br/>Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communitiesent://SD_ILS/0/SD_ILS:216722024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Kacsuk, Péter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11268-8">http://dx.doi.org/10.1007/978-3-319-11268-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:219512024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Garrigue, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12736-1">http://dx.doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Electronic Resources<br/>Continuous Software Engineeringent://SD_ILS/0/SD_ILS:216752024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bosch, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11283-1">http://dx.doi.org/10.1007/978-3-319-11283-1</a><br/>Format: Electronic Resources<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217752024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Amyot, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11743-0">http://dx.doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Electronic Resources<br/>Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222952024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Hliněný, Petr. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14896-0">http://dx.doi.org/10.1007/978-3-319-14896-0</a><br/>Format: Electronic Resources<br/>Information Systems Management in the Big Data Eraent://SD_ILS/0/SD_ILS:220952024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Lake, Peter. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13503-8">http://dx.doi.org/10.1007/978-3-319-13503-8</a><br/>Format: Electronic Resources<br/>Secure and Trustworthy Service Composition The Aniketos Approachent://SD_ILS/0/SD_ILS:220982024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Brucker, Achim D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13518-2">http://dx.doi.org/10.1007/978-3-319-13518-2</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217392024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ait Ameur, Yamine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11587-0">http://dx.doi.org/10.1007/978-3-319-11587-0</a><br/>Format: Electronic Resources<br/>Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:222222024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Lopes, Luís. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14313-2">http://dx.doi.org/10.1007/978-3-319-14313-2</a><br/>Format: Electronic Resources<br/>Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:222242024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Lopes, Luís. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14325-5">http://dx.doi.org/10.1007/978-3-319-14325-5</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215682024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Lang, Frédéric. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10702-8">http://dx.doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Electronic Resources<br/>Knowledge Engineering and Knowledge Management 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221272024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Janowicz, Krzysztof. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13704-9">http://dx.doi.org/10.1007/978-3-319-13704-9</a><br/>Format: Electronic Resources<br/>Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220122024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Hervás, Ramón. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13102-3">http://dx.doi.org/10.1007/978-3-319-13102-3</a><br/>Format: Electronic Resources<br/>Ambient Assisted Living and Daily Activities 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220132024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Pecchia, Leandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13105-4">http://dx.doi.org/10.1007/978-3-319-13105-4</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:220372024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ermolayev, Vadim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13206-8">http://dx.doi.org/10.1007/978-3-319-13206-8</a><br/>Format: Electronic Resources<br/>Situational Method Engineeringent://SD_ILS/0/SD_ILS:238732024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Henderson-Sellers, Brian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-41467-1">http://dx.doi.org/10.1007/978-3-642-41467-1</a><br/>Format: Electronic Resources<br/>Advances in Computer Science and its Applications CSA 2013ent://SD_ILS/0/SD_ILS:238782024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Jeong, Hwa Young. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-41674-3">http://dx.doi.org/10.1007/978-3-642-41674-3</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240502024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Muscholl, Anca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54830-7">http://dx.doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240512024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54833-8">http://dx.doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239742024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Alhazov, Artiom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54239-8">http://dx.doi.org/10.1007/978-3-642-54239-8</a><br/>Format: Electronic Resources<br/>Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papersent://SD_ILS/0/SD_ILS:239832024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cerone, Antonio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54338-8">http://dx.doi.org/10.1007/978-3-642-54338-8</a><br/>Format: Electronic Resources<br/>Software Project Management in a Changing Worldent://SD_ILS/0/SD_ILS:240822024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ruhe, Günther. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55035-5">http://dx.doi.org/10.1007/978-3-642-55035-5</a><br/>Format: Electronic Resources<br/>Evolving Software Systemsent://SD_ILS/0/SD_ILS:239132024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Mens, Tom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45398-4">http://dx.doi.org/10.1007/978-3-642-45398-4</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XVIent://SD_ILS/0/SD_ILS:245702024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Kowalczyk, Ryszard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44871-7">http://dx.doi.org/10.1007/978-3-662-44871-7</a><br/>Format: Electronic Resources<br/>Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245722024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Villari, Massimo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44879-3">http://dx.doi.org/10.1007/978-3-662-44879-3</a><br/>Format: Electronic Resources<br/>Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:245782024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cordeiro, José. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44920-2">http://dx.doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239552024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cohen, Ernie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54108-7">http://dx.doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Self-Organizing Systems 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239582024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Elmenreich, Wilfried. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54140-7">http://dx.doi.org/10.1007/978-3-642-54140-7</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240552024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:240892024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55099-7">http://dx.doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Electronic Resources<br/>Systems and Software Quality The next step for industrialisationent://SD_ILS/0/SD_ILS:237972024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Wieczorek, Martin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-39971-8">http://dx.doi.org/10.1007/978-3-642-39971-8</a><br/>Format: Electronic Resources<br/>Handbook on Agent-Oriented Design Processesent://SD_ILS/0/SD_ILS:237982024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cossentino, Massimo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-39975-6">http://dx.doi.org/10.1007/978-3-642-39975-6</a><br/>Format: Electronic Resources<br/>User-Centred Engineering Creating Products for Humansent://SD_ILS/0/SD_ILS:244532024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Richter, Michael. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43989-0">http://dx.doi.org/10.1007/978-3-662-43989-0</a><br/>Format: Electronic Resources<br/>Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245612024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Sauer, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44811-3">http://dx.doi.org/10.1007/978-3-662-44811-3</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245682024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Merayo, Mercedes G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44857-1">http://dx.doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Web Information Systems and Technologies 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:244852024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Krempels, Karl-Heinz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44300-2">http://dx.doi.org/10.1007/978-3-662-44300-2</a><br/>Format: Electronic Resources<br/>Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulationent://SD_ILS/0/SD_ILS:242972024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Siegfried, Robert. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-07529-3">http://dx.doi.org/10.1007/978-3-658-07529-3</a><br/>Format: Electronic Resources<br/>RoboCup 2013: Robot World Cup XVIIent://SD_ILS/0/SD_ILS:245052024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Behnke, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44468-9">http://dx.doi.org/10.1007/978-3-662-44468-9</a><br/>Format: Electronic Resources<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:245062024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44471-9">http://dx.doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papersent://SD_ILS/0/SD_ILS:244202024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Desai, Narayan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43779-7">http://dx.doi.org/10.1007/978-3-662-43779-7</a><br/>Format: Electronic Resources<br/>Design Science Methodology for Information Systems and Software Engineeringent://SD_ILS/0/SD_ILS:244272024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Wieringa, Roel J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43839-8">http://dx.doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244382024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Barafort, Béatrix. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43896-1">http://dx.doi.org/10.1007/978-3-662-43896-1</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215992024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ciobanu, Gabriel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10882-7">http://dx.doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:219952024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Mendes, Pedro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12982-2">http://dx.doi.org/10.1007/978-3-319-12982-2</a><br/>Format: Electronic Resources<br/>Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240942024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Corral, Luis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55128-4">http://dx.doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Web Information Systems Engineering – WISE 2013 Workshops WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239912024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Huang, Zhisheng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54370-8">http://dx.doi.org/10.1007/978-3-642-54370-8</a><br/>Format: Electronic Resources<br/>Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:239992024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Mey, Dieter an. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54420-0">http://dx.doi.org/10.1007/978-3-642-54420-0</a><br/>Format: Electronic Resources<br/>Lean Software Development in Actionent://SD_ILS/0/SD_ILS:236362024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Janes, Andrea. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-00503-9">http://dx.doi.org/10.1007/978-3-642-00503-9</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:239462024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar McMillan, Kenneth L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54013-4">http://dx.doi.org/10.1007/978-3-642-54013-4</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:243852024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Magoutis, Kostas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43352-2">http://dx.doi.org/10.1007/978-3-662-43352-2</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:243882024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Kühn, Eva. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43376-8">http://dx.doi.org/10.1007/978-3-662-43376-8</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency IXent://SD_ILS/0/SD_ILS:246742024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Koutny, Maciej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45730-6">http://dx.doi.org/10.1007/978-3-662-45730-6</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240462024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Gnesi, Stefania. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54804-8">http://dx.doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Electronic Resources<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240472024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Cohen, Albert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54807-9">http://dx.doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:246102024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45231-8">http://dx.doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:246112024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45234-9">http://dx.doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Computer Information Systems and Industrial Management 13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246122024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Saeed, Khalid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45237-0">http://dx.doi.org/10.1007/978-3-662-45237-0</a><br/>Format: Electronic Resources<br/>Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222312024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Gheorghe, Marian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14370-5">http://dx.doi.org/10.1007/978-3-319-14370-5</a><br/>Format: Electronic Resources<br/>Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216382024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Kontchakov, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11113-1">http://dx.doi.org/10.1007/978-3-319-11113-1</a><br/>Format: Electronic Resources<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216462024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Bonakdarpour, Borzoo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11164-3">http://dx.doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>PRIMA 2014: Principles and Practice of Multi-Agent Systems 17th International Conference, Gold Coast, QLD Australia, December 1-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220342024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Dam, Hoa Khanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13191-7">http://dx.doi.org/10.1007/978-3-319-13191-7</a><br/>Format: Electronic Resources<br/>Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugient://SD_ILS/0/SD_ILS:240212024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Iida, Shusaku. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54624-2">http://dx.doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244742024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Hong, Hoon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44199-2">http://dx.doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244752024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Jones, Richard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44202-9">http://dx.doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246252024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Franch, Xavier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45391-9">http://dx.doi.org/10.1007/978-3-662-45391-9</a><br/>Format: Electronic Resources<br/>Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systemsent://SD_ILS/0/SD_ILS:242262024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Wagner, Christian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-05270-6">http://dx.doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lecturesent://SD_ILS/0/SD_ILS:246352024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45489-3">http://dx.doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Electronic Resources<br/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245222024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Baldan, Paolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44584-6">http://dx.doi.org/10.1007/978-3-662-44584-6</a><br/>Format: Electronic Resources<br/>Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244042024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Zowghi, Didar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43610-3">http://dx.doi.org/10.1007/978-3-662-43610-3</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244052024-06-16T17:08:33Z2024-06-16T17:08:33ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43613-4">http://dx.doi.org/10.1007/978-3-662-43613-4</a><br/>Format: Electronic Resources<br/>