Search Results for - Narrowed by: Programming Languages, Compilers, Interpreters. - Computation by Abstract Devices.SirsiDynix Enterprisehttps://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:43ZVerification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855782024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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:20857792024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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:20857802024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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:20857962024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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:20856252024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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:20845882024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855752024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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:20857692024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859772024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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 IIent://SD_ILS/0/SD_ILS:20860692024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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:20858172024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028212024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036912024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5037692024-05-23T05:44:43Z2024-05-23T05:44:43Zby Lä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: 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. Proceedingsent://SD_ILS/0/SD_ILS:5033822024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:5123322024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5130052024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128982024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129052024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127832024-05-23T05:44:43Z2024-05-23T05:44:43Zby Caires, Luí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: Electronic Resources<br/>Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5124862024-05-23T05:44:43Z2024-05-23T05:44:43Zby Almá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: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5119122024-05-23T05:44:43Z2024-05-23T05:44:43Zby Barkaoui, Kamel. editor.<br/><a href="http://dx.doi.org/10.1007/11921240">http://dx.doi.org/10.1007/11921240</a><br/>Format: Electronic Resources<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116322024-05-23T05:44:43Z2024-05-23T05:44:43Zby Mohr, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/11846802">http://dx.doi.org/10.1007/11846802</a><br/>Format: Electronic Resources<br/>FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5120232024-05-23T05:44:43Z2024-05-23T05:44:43Zby Arun-Kumar, S. editor.<br/><a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Electronic Resources<br/>CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114932024-05-23T05:44:43Z2024-05-23T05:44:43Zby Baier, Christel. editor.<br/><a href="http://dx.doi.org/10.1007/11817949">http://dx.doi.org/10.1007/11817949</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5121542024-05-23T05:44:43Z2024-05-23T05:44:43Zby Ayguadé, 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:5108212024-05-23T05:44:43Z2024-05-23T05:44:43Zby Aceto, Luca. editor.<br/><a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5112092024-05-23T05:44:43Z2024-05-23T05:44:43Zby Dunne, Steve. editor.<br/><a href="http://dx.doi.org/10.1007/11768173">http://dx.doi.org/10.1007/11768173</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5113002024-05-23T05:44:43Z2024-05-23T05:44:43Zby Uustalu, Tarmo. editor.<br/><a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format: Electronic Resources<br/>FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097252024-05-23T05:44:43Z2024-05-23T05:44:43Zby Lodaya, Kamal. editor.<br/><a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5099652024-05-23T05:44:43Z2024-05-23T05:44:43Zby Banâtre, Jean-Pierre. editor.<br/><a href="http://dx.doi.org/10.1007/11527800">http://dx.doi.org/10.1007/11527800</a><br/>Format: Electronic Resources<br/>Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systemsent://SD_ILS/0/SD_ILS:5103742024-05-23T05:44:43Z2024-05-23T05:44:43Zby 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: Electronic Resources<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5102302024-05-23T05:44:43Z2024-05-23T05:44:43Zby Kreowski, Hans-Jörg. editor.<br/><a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI Users’ Group Meeting Sorrento, Italy, September 18-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103152024-05-23T05:44:43Z2024-05-23T05:44:43Zby Martino, Beniamino. editor.<br/><a href="http://dx.doi.org/10.1007/11557265">http://dx.doi.org/10.1007/11557265</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102452024-05-23T05:44:43Z2024-05-23T05:44:43Zby Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/b107116">http://dx.doi.org/10.1007/b107116</a><br/>Format: 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. Proceedingsent://SD_ILS/0/SD_ILS:5103522024-05-23T05:44:43Z2024-05-23T05:44:43Zby Sassone, Vladimiro. editor.<br/><a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104332024-05-23T05:44:43Z2024-05-23T05:44:43Zby Hung, Dang. editor.<br/><a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</a><br/>Format: 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 Papersent://SD_ILS/0/SD_ILS:5101972024-05-23T05:44:43Z2024-05-23T05:44:43Zby Eigenmann, Rudolf. editor.<br/><a href="http://dx.doi.org/10.1007/11532378">http://dx.doi.org/10.1007/11532378</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papersent://SD_ILS/0/SD_ILS:5100842024-05-23T05:44:43Z2024-05-23T05:44:43Zby Pugh, Bill. editor.<br/><a href="http://dx.doi.org/10.1007/11596110">http://dx.doi.org/10.1007/11596110</a><br/>Format: Electronic Resources<br/>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5106452024-05-23T05:44:43Z2024-05-23T05:44:43Zby Sarukkai, Sundar. editor.<br/><a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103062024-05-23T05:44:43Z2024-05-23T05:44:43Zby Abadi, Martín. editor.<br/><a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format: Electronic Resources<br/>