Search Results for - Narrowed by: Programming Languages, Compilers, Interpreters. - Computation by Abstract Devices. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026qf$003dSUBJECT$002509Subject$002509Computation$002bby$002bAbstract$002bDevices.$002509Computation$002bby$002bAbstract$002bDevices.$0026ps$003d300? 2024-05-23T05:44:43Z Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085578 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format:&#160;Electronic Resources<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085779 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Butler, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format:&#160;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&ndash;8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085780 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Thiemann, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format:&#160;Electronic Resources<br/> Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085796 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Sarro, Federica. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47106-8">https://doi.org/10.1007/978-3-319-47106-8</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:2085625 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Chechik, Marsha. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format:&#160;Electronic Resources<br/> Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:2084588 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10&ndash;14, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:2085575 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format:&#160;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&ndash;8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085769 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Jacobs, Bart. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format:&#160;Electronic Resources<br/> Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085977 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Devitt, Simon. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40578-0">https://doi.org/10.1007/978-3-319-40578-0</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:2086069 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ent://SD_ILS/0/SD_ILS:2085817 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Jobstmann, Barbara. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format:&#160;Electronic Resources<br/> Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:502821 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Audebaud, Philippe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format:&#160;Electronic Resources<br/> Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users&rsquo; Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503691 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Lastovetsky, Alexey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87475-1">http://dx.doi.org/10.1007/978-3-540-87475-1</a><br/>Format:&#160;Electronic Resources<br/> Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:503769 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;L&auml;mmel, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88643-3">http://dx.doi.org/10.1007/978-3-540-88643-3</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503382 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Amadio, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512332 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Seidl, Helmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format:&#160;Electronic Resources<br/> FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings ent://SD_ILS/0/SD_ILS:513005 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Arvind, V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing &ndash; ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512898 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75292-9">http://dx.doi.org/10.1007/978-3-540-75292-9</a><br/>Format:&#160;Electronic Resources<br/> Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User&rsquo;s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512905 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Cappello, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75416-9">http://dx.doi.org/10.1007/978-3-540-75416-9</a><br/>Format:&#160;Electronic Resources<br/> CONCUR 2007 &ndash; Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512783 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Caires, Lu&iacute;s. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74407-8">http://dx.doi.org/10.1007/978-3-540-74407-8</a><br/>Format:&#160;Electronic Resources<br/> Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:512486 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Alm&aacute;si, George. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72521-3">http://dx.doi.org/10.1007/978-3-540-72521-3</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511912 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Barkaoui, Kamel. editor.<br/><a href="http://dx.doi.org/10.1007/11921240">http://dx.doi.org/10.1007/11921240</a><br/>Format:&#160;Electronic Resources<br/> Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User&rsquo;s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings ent://SD_ILS/0/SD_ILS:511632 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Mohr, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/11846802">http://dx.doi.org/10.1007/11846802</a><br/>Format:&#160;Electronic Resources<br/> FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:512023 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Arun-Kumar, S. editor.<br/><a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format:&#160;Electronic Resources<br/> CONCUR 2006 &ndash; Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511493 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Baier, Christel. editor.<br/><a href="http://dx.doi.org/10.1007/11817949">http://dx.doi.org/10.1007/11817949</a><br/>Format:&#160;Electronic Resources<br/> Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512154 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Ayguad&eacute;, Eduard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69330-7">http://dx.doi.org/10.1007/978-3-540-69330-7</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings ent://SD_ILS/0/SD_ILS:510821 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Aceto, Luca. editor.<br/><a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format:&#160;Electronic Resources<br/> Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:511209 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Dunne, Steve. editor.<br/><a href="http://dx.doi.org/10.1007/11768173">http://dx.doi.org/10.1007/11768173</a><br/>Format:&#160;Electronic Resources<br/> Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511300 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Uustalu, Tarmo. editor.<br/><a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format:&#160;Electronic Resources<br/> FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings ent://SD_ILS/0/SD_ILS:509725 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Lodaya, Kamal. editor.<br/><a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format:&#160;Electronic Resources<br/> Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:509965 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Ban&acirc;tre, Jean-Pierre. editor.<br/><a href="http://dx.doi.org/10.1007/11527800">http://dx.doi.org/10.1007/11527800</a><br/>Format:&#160;Electronic Resources<br/> Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems ent://SD_ILS/0/SD_ILS:510374 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Rust, Heinrich. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-32008-1">http://dx.doi.org/10.1007/978-3-540-32008-1</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:510230 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Kreowski, Hans-J&ouml;rg. editor.<br/><a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Electronic Resources<br/> Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI Users&rsquo; Group Meeting Sorrento, Italy, September 18-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510315 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Martino, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/11557265">http://dx.doi.org/10.1007/11557265</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510245 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/b107116">http://dx.doi.org/10.1007/b107116</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510352 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Sassone, Vladimiro. editor.<br/><a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing &ndash; ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510433 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Hung, Dang. editor.<br/><a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</a><br/>Format:&#160;Electronic Resources<br/> Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510197 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Eigenmann, Rudolf. editor.<br/><a href="http://dx.doi.org/10.1007/11532378">http://dx.doi.org/10.1007/11532378</a><br/>Format:&#160;Electronic Resources<br/> Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers ent://SD_ILS/0/SD_ILS:510084 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Pugh, Bill. editor.<br/><a href="http://dx.doi.org/10.1007/11596110">http://dx.doi.org/10.1007/11596110</a><br/>Format:&#160;Electronic Resources<br/> FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510645 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Sarukkai, Sundar. editor.<br/><a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format:&#160;Electronic Resources<br/> CONCUR 2005 &ndash; Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510306 2024-05-23T05:44:43Z 2024-05-23T05:44:43Z by&#160;Abadi, Mart&iacute;n. editor.<br/><a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format:&#160;Electronic Resources<br/>