Search Results for Compiler. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCompiler.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2025-12-17T16:45:56ZModern Compiler Designent://SD_ILS/0/SD_ILS:1744102025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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 Virtual Machinesent://SD_ILS/0/SD_ILS:1928092025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:1686072025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:1648762025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:3330762025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:1936342025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>Compiler construction using Java, JavaCC, and Yaccent://SD_ILS/0/SD_ILS:2493942025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Dos Reis, Anthony J. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability 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, Proceedingsent://SD_ILS/0/SD_ILS:5208812025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor McIntosh-Smith, Simon. editor. Klemm, Michael. editor. de Supinski, Bronis R. editor. Deakin, Tom. editor. Klinkenberg, Jannis. editor. (orcid)<br/>Preferred Shelf Number ONLINE<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:5190592025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Franke, Björn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:4889142025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:3343532025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:1965012025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:1941812025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>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:1918502025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>C Compilers for ASIPs Automatic Compiler Generation with LISAent://SD_ILS/0/SD_ILS:1721722025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildungent://SD_ILS/0/SD_ILS:2000032025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Wagenknecht, Christian. author. Hielscher, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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:1897842025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>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:1882432025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>The compiler design handbook : optimizations and machine code generationent://SD_ILS/0/SD_ILS:5464822025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Shankar, P. (Priti) Srikant, Y. N.<br/>Preferred Shelf Number QA76.76 .C65 C35 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420043839">Click here to view.</a><br/>Format: Books<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:1862192025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:1836022025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:1830562025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:5421752025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Srikant, Y. N. Shankar, P. (Priti)<br/>Preferred Shelf Number QA76.76 .C65 C35 2003<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420040579">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Guide to the pianist's repertoireent://SD_ILS/0/SD_ILS:2777302025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:2615922025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:2772412025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>Nomenclature of Organic Chemistry : IUPAC Recommendations and Preferred Names 2013ent://SD_ILS/0/SD_ILS:3431362025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>Medically speaking : a dictionary of quotations on dentistry, medicine and nursingent://SD_ILS/0/SD_ILS:5377222025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Gaither, Carl C., 1944- compiler. Cavazos-Gaither, Alma E., 1955- compiler. Slocombe, Andrew, illustrator.<br/>Preferred Shelf Number R705<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429187087">https://www.taylorfrancis.com/books/9780429187087</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>American slavery as it is : testimony of a thousand witnessesent://SD_ILS/0/SD_ILS:3760192025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:2577762025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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:3229392025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>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:5203432025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.<br/>Preferred Shelf Number ONLINE<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/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209192025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.<br/>Preferred Shelf Number ONLINE<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/>Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211322025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213052025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5213242025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>AI, IoT, Big Data and Cloud Computing for Industry 4.0ent://SD_ILS/0/SD_ILS:5275582025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29713-7">https://doi.org/10.1007/978-3-031-29713-7</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:5203192025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208572025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207972025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5208022025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5209952025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Simpson, Leonie. editor. Rezazadeh Baee, Mir Ali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5191362025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1ent://SD_ILS/0/SD_ILS:5299782025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2126-5">https://doi.org/10.1007/978-81-322-2126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ubiquitous Computing Application and Wireless Sensor UCAWSN-14ent://SD_ILS/0/SD_ILS:5306122025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Chao, Han-Chieh. editor. Yi, Gangman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9618-7">https://doi.org/10.1007/978-94-017-9618-7</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:5190462025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5192372025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>The green computing book : tackling energey efficiency at large scaleent://SD_ILS/0/SD_ILS:5387572025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Feng, Wu-chun, 1966- editor.<br/>Preferred Shelf Number QA76.9 .E58 I58 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439819883">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Multi-core embedded systemsent://SD_ILS/0/SD_ILS:5434742025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Kornaros, Georgios.<br/>Preferred Shelf Number TK7895 .E42 M848 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439811627">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Parallel computing in quantum chemistryent://SD_ILS/0/SD_ILS:5390802025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Janssen, Curtis L., author. Nielsen, Ida M. B.<br/>Preferred Shelf Number QD462.6 .D38 J36 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420051650">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>A programmer's companion to algorithm analysisent://SD_ILS/0/SD_ILS:5410322025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Leiss, Ernst L., 1952, author.<br/>Preferred Shelf Number QA402.5 .L398 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420011708">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Low-power processors and systems on chipsent://SD_ILS/0/SD_ILS:5404922025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Piguet, Christian, author.<br/>Preferred Shelf Number TK7895 .M5 P54 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420037203">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Low-power electronics designent://SD_ILS/0/SD_ILS:5444902025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor Piguet, Christian.<br/>Preferred Shelf Number TK7874.66 .L65 2005<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420039559">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Warren's abstract machine a tutorial reconstructionent://SD_ILS/0/SD_ILS:2201442025-12-17T16:45:56Z2025-12-17T16:45:56ZAuthor 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/>