Search Results for Organization. - Narrowed by: Electronic Resources - English - Computer logic.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dOrganization.$0026qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ps$003d300?2024-10-02T13:14:56ZVerification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287842024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003<br/><a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format: Electronic Resources<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:184552024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Göbel, Susanne. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-11765-8">http://dx.doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289072024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Gaston, Christophe. editor. (orcid)0000-0001-6865-5108<br/><a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233482024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Koornneef, Floor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24249-1">http://dx.doi.org/10.1007/978-3-319-24249-1</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215362024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282752024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Hospodár, Michal. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23679-3">https://doi.org/10.1007/978-3-030-23679-3</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-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:181582024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:181602024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287552024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872<br/><a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:231552024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Kroening, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21668-3">http://dx.doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280142024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Guan, Nan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</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-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234042024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Fischer, Joachim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24912-4">http://dx.doi.org/10.1007/978-3-319-24912-4</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:231562024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Kroening, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21690-4">http://dx.doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183282024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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 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-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233492024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Koornneef, Floor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24255-2">http://dx.doi.org/10.1007/978-3-319-24255-2</a><br/>Format: Electronic Resources<br/>Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4288602024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Guttman, Joshua D. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</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-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:225342024-10-02T13:14:56Z2024-10-02T13:14:56ZYazar Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16310-9">http://dx.doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>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-10-02T13:14:56Z2024-10-02T13:14:56ZYazar 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/>