Search Results for Compiler. - Narrowed by: Online Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCompiler.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300? 2024-12-13T15:41:04Z Modern Compiler Design ent://SD_ILS/0/SD_ILS:174410 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Grune, Dick. author.&#160;van Reeuwijk, Kees. author.&#160;Bal, Henri E. author.&#160;Jacobs, Ceriel J.H. author.&#160;Langendoen, Koen. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Design Virtual Machines ent://SD_ILS/0/SD_ILS:192809 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Wilhelm, Reinhard. author.&#160;Seidl, Helmut. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Compiler Design ent://SD_ILS/0/SD_ILS:168607 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Mogensen, Torben &AElig;gidius. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Austin Protocol Compiler ent://SD_ILS/0/SD_ILS:164876 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;McGuire, Tommy M. author.&#160;Gouda, Mohamed G. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b101038">http://dx.doi.org/10.1007/b101038</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Design Syntactic and Semantic Analysis ent://SD_ILS/0/SD_ILS:333076 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Wilhelm, Reinhard. author.&#160;Seidl, Helmut. author.&#160;Hack, Sebastian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333076.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Design Analysis and Transformation ent://SD_ILS/0/SD_ILS:193634 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Seidl, Helmut. author.&#160;Wilhelm, Reinhard. author.&#160;Hack, Sebastian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler construction using Java, JavaCC, and Yacc ent://SD_ILS/0/SD_ILS:249394 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Dos Reis, Anthony J.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381794">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381794</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520881 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;McIntosh-Smith, Simon. editor.&#160;Klemm, Michael. editor.&#160;de Supinski, Bronis R. editor.&#160;Deakin, Tom. editor.&#160;Klinkenberg, Jannis. editor. (orcid)<br/>Preferred Shelf Number&#160;XX(520881.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519059 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Franke, Bj&ouml;rn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519059.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:488914 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Cohen, Albert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:334353 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Jhala, Ranjit. editor.&#160;Bosschere, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334353.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196501 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;O&rsquo;Boyle, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194181 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Knoop, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:191850 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Gupta, Rajiv. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> C Compilers for ASIPs Automatic Compiler Generation with LISA ent://SD_ILS/0/SD_ILS:172172 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Hohenauer, Manuel. author.&#160;Leupers, Rainer. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:189784 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Moor, Oege. editor.&#160;Schwartzbach, Michael I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch f&uuml;r Grundstudium und Fortbildung ent://SD_ILS/0/SD_ILS:200003 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Wagenknecht, Christian. author.&#160;Hielscher, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9972-9">http://dx.doi.org/10.1007/978-3-8348-9972-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:188243 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Hendren, Laurie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The compiler design handbook optimizations and machine code generation ent://SD_ILS/0/SD_ILS:286873 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Srikant, Y. N.&#160;Shankar, P. (Priti)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420043839">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:186219 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Krishnamurthi, Shriram. editor.&#160;Odersky, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:183602 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Mycroft, Alan. editor.&#160;Zeller, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:183056 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Bodik, Rastislav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The compiler design handbook optimizations and machine code generation ent://SD_ILS/0/SD_ILS:286739 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Srikant, Y. N.&#160;Shankar, P. (Priti)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420040579">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to the pianist's repertoire ent://SD_ILS/0/SD_ILS:277730 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Hinson, Maurice, compiler.&#160;Roberts, Wesley, compiler.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780253010230/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> William Byrd a research and information guide ent://SD_ILS/0/SD_ILS:261592 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Turbet, Richard, compiler.&#160;Bowers, Roger, author.&#160;Greenhalgh, M. J. (Michael J.), compiler.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203112342">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Durorp-English dictionary ent://SD_ILS/0/SD_ILS:277241 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Inyang, Ekpe, compiler.&#160;Project Muse, distributor.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9789956791743/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nomenclature of Organic Chemistry : IUPAC Recommendations and Preferred Names 2013 ent://SD_ILS/0/SD_ILS:343136 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Favre, Henri A., compiler.&#160;Powell, Warren H., 1934- compiler.&#160;International Union of Pure and Applied Chemistry.<br/>Preferred Shelf Number&#160;ONLINE(343136.1)<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> American slavery as it is : testimony of a thousand witnesses ent://SD_ILS/0/SD_ILS:376019 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Weld, Theodore Dwight, 1803-1895, compiler.&#160;American Anti-Slavery Society.&#160;University of North Carolina at Chapel Hill. Documenting the American South (Project)&#160;University of North Carolina at Chapel Hill. Library, publisher.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.5149/9780807869581_weld">http://www.jstor.org/stable/10.5149/9780807869581_weld</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High energy physics ent://SD_ILS/0/SD_ILS:257776 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Burhop, E. H. S. (Eric Henry Stoneley), compiler.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121443054">http://www.sciencedirect.com/science/book/9780121443054</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A sleepless eye aphorisms from the Sahara ent://SD_ILS/0/SD_ILS:322939 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;K&#363;n&#299;, Ibr&#257;h&#299;m, author.&#160;Sebe, Alain, photographer.&#160;Allen, Roger, translator.&#160;F&auml;hndrich, Hartmut, compiler.&#160;Project Muse, distributor.<br/>Preferred Shelf Number&#160;ONLINE(322939.1)<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780815652793/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520802 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Lal, Akash. editor.&#160;Tonetta, Stefano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520802.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520995 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Simpson, Leonie. editor.&#160;Rezazadeh Baee, Mir Ali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520995.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:520319 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Hong, Wenxing. editor.&#160;Weng, Yang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520319.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:520343 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Abell&oacute;, Alberto. editor.&#160;Vassiliadis, Panos. editor.&#160;Romero, Oscar. editor.&#160;Wrembel, Robert. editor.&#160;Bugiotti, Francesca. editor.<br/>Preferred Shelf Number&#160;XX(520343.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520857 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Bhatele, Abhinav. editor.&#160;Hammond, Jeff. editor.&#160;Baboulin, Marc. editor.&#160;Kruse, Carola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520857.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520788 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Hanus, Michael. editor.&#160;Inclezan, Daniela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520788.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520797 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Dragoi, Cezara. editor.&#160;Emmi, Michael. editor.&#160;Wang, Jingbo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520797.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:521305 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Bienz, Amanda. editor.&#160;Weiland, Mich&egrave;le. editor.&#160;Baboulin, Marc. editor.&#160;Kruse, Carola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521305.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:521324 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Li, Yi. editor.&#160;Tahar, Sofi&egrave;ne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521324.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520919 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor.&#160;Altmann, J&ouml;rn. editor.&#160;Agmon Ben-Yehuda, Orna. editor.&#160;Djemame, Karim. editor.&#160;Stankovski, Vlado. editor.<br/>Preferred Shelf Number&#160;XX(520919.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521132 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Pang, Jun. editor.&#160;Niehren, Joachim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521132.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519046 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519046.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519136 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Egyed, Alexander. editor.&#160;Schaefer, Ina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519136.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519237 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519237.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-core embedded systems ent://SD_ILS/0/SD_ILS:290621 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;Kornaros, Georgios.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439811627">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Warren's abstract machine a tutorial reconstruction ent://SD_ILS/0/SD_ILS:220144 2024-12-13T15:41:04Z 2024-12-13T15:41:04Z Author&#160;A&iuml;t-Kaci, Hassan, 1954-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>