Search Results for - Narrowed by: Springer E-Book Collection - 2014 - Computer science. - Software engineering.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$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-05-24T00:09:50ZRefinement in Z and Object-Z Foundations and Advanced Applicationsent://SD_ILS/0/SD_ILS:194812024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Socio-technical Design of Ubiquitous Computing Systemsent://SD_ILS/0/SD_ILS:205942024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Agile! The Good, the Hype and the Uglyent://SD_ILS/0/SD_ILS:206152024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:211512024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208202024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Foundations for Designing User-Centered Systems What System Designers Need to Know about Peopleent://SD_ILS/0/SD_ILS:194702024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Design Thinking Research Building Innovation Eco-Systemsent://SD_ILS/0/SD_ILS:200672024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Agile Risk Managementent://SD_ILS/0/SD_ILS:205872024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Introduction to Software Qualityent://SD_ILS/0/SD_ILS:207732024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Lean Software Development in Actionent://SD_ILS/0/SD_ILS:236362024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar Á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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:240892024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Transactions on Petri Nets and Other Models of Concurrency IXent://SD_ILS/0/SD_ILS:246742024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Process Design for Natural Scientists An Agile Model-Driven Approachent://SD_ILS/0/SD_ILS:245912024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Automatic Generation of Combinatorial Test Dataent://SD_ILS/0/SD_ILS:243912024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>RoboCup 2013: Robot World Cup XVIIent://SD_ILS/0/SD_ILS:245052024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:205142024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:208832024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Advanced Information Systems Engineering Workshops CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210882024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Business Process Management 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214592024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:214622024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214762024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213132024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216682024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211472024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Enterprise Information Systems 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:213462024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212282024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214962024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217642024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Web Information Systems Engineering – WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:217762024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:219512024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215252024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218642024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205622024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:203862024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:206752024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developmentsent://SD_ILS/0/SD_ILS:204402024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Models@run.time Foundations, Applications, and Roadmapsent://SD_ILS/0/SD_ILS:212582024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Engineering Secure Future Internet Services and Systems Current Researchent://SD_ILS/0/SD_ILS:210042024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Continuous Software Engineeringent://SD_ILS/0/SD_ILS:216752024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215122024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217392024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218072024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:222112024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222312024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221362024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architecturesent://SD_ILS/0/SD_ILS:208332024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Future Internet Testing First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:210722024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Autonomy Requirements Engineering for Space Missionsent://SD_ILS/0/SD_ILS:213912024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:221592024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Emergent Interfaces for Feature Modularizationent://SD_ILS/0/SD_ILS:217202024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215682024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215992024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Systems and Software Quality The next step for industrialisationent://SD_ILS/0/SD_ILS:237972024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:239002024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Mashups Concepts, Models and Architecturesent://SD_ILS/0/SD_ILS:240852024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugient://SD_ILS/0/SD_ILS:240212024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>User-Centred Engineering Creating Products for Humansent://SD_ILS/0/SD_ILS:244532024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Future Business Software Current Trends in Business Software Developmentent://SD_ILS/0/SD_ILS:204262024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>A Rigorous Semantics for BPMN 2.0 Process Diagramsent://SD_ILS/0/SD_ILS:214162024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214232024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Computational Logistics 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217052024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217112024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221542024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Information Systems Management in the Big Data Eraent://SD_ILS/0/SD_ILS:220952024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222492024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216382024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Collaborative Design for Embedded Systems Co-modelling and Co-simulationent://SD_ILS/0/SD_ILS:239562024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Biometrics in the New World The Cloud, Mobile Technology and Pervasive Identityent://SD_ILS/0/SD_ILS:204292024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Advanced Information Systems Engineering 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210902024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211822024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>An Introduction to Design Scienceent://SD_ILS/0/SD_ILS:215552024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Enterprise Information Systems Engineering The MERODE Approachent://SD_ILS/0/SD_ILS:214542024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communitiesent://SD_ILS/0/SD_ILS:216722024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218042024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:219952024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Secure and Trustworthy Service Composition The Aniketos Approachent://SD_ILS/0/SD_ILS:220982024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218242024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Knowledge Science, Engineering and Management 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218492024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216112024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216462024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:239612024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246252024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245222024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Recommendation Systems in Software Engineeringent://SD_ILS/0/SD_ILS:238962024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:245782024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systemsent://SD_ILS/0/SD_ILS:242262024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systemsent://SD_ILS/0/SD_ILS:243072024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244042024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar Á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/>Design Science Methodology for Information Systems and Software Engineeringent://SD_ILS/0/SD_ILS:244272024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:220032024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Knowledge Engineering and Knowledge Management 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221272024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:222482024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Advances in Computer Science and its Applications CSA 2013ent://SD_ILS/0/SD_ILS:238782024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectivesent://SD_ILS/0/SD_ILS:240732024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworksent://SD_ILS/0/SD_ILS:240032024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Trusted Cloud Computingent://SD_ILS/0/SD_ILS:219472024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineeringent://SD_ILS/0/SD_ILS:242622024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Transactions on Computational Collective Intelligence XVIent://SD_ILS/0/SD_ILS:245702024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulationent://SD_ILS/0/SD_ILS:242972024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Software Project Management in a Changing Worldent://SD_ILS/0/SD_ILS:240822024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Break-Glass Handling Exceptional Situations in Access Controlent://SD_ILS/0/SD_ILS:242922024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244742024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>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-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>Situational Method Engineeringent://SD_ILS/0/SD_ILS:238732024-05-24T00:09:50Z2024-05-24T00:09:50ZYazar 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/>