Search Results for - Narrowed by: 2016 - Software engineering.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092016$0025092016$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?2024-06-15T09:27:59ZSoftware engineeringent://SD_ILS/0/SD_ILS:133242024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Sommerville, Ian<br/>Format: Kitap<br/>Distributed Simulation A Model Driven Engineering Approachent://SD_ILS/0/SD_ILS:164932024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Topçu, Okan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-03050-0">http://dx.doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Managing Humans Biting and Humorous Tales of a Software Engineering Managerent://SD_ILS/0/SD_ILS:164462024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lopp, Michael. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4842-2158-7">http://dx.doi.org/10.1007/978-1-4842-2158-7</a><br/>Format: Electronic Resources<br/>Jumpstart Tableau A Step-By-Step Guide to Better Data Visualizationent://SD_ILS/0/SD_ILS:164432024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Khan, Arshad. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4842-1934-8">http://dx.doi.org/10.1007/978-1-4842-1934-8</a><br/>Format: Electronic Resources<br/>Project Management Basics How to Manage Your Project with Checklistsent://SD_ILS/0/SD_ILS:164452024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar McBride, Melanie. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4842-2086-3">http://dx.doi.org/10.1007/978-1-4842-2086-3</a><br/>Format: Electronic Resources<br/>Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:177752024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Borangiu, Theodor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32689-4">http://dx.doi.org/10.1007/978-3-319-32689-4</a><br/>Format: Electronic Resources<br/>Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeriaent://SD_ILS/0/SD_ILS:178482024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Chikhi, Salim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33410-3">http://dx.doi.org/10.1007/978-3-319-33410-3</a><br/>Format: Electronic Resources<br/>Biomedical Data Management and Graph Online Querying VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 – September 4, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:181652024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wang, Fusheng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41576-5">http://dx.doi.org/10.1007/978-3-319-41576-5</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:181662024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Mazzara, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41579-6">http://dx.doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181832024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Alferes, Jose Julio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42019-6">http://dx.doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:181912024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42108-7">http://dx.doi.org/10.1007/978-3-319-42108-7</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182092024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Greuel, Gert-Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42432-3">http://dx.doi.org/10.1007/978-3-319-42432-3</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:182182024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Dignum, Virginia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42691-4">http://dx.doi.org/10.1007/978-3-319-42691-4</a><br/>Format: Electronic Resources<br/>Nordic Contributions in IS Research 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182432024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lundh Snis, Ulrika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43597-8">http://dx.doi.org/10.1007/978-3-319-43597-8</a><br/>Format: Electronic Resources<br/>Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183422024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Monrose, Fabian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45719-2">http://dx.doi.org/10.1007/978-3-319-45719-2</a><br/>Format: Electronic Resources<br/>Collaborative Quality Assurance in Information Systems Development The Interaction of Software Development Techniques and Team Cognitionent://SD_ILS/0/SD_ILS:169642024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Spohrer, Kai. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25163-9">http://dx.doi.org/10.1007/978-3-319-25163-9</a><br/>Format: Electronic Resources<br/>Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:172812024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Daniel, Florian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28727-0">http://dx.doi.org/10.1007/978-3-319-28727-0</a><br/>Format: Electronic Resources<br/>Behavioral Program Synthesis with Genetic Programmingent://SD_ILS/0/SD_ILS:171732024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Krawiec, Krzysztof. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27565-9">http://dx.doi.org/10.1007/978-3-319-27565-9</a><br/>Format: Electronic Resources<br/>Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:175562024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Caballero, Juan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30806-7">http://dx.doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:173712024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29510-7">http://dx.doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Computational Intelligence and Quantitative Software Engineeringent://SD_ILS/0/SD_ILS:170162024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Pedrycz, Witold. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25964-2">http://dx.doi.org/10.1007/978-3-319-25964-2</a><br/>Format: Electronic Resources<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:175792024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lindley, Sam. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30936-1">http://dx.doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:173072024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Braga, Christiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28934-2">http://dx.doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Intelligent Web Data Management: Software Architectures and Emerging Technologiesent://SD_ILS/0/SD_ILS:174662024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Ma, Kun. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30192-1">http://dx.doi.org/10.1007/978-3-319-30192-1</a><br/>Format: Electronic Resources<br/>Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174762024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Maciaszek, Leszek A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30243-0">http://dx.doi.org/10.1007/978-3-319-30243-0</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174772024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Yakovyna, Vitaliy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30246-1">http://dx.doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015ent://SD_ILS/0/SD_ILS:171972024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Ciancarini, Paolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27896-4">http://dx.doi.org/10.1007/978-3-319-27896-4</a><br/>Format: Electronic Resources<br/>Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:171222024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Winkler, Dietmar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27033-3">http://dx.doi.org/10.1007/978-3-319-27033-3</a><br/>Format: Electronic Resources<br/>Multidimensional Views on Enterprise Information Systems Proceedings of ERP Future 2014ent://SD_ILS/0/SD_ILS:171232024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Piazolo, Felix. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27043-2">http://dx.doi.org/10.1007/978-3-319-27043-2</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:178572024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Rovatsos, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33509-4">http://dx.doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178582024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Sharp, Helen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33515-5">http://dx.doi.org/10.1007/978-3-319-33515-5</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178612024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33600-8">http://dx.doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Computational Sustainabilityent://SD_ILS/0/SD_ILS:176792024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lässig, Jörg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31858-5">http://dx.doi.org/10.1007/978-3-319-31858-5</a><br/>Format: Electronic Resources<br/>Green, Pervasive, and Cloud Computing 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:179592024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Huang, Xinyi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39077-2">http://dx.doi.org/10.1007/978-3-319-39077-2</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:176132024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31220-0">http://dx.doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Open Source Systems: Integrating Communities 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179732024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Crowston, Kevin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39225-7">http://dx.doi.org/10.1007/978-3-319-39225-7</a><br/>Format: Electronic Resources<br/>Domain-Specific Conceptual Modeling Concepts, Methods and Toolsent://SD_ILS/0/SD_ILS:179942024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Karagiannis, Dimitris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39417-6">http://dx.doi.org/10.1007/978-3-319-39417-6</a><br/>Format: Electronic Resources<br/>Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:176352024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gaudou, Benoit. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31447-1">http://dx.doi.org/10.1007/978-3-319-31447-1</a><br/>Format: Electronic Resources<br/>Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181552024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Davis, Brian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41498-0">http://dx.doi.org/10.1007/978-3-319-41498-0</a><br/>Format: Electronic Resources<br/>Modeling with UML Language, Concepts, Methodsent://SD_ILS/0/SD_ILS:179022024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Rumpe, Bernhard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33933-7">http://dx.doi.org/10.1007/978-3-319-33933-7</a><br/>Format: Electronic Resources<br/>Mobile Web and Intelligent Information Systems 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182662024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Younas, Muhammad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44215-0">http://dx.doi.org/10.1007/978-3-319-44215-0</a><br/>Format: Electronic Resources<br/>Qualità dei sistemi e del software Il prossimo passo per l’industrializzazioneent://SD_ILS/0/SD_ILS:185642024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wieczorek, Martin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47771-7">http://dx.doi.org/10.1007/978-3-662-47771-7</a><br/>Format: Electronic Resources<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:179172024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34096-8">http://dx.doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186552024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Chechik, Marsha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49674-9">http://dx.doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Service-Oriented and Cloud Computing 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182812024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Aiello, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44482-6">http://dx.doi.org/10.1007/978-3-319-44482-6</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181292024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Creignou, Nadia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40970-2">http://dx.doi.org/10.1007/978-3-319-40970-2</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:172272024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gavanelli, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28228-2">http://dx.doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Description and Selection of Communication Services for Service Oriented Network Architecturesent://SD_ILS/0/SD_ILS:184852024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Khondoker, Rahamatullah. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-12742-8">http://dx.doi.org/10.1007/978-3-658-12742-8</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:186762024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Skrzypczak, Michał. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52947-8">http://dx.doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency XIent://SD_ILS/0/SD_ILS:186882024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Koutny, Maciej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53401-4">http://dx.doi.org/10.1007/978-3-662-53401-4</a><br/>Format: Electronic Resources<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:183992024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Grabowski, Jens. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46613-2">http://dx.doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Electronic Resources<br/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184112024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Falcone, Yliès. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46982-9">http://dx.doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186272024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Freivalds, Rūsiņš Mārtiņš. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49192-8">http://dx.doi.org/10.1007/978-3-662-49192-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186452024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Thiemann, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49498-1">http://dx.doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Crisis Management for Software Development and Knowledge Transferent://SD_ILS/0/SD_ILS:182292024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Zykov, Sergey V. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42966-3">http://dx.doi.org/10.1007/978-3-319-42966-3</a><br/>Format: Electronic Resources<br/>Economics of Grids, Clouds, Systems, and Services 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:182342024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Altmann, Jörn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43177-2">http://dx.doi.org/10.1007/978-3-319-43177-2</a><br/>Format: Electronic Resources<br/>Architectural Design Conception and Specification of Interactive Systemsent://SD_ILS/0/SD_ILS:182372024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Vissers, Chris A. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43298-4">http://dx.doi.org/10.1007/978-3-319-43298-4</a><br/>Format: Electronic Resources<br/>Smart City 360° First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:178732024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Leon-Garcia, Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33681-7">http://dx.doi.org/10.1007/978-3-319-33681-7</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178752024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33693-0">http://dx.doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Electronic Resources<br/>Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:180912024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Marcus, Aaron. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40406-6">http://dx.doi.org/10.1007/978-3-319-40406-6</a><br/>Format: Electronic Resources<br/>Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174332024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Mauw, Sjouke. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29968-6">http://dx.doi.org/10.1007/978-3-319-29968-6</a><br/>Format: Electronic Resources<br/>Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projectsent://SD_ILS/0/SD_ILS:181532024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Book, Matthias. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41478-2">http://dx.doi.org/10.1007/978-3-319-41478-2</a><br/>Format: Electronic Resources<br/>Business Modeling and Software Design 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:181002024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Shishkov, Boris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40512-4">http://dx.doi.org/10.1007/978-3-319-40512-4</a><br/>Format: Electronic Resources<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:175492024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30734-3">http://dx.doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179032024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Mamatas, Lefteris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33936-8">http://dx.doi.org/10.1007/978-3-319-33936-8</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179042024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lecomte, Thierry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33951-1">http://dx.doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Instruction Selection Principles, Methods, and Applicationsent://SD_ILS/0/SD_ILS:179112024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Hjort Blindell, Gabriel. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34019-7">http://dx.doi.org/10.1007/978-3-319-34019-7</a><br/>Format: Electronic Resources<br/>Managing Software Process Evolution Traditional, Agile and Beyond – How to Handle Process Changeent://SD_ILS/0/SD_ILS:176482024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kuhrmann, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31545-4">http://dx.doi.org/10.1007/978-3-319-31545-4</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:177112024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32149-3">http://dx.doi.org/10.1007/978-3-319-32149-3</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:177122024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32152-3">http://dx.doi.org/10.1007/978-3-319-32152-3</a><br/>Format: Electronic Resources<br/>Integrating User-Centred Design in Agile Developmentent://SD_ILS/0/SD_ILS:177142024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Cockton, Gilbert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32165-3">http://dx.doi.org/10.1007/978-3-319-32165-3</a><br/>Format: Electronic Resources<br/>Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedingsent://SD_ILS/0/SD_ILS:183552024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Klusch, Matthias. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45889-2">http://dx.doi.org/10.1007/978-3-319-45889-2</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183562024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Crnkovic, Ivica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45892-2">http://dx.doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:183572024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Ebert, Achim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45916-5">http://dx.doi.org/10.1007/978-3-319-45916-5</a><br/>Format: Electronic Resources<br/>Trust, Privacy and Security in Digital Business 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182702024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Katsikas, Sokratis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44341-6">http://dx.doi.org/10.1007/978-3-319-44341-6</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXVIIent://SD_ILS/0/SD_ILS:186652024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-50412-3">http://dx.doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing – ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:186682024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Norta, Alex. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-50539-7">http://dx.doi.org/10.1007/978-3-662-50539-7</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXVent://SD_ILS/0/SD_ILS:186952024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53580-6">http://dx.doi.org/10.1007/978-3-662-53580-6</a><br/>Format: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:183962024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar van Eekelen, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46559-3">http://dx.doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Information Systems: Development, Research, Applications, Education 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184002024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wrycza, Stanislaw. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46642-2">http://dx.doi.org/10.1007/978-3-319-46642-2</a><br/>Format: Electronic Resources<br/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:184102024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46969-0">http://dx.doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183192024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Castor, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45279-1">http://dx.doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:186212024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Jobstmann, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49122-5">http://dx.doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Collaboration in a Hyperconnected World 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183252024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Afsarmanesh, Hamideh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45390-3">http://dx.doi.org/10.1007/978-3-319-45390-3</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:181872024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42085-1">http://dx.doi.org/10.1007/978-3-319-42085-1</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IVent://SD_ILS/0/SD_ILS:181882024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42089-9">http://dx.doi.org/10.1007/978-3-319-42089-9</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part Vent://SD_ILS/0/SD_ILS:181892024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42092-9">http://dx.doi.org/10.1007/978-3-319-42092-9</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:181922024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42111-7">http://dx.doi.org/10.1007/978-3-319-42111-7</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182132024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kohlhase, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42547-4">http://dx.doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183342024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bellatreche, Ladjel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45547-1">http://dx.doi.org/10.1007/978-3-319-45547-1</a><br/>Format: Electronic Resources<br/>OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183352024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Maruyama, Naoya. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45550-1">http://dx.doi.org/10.1007/978-3-319-45550-1</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:181602024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Chaudhuri, Swarat. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41540-6">http://dx.doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181672024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar De Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41591-8">http://dx.doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Mobile and Wireless Technologies 2016ent://SD_ILS/0/SD_ILS:191312024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kim, Kuinam J. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-1409-3">http://dx.doi.org/10.1007/978-981-10-1409-3</a><br/>Format: Electronic Resources<br/>Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapesent://SD_ILS/0/SD_ILS:182062024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Adão, Telmo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42372-2">http://dx.doi.org/10.1007/978-3-319-42372-2</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182332024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43144-4">http://dx.doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>An Economic Interpretation of Linear Programmingent://SD_ILS/0/SD_ILS:162772024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Paris, Quirino. author.<br/><a href="http://dx.doi.org/10.1057/9781137573926">http://dx.doi.org/10.1057/9781137573926</a><br/>Format: Electronic Resources<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:177622024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bošnački, Dragan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32582-8">http://dx.doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Information Technology in Environmental Engineering Proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015)ent://SD_ILS/0/SD_ILS:169632024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Marx Gómez, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25153-0">http://dx.doi.org/10.1007/978-3-319-25153-0</a><br/>Format: Electronic Resources<br/>Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174542024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lorenz, Pascal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30142-6">http://dx.doi.org/10.1007/978-3-319-30142-6</a><br/>Format: Electronic Resources<br/>Autonomic Road Transport Support Systemsent://SD_ILS/0/SD_ILS:170022024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar McCluskey, Thomas Leo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25808-9">http://dx.doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Electronic Resources<br/>Trustworthy Open Self-Organising Systemsent://SD_ILS/0/SD_ILS:173372024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Reif, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29201-4">http://dx.doi.org/10.1007/978-3-319-29201-4</a><br/>Format: Electronic Resources<br/>Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:176502024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31559-1">http://dx.doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179602024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bertogna, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39083-3">http://dx.doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:178642024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Hildebrandt, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33612-1">http://dx.doi.org/10.1007/978-3-319-33612-1</a><br/>Format: Electronic Resources<br/>Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Drivingent://SD_ILS/0/SD_ILS:178402024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Ross, Hans-Leo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33361-8">http://dx.doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Electronic Resources<br/>Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:178352024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Celesti, Antonio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33313-7">http://dx.doi.org/10.1007/978-3-319-33313-7</a><br/>Format: Electronic Resources<br/>Design Thinking Research Making Design Thinking Foundationalent://SD_ILS/0/SD_ILS:166122024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Plattner, Hasso. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19641-1">http://dx.doi.org/10.1007/978-3-319-19641-1</a><br/>Format: Electronic Resources<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:169912024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Buhr, Peter A. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25703-7">http://dx.doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:173812024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Helfert, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29582-4">http://dx.doi.org/10.1007/978-3-319-29582-4</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173862024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kiselyov, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29604-3">http://dx.doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174842024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Daneva, Maya. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30282-9">http://dx.doi.org/10.1007/978-3-319-30282-9</a><br/>Format: Electronic Resources<br/>Hagenberg Business Process Modelling Methodent://SD_ILS/0/SD_ILS:175202024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kossak, Felix. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30496-0">http://dx.doi.org/10.1007/978-3-319-30496-0</a><br/>Format: Electronic Resources<br/>Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180642024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Arnicans, Guntis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40180-5">http://dx.doi.org/10.1007/978-3-319-40180-5</a><br/>Format: Electronic Resources<br/>Games and Learning Alliance 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:180662024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar De Gloria, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40216-1">http://dx.doi.org/10.1007/978-3-319-40216-1</a><br/>Format: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180682024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40229-1">http://dx.doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:180832024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Marcus, Aaron. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40355-7">http://dx.doi.org/10.1007/978-3-319-40355-7</a><br/>Format: Electronic Resources<br/>High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:180842024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kozubek, Tomáš. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40361-8">http://dx.doi.org/10.1007/978-3-319-40361-8</a><br/>Format: Electronic Resources<br/>Design Thinking Research Taking Breakthrough Innovation Homeent://SD_ILS/0/SD_ILS:180882024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Plattner, Hasso. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40382-3">http://dx.doi.org/10.1007/978-3-319-40382-3</a><br/>Format: Electronic Resources<br/>Software Business 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181012024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Maglyas, Andrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40515-5">http://dx.doi.org/10.1007/978-3-319-40515-5</a><br/>Format: Electronic Resources<br/>Software Engineering Research, Management and Applicationsent://SD_ILS/0/SD_ILS:178992024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lee, Roger. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33903-0">http://dx.doi.org/10.1007/978-3-319-33903-0</a><br/>Format: Electronic Resources<br/>Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181022024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Echahed, Rachid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40530-8">http://dx.doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part Ient://SD_ILS/0/SD_ILS:180012024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kurosu, Masaaki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39510-4">http://dx.doi.org/10.1007/978-3-319-39510-4</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part IIIent://SD_ILS/0/SD_ILS:180022024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kurosu, Masaaki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39513-5">http://dx.doi.org/10.1007/978-3-319-39513-5</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182532024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wittevrongel, Sabine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43904-4">http://dx.doi.org/10.1007/978-3-319-43904-4</a><br/>Format: Electronic Resources<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183612024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar ter Beek, Maurice H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45943-1">http://dx.doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Rayadurgam, Sanjai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40648-0">http://dx.doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186522024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Jacobs, Bart. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49630-5">http://dx.doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186542024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Stevens, Perdita. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49665-7">http://dx.doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Big Data Technologies and Applicationsent://SD_ILS/0/SD_ILS:182842024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Furht, Borko. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44550-2">http://dx.doi.org/10.1007/978-3-319-44550-2</a><br/>Format: Electronic Resources<br/>Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disastersent://SD_ILS/0/SD_ILS:184812024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Al-Akkad, Amro. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-12616-2">http://dx.doi.org/10.1007/978-3-658-12616-2</a><br/>Format: Electronic Resources<br/>Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programsent://SD_ILS/0/SD_ILS:184822024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Herdt, Vladimir. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-12680-3">http://dx.doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Electronic Resources<br/>Variation Based Dense 3D Reconstruction Application on Monocular Mini-Laparoscopic Sequencesent://SD_ILS/0/SD_ILS:184832024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Painer, Sven. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-12698-8">http://dx.doi.org/10.1007/978-3-658-12698-8</a><br/>Format: Electronic Resources<br/>Collaboration and Technology 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182962024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Yuizono, Takaya. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44799-5">http://dx.doi.org/10.1007/978-3-319-44799-5</a><br/>Format: Electronic Resources<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179292024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kapitsaki, Georgia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-35122-3">http://dx.doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:179332024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bozzon, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38791-8">http://dx.doi.org/10.1007/978-3-319-38791-8</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183832024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Fiems, Dieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46433-6">http://dx.doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182992024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kreiner, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44817-6">http://dx.doi.org/10.1007/978-3-319-44817-6</a><br/>Format: Electronic Resources<br/>Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:179432024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Zhang, Yin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38904-2">http://dx.doi.org/10.1007/978-3-319-38904-2</a><br/>Format: Electronic Resources<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:183892024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Torra, Vicenç. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46481-7">http://dx.doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183012024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Fränzle, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44878-7">http://dx.doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183022024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Paias, Ana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44896-1">http://dx.doi.org/10.1007/978-3-319-44896-1</a><br/>Format: Electronic Resources<br/>Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183032024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bogdan, Cristian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44902-9">http://dx.doi.org/10.1007/978-3-319-44902-9</a><br/>Format: Electronic Resources<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:183932024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Steffen, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46508-1">http://dx.doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:172462024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wierzbicki, Adam. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28361-6">http://dx.doi.org/10.1007/978-3-319-28361-6</a><br/>Format: Electronic Resources<br/>Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179492024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Clarke, Paul M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38980-6">http://dx.doi.org/10.1007/978-3-319-38980-6</a><br/>Format: Electronic Resources<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:183082024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kunze, Matthias. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44960-9">http://dx.doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:184072024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Osman, Nardine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46840-2">http://dx.doi.org/10.1007/978-3-319-46840-2</a><br/>Format: Electronic Resources<br/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184152024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Sarro, Federica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47106-8">http://dx.doi.org/10.1007/978-3-319-47106-8</a><br/>Format: Electronic Resources<br/>Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184162024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Cinquemani, Eugenio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47151-8">http://dx.doi.org/10.1007/978-3-319-47151-8</a><br/>Format: Electronic Resources<br/>Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184182024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Czachórski, Tadeusz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47217-1">http://dx.doi.org/10.1007/978-3-319-47217-1</a><br/>Format: Electronic Resources<br/>Perspectives in Business Informatics Research 15th International Conference, BIR 2016, Prague, Czech Republic, September 15–16, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183202024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Řepa, Václav. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45321-7">http://dx.doi.org/10.1007/978-3-319-45321-7</a><br/>Format: Electronic Resources<br/>Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Controlent://SD_ILS/0/SD_ILS:185292024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Goldbach, Tobias. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-14893-5">http://dx.doi.org/10.1007/978-3-658-14893-5</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183282024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Skavhaug, Amund. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45477-1">http://dx.doi.org/10.1007/978-3-319-45477-1</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183292024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Skavhaug, Amund. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45480-1">http://dx.doi.org/10.1007/978-3-319-45480-1</a><br/>Format: Electronic Resources<br/>Software Design for Resilient Computer Systemsent://SD_ILS/0/SD_ILS:173632024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Schagaev, Igor. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29465-0">http://dx.doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:173652024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Cornélio, Márcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29473-5">http://dx.doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Electronic Resources<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:171912024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Probst, Christian W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27810-0">http://dx.doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods Transportation by Road and Railent://SD_ILS/0/SD_ILS:175782024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Vamanu, Bogdan I. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30931-6">http://dx.doi.org/10.1007/978-3-319-30931-6</a><br/>Format: Electronic Resources<br/>Tangible Interactive Systems Grasping the Real World with Computersent://SD_ILS/0/SD_ILS:174822024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Boy, Guy André. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30270-6">http://dx.doi.org/10.1007/978-3-319-30270-6</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:173882024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gurfinkel, Arie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29613-5">http://dx.doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:173902024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29628-9">http://dx.doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Software Engineering Education Going Agile 11th China–Europe International Symposium on Software Engineering Education (CEISEE 2015)ent://SD_ILS/0/SD_ILS:173322024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kassel, Stephan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29166-6">http://dx.doi.org/10.1007/978-3-319-29166-6</a><br/>Format: Electronic Resources<br/>Agile Software Development Teamsent://SD_ILS/0/SD_ILS:170272024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Schmidt, Christoph. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26057-0">http://dx.doi.org/10.1007/978-3-319-26057-0</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174092024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Shen, Xipeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29778-1">http://dx.doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174142024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kofroň, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29817-7">http://dx.doi.org/10.1007/978-3-319-29817-7</a><br/>Format: Electronic Resources<br/>OSS Reliability Measurement and Assessmentent://SD_ILS/0/SD_ILS:176772024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Yamada, Shigeru. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31818-9">http://dx.doi.org/10.1007/978-3-319-31818-9</a><br/>Format: Electronic Resources<br/>Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015ent://SD_ILS/0/SD_ILS:170482024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Mejia, Jezreel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26285-7">http://dx.doi.org/10.1007/978-3-319-26285-7</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:179632024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Serrano, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39110-6">http://dx.doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:174262024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Karydis, Ioannis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29919-8">http://dx.doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:175432024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Hannig, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30695-7">http://dx.doi.org/10.1007/978-3-319-30695-7</a><br/>Format: Electronic Resources<br/>Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:180922024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Marcus, Aaron. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40409-7">http://dx.doi.org/10.1007/978-3-319-40409-7</a><br/>Format: Electronic Resources<br/>Enterprise, Business-Process and Information Systems Modeling 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedingsent://SD_ILS/0/SD_ILS:179962024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Schmidt, Rainer. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39429-9">http://dx.doi.org/10.1007/978-3-319-39429-9</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180042024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lluch Lafuente, Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39519-7">http://dx.doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>Advanced Information Systems Engineering Workshops CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180072024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Krogstie, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39564-7">http://dx.doi.org/10.1007/978-3-319-39564-7</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180092024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39570-8">http://dx.doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180102024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Jelasity, Márk. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39577-7">http://dx.doi.org/10.1007/978-3-319-39577-7</a><br/>Format: Electronic Resources<br/>Advanced Information Systems Engineering 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedingsent://SD_ILS/0/SD_ILS:180242024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Nurcan, Selmin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39696-5">http://dx.doi.org/10.1007/978-3-319-39696-5</a><br/>Format: Electronic Resources<br/>Automated Software and Service Composition A Survey and Evaluating Reviewent://SD_ILS/0/SD_ILS:179222024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Mohr, Felix. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34168-2">http://dx.doi.org/10.1007/978-3-319-34168-2</a><br/>Format: Electronic Resources<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:186602024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar van der Aalst, Wil. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49851-4">http://dx.doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:183702024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Abdulla, Parosh Aziz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46140-3">http://dx.doi.org/10.1007/978-3-319-46140-3</a><br/>Format: Electronic Resources<br/>Pragmatic Evaluation of Software Architecturesent://SD_ILS/0/SD_ILS:179242024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Knodel, Jens. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34177-4">http://dx.doi.org/10.1007/978-3-319-34177-4</a><br/>Format: Electronic Resources<br/>Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183732024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Dregvaite, Giedre. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46254-7">http://dx.doi.org/10.1007/978-3-319-46254-7</a><br/>Format: Electronic Resources<br/>Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:183752024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kordy, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46263-9">http://dx.doi.org/10.1007/978-3-319-46263-9</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183782024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Sheng, Quan Z. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46295-0">http://dx.doi.org/10.1007/978-3-319-46295-0</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:182972024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Lucanu, Dorel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44802-2">http://dx.doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181392024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Aichernig, Bernhard K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41135-4">http://dx.doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Managing Information Technologyent://SD_ILS/0/SD_ILS:179402024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Castillo, Francisco. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38891-5">http://dx.doi.org/10.1007/978-3-319-38891-5</a><br/>Format: Electronic Resources<br/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186892024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Rival, Xavier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53413-7">http://dx.doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Electronic Resources<br/>Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedingsent://SD_ILS/0/SD_ILS:186912024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Gavoille, Cyril. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53426-7">http://dx.doi.org/10.1007/978-3-662-53426-7</a><br/>Format: Electronic Resources<br/>Hybrid Soft Computing Approaches Research and Applicationsent://SD_ILS/0/SD_ILS:187642024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bhattacharyya, Siddhartha. editor.<br/><a href="http://dx.doi.org/10.1007/978-81-322-2544-7">http://dx.doi.org/10.1007/978-81-322-2544-7</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183142024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45177-0">http://dx.doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysisent://SD_ILS/0/SD_ILS:185372024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Meisen, Philipp. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-15728-9">http://dx.doi.org/10.1007/978-3-658-15728-9</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:181582024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Chaudhuri, Swarat. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41528-4">http://dx.doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Electronic Resources<br/>Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015ent://SD_ILS/0/SD_ILS:190432024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Yang, Gi-Chul. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-0551-0">http://dx.doi.org/10.1007/978-981-10-0551-0</a><br/>Format: Electronic Resources<br/>Transactions on Engineering Technologiesent://SD_ILS/0/SD_ILS:191242024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Ao, Sio-iong. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-1088-0">http://dx.doi.org/10.1007/978-981-10-1088-0</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181852024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Wąsowski, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42061-5">http://dx.doi.org/10.1007/978-3-319-42061-5</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformations 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181862024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Van Gorp, Pieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42064-6">http://dx.doi.org/10.1007/978-3-319-42064-6</a><br/>Format: Electronic Resources<br/>An economic interpretation of linear programmingent://SD_ILS/0/SD_ILS:1779392024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Paris, Quirino.<br/>Format: Kitap<br/>Git ve GitHub kullanımıent://SD_ILS/0/SD_ILS:2273322024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Kara, Arman.<br/>Format: Kitap<br/>Yazılım mühendisliği temellerient://SD_ILS/0/SD_ILS:4322392024-06-15T09:27:59Z2024-06-15T09:27:59ZYazar Sarıdoğan, Erhan M.<br/>Format: Kitap<br/>