Search Results for Compiler. - Narrowed by: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCompiler.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ps$003d300$0026isd$003dtrue?2024-12-13T19:12:39ZCompiler techniquesent://SD_ILS/0/SD_ILS:322182024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Pollack, Bary W. comp.<br/>Preferred Shelf Number QA 76.6 P65 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Modern Compiler Designent://SD_ILS/0/SD_ILS:1744102024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Grune, Dick. author. van Reeuwijk, Kees. author. Bal, Henri E. author. Jacobs, Ceriel J.H. author. Langendoen, Koen. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4699-6">http://dx.doi.org/10.1007/978-1-4614-4699-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler design theoryent://SD_ILS/0/SD_ILS:322032024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Lewis, Philip M., 1931- Lewis, Philip M. Rosenkrantz, J. Daniel, ort. yaz. Stearns, Richard E., ort. yaz.<br/>Preferred Shelf Number QA 76.6 L47 1976<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A compiler generatorent://SD_ILS/0/SD_ILS:347062024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.<br/>Preferred Shelf Number QA 76.5 M1874 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Engineering a compilerent://SD_ILS/0/SD_ILS:3655672024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Cooper, Keith D. (Keith Daniel) Torczon, Linda.<br/>Preferred Shelf Number QA76.76.C65 C675 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Principles of compiler designent://SD_ILS/0/SD_ILS:3655012024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Raghavan, V.<br/>Preferred Shelf Number QA76.76.C65 P75 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Compiler Design Virtual Machinesent://SD_ILS/0/SD_ILS:1928092024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Wilhelm, Reinhard. author. Seidl, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14909-2">http://dx.doi.org/10.1007/978-3-642-14909-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elements of compiler constructionent://SD_ILS/0/SD_ILS:322072024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Maginnis, James B.<br/>Preferred Shelf Number QA 76.6 M34 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:1686072024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-829-4">http://dx.doi.org/10.1007/978-0-85729-829-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Austin Protocol Compilerent://SD_ILS/0/SD_ILS:1648762024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor McGuire, Tommy M. author. Gouda, Mohamed G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101038">http://dx.doi.org/10.1007/b101038</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Design Syntactic and Semantic Analysisent://SD_ILS/0/SD_ILS:3330762024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333076.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17540-4">http://dx.doi.org/10.1007/978-3-642-17540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Design Analysis and Transformationent://SD_ILS/0/SD_ILS:1936342024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Seidl, Helmut. author. Wilhelm, Reinhard. author. Hack, Sebastian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17548-0">http://dx.doi.org/10.1007/978-3-642-17548-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The anatomy of a compilerent://SD_ILS/0/SD_ILS:322012024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Lee, John A.<br/>Preferred Shelf Number QA 76.6 L37 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Compiler construction for digital computersent://SD_ILS/0/SD_ILS:346772024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Gries, David, 1939-<br/>Preferred Shelf Number QA 76.5 G73 1971<br/>Format: Books<br/>Availability Beytepe Library~4<br/>Putting linguistics into speech recognition : the Regulus grammar compilerent://SD_ILS/0/SD_ILS:1097302024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Rayner, Manny. Hockey, Beth Ann, ed. Bouillon, Pierrette, ed.<br/>Preferred Shelf Number TK7895.S65 R34 2006<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The theory and practice of compiler writingent://SD_ILS/0/SD_ILS:443362024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Tremblay, Jean Paul. Sorenson, P. G., ort. yaz.<br/>Preferred Shelf Number QA 76.6 T734 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208812024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor McIntosh-Smith, Simon. editor. Klemm, Michael. editor. de Supinski, Bronis R. editor. Deakin, Tom. editor. Klinkenberg, Jannis. editor. (orcid)<br/>Preferred Shelf Number XX(520881.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40744-4">https://doi.org/10.1007/978-3-031-40744-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190592024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Franke, Björn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519059.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46663-6">https://doi.org/10.1007/978-3-662-46663-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889142024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343532024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965012024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor O’Boyle, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941812024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Knoop, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19861-8">http://dx.doi.org/10.1007/978-3-642-19861-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>C Compilers for ASIPs Automatic Compiler Generation with LISAent://SD_ILS/0/SD_ILS:1721722024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Hohenauer, Manuel. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1176-6">http://dx.doi.org/10.1007/978-1-4419-1176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918502024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Gupta, Rajiv. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897842024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The compiler design handbook optimizations and machine code generationent://SD_ILS/0/SD_ILS:2868732024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Srikant, Y. N. Shankar, P. (Priti)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420043839">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 17th International Conference, CC 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:1882432024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Hendren, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862192024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836022024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 14th International Conference, CC 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:1830562024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Bodik, Rastislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The compiler design handbook optimizations and machine code generationent://SD_ILS/0/SD_ILS:2867392024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Srikant, Y. N. Shankar, P. (Priti)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420040579">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A laboratory manual for compiler and operating system implementationent://SD_ILS/0/SD_ILS:321942024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Halstead, Maurice Howard, 1918-<br/>Preferred Shelf Number QA 76.6 H32 1974<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18ent://SD_ILS/0/SD_ILS:727052024-12-13T19:12:39Z2024-12-13T19:12:39ZPreferred Shelf Number QA 76.6 S521 1980<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Guide to the pianist's repertoireent://SD_ILS/0/SD_ILS:2777302024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Hinson, Maurice, compiler. Roberts, Wesley, compiler. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780253010230/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>William Byrd a research and information guideent://SD_ILS/0/SD_ILS:2615922024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Turbet, Richard, compiler. Bowers, Roger, author. Greenhalgh, M. J. (Michael J.), compiler.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203112342">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Durorp-English dictionaryent://SD_ILS/0/SD_ILS:2772412024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Inyang, Ekpe, compiler. Project Muse, distributor. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9789956791743/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ancient Chinese bronzes : a personal appreciationent://SD_ILS/0/SD_ILS:3712602024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Shapiro, Daniel, compiler Lally, James J., contributor Jacobsen, Robert D., contributor Lawton, Thomas, contributor<br/>Preferred Shelf Number NK7983.22 S537 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Vincent van Gogh : the years in France : complete paintings 1886-1890 : dealers, collectors, exhibitions, provenanceent://SD_ILS/0/SD_ILS:3562932024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Feilchenfeldt, Walter, compiler. Gogh, Vincent van, 1853-1890. Works. Selections.<br/>Preferred Shelf Number ND653.G7 A4 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Nomenclature of Organic Chemistry : IUPAC Recommendations and Preferred Names 2013ent://SD_ILS/0/SD_ILS:3431362024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Favre, Henri A., compiler. Powell, Warren H., 1934- compiler. International Union of Pure and Applied Chemistry.<br/>Preferred Shelf Number ONLINE(343136.1)<br/>Electronic Access ebrary <a href="http://alltitles.ebrary.com/Doc?id=10930621">An electronic book accessible through the World Wide Web; click to view</a>
Royal Society of Chemistry <a href="http://dx.doi.org/10.1039/9781849733069">http://dx.doi.org/10.1039/9781849733069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Penny Dreadfuls : sensational tales of terrorent://SD_ILS/0/SD_ILS:3787782024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Dziemianowicz, Stefan R., compiler.<br/>Preferred Shelf Number PR1309.H6 P46 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>To libraries with love : the library-information policy of Bulgaria 1989-2013 : (a collection of papers, projects and articles)ent://SD_ILS/0/SD_ILS:5162702024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Dimchev, Alexander Georgiev, author, compiler.<br/>Preferred Shelf Number Z665.2.B8 D56 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>American slavery as it is : testimony of a thousand witnessesent://SD_ILS/0/SD_ILS:3760192024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Weld, Theodore Dwight, 1803-1895, compiler. American Anti-Slavery Society. University of North Carolina at Chapel Hill. Documenting the American South (Project) University of North Carolina at Chapel Hill. Library, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.5149/9780807869581_weld">http://www.jstor.org/stable/10.5149/9780807869581_weld</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High energy physicsent://SD_ILS/0/SD_ILS:2577762024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Burhop, E. H. S. (Eric Henry Stoneley), compiler.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121443054">http://www.sciencedirect.com/science/book/9780121443054</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A sleepless eye aphorisms from the Saharaent://SD_ILS/0/SD_ILS:3229392024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Kūnī, Ibrāhīm, author. Sebe, Alain, photographer. Allen, Roger, translator. Fähndrich, Hartmut, compiler. Project Muse, distributor.<br/>Preferred Shelf Number ONLINE(322939.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780815652793/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208572024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520857.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32041-5">https://doi.org/10.1007/978-3-031-32041-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209192024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.<br/>Preferred Shelf Number XX(520919.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29315-3">https://doi.org/10.1007/978-3-031-29315-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213242024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521324.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:5203192024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520319.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2446-2">https://doi.org/10.1007/978-981-99-2446-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520788.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207972024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520797.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24950-1">https://doi.org/10.1007/978-3-031-24950-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5208022024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520802.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209952024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Simpson, Leonie. editor. Rezazadeh Baee, Mir Ali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520995.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35486-1">https://doi.org/10.1007/978-3-031-35486-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213052024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521305.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40843-4">https://doi.org/10.1007/978-3-031-40843-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5203432024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.<br/>Preferred Shelf Number XX(520343.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42941-5">https://doi.org/10.1007/978-3-031-42941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211322024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521132.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42697-1">https://doi.org/10.1007/978-3-031-42697-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5190462024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519046.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191362024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519136.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519237.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-core embedded systemsent://SD_ILS/0/SD_ILS:2906212024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Kornaros, Georgios.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439811627">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Warren's abstract machine a tutorial reconstructionent://SD_ILS/0/SD_ILS:2201442024-12-13T19:12:39Z2024-12-13T19:12:39ZAuthor Aït-Kaci, Hassan, 1954-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>