Search Results for Engineering. - Narrowed by: Programming languages (Electronic computers). - Simulation and Modeling.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dEngineering.$0026qf$003dSUBJECT$002509Konu$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$0026qf$003dSUBJECT$002509Konu$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ps$003d300?2024-07-31T23:59:24ZSoftware Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216682024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:173902024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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 and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282092024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Ölveczky, Peter Csaba. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-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-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4288492024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613<br/><a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281352024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555<br/><a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289722024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Collart-Dutilleul, Simon. editor.<br/><a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285012024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Badger, Julia M. editor.<br/><a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283322024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Larsen, Kim Guldstrand. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4282812024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</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-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174542024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:234662024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Holzinger, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25579-8">http://dx.doi.org/10.1007/978-3-319-25579-8</a><br/>Format: Electronic Resources<br/>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-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:184102024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179292024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>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-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182132024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291692024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:183932024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>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-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>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-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231172024-07-31T23:59:24Z2024-07-31T23:59:24ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21215-9">http://dx.doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Electronic Resources<br/>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-07-31T23:59:24Z2024-07-31T23:59:24ZYazar 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/>