Search Results for - Narrowed by: Springer E-Book Collection - Computer organization. - Computer logic.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002borganization.$002509Computer$002borganization.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ps$003d300?2024-05-19T06:20:53ZIntegrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281352024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282752024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>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-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4288602024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>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-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>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-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287842024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183282024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:181582024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:184552024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:181602024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>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-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>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-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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 SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233482024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233492024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>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-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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 Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215362024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212482024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215252024-05-19T06:20:53Z2024-05-19T06:20:53ZYazar 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/>