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?dt=list2026-06-15T20:47:11ZCompiler techniquesent://SD_ILS/0/SD_ILS:322182026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1744102026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:322032026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:347062026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:3655672026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:3655012026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1928092026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:322072026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:6022302026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46460-7">https://doi.org/10.1007/978-3-031-46460-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:6110512026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66966-3">https://doi.org/10.1007/978-3-319-66966-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:1686072026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1648762026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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 Construction Fundamentals and Applicationsent://SD_ILS/0/SD_ILS:6082772026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Approach to Compiler Constructionent://SD_ILS/0/SD_ILS:6174862026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Watson, Des. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Design Syntactic and Semantic Analysisent://SD_ILS/0/SD_ILS:3330762026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1936342026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:322012026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:346772026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1097302026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:443362026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5208812026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5190592026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:4889142026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:3343532026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1965012026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1941812026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1918502026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1721722026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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 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:1897842026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5464822026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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 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:1882432026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1862192026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1836022026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:1830562026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5421752026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>A laboratory manual for compiler and operating system implementationent://SD_ILS/0/SD_ILS:321942026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:727052026-06-15T20:47:11Z2026-06-15T20:47:11ZPreferred 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:2777302026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:2615922026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:2772412026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Secondary behaviour management : the essentialsent://SD_ILS/0/SD_ILS:5754332026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Oberholzer, Lizana, compiler.<br/>Preferred Shelf Number LB3013<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003422341">https://www.taylorfrancis.com/books/9781003422341</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/>Ancient Chinese bronzes : a personal appreciationent://SD_ILS/0/SD_ILS:3712602026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:3562932026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:3431362026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Voices from the Italian Renaissance : a sourcebookent://SD_ILS/0/SD_ILS:5771512026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Kaborycha, Lisa, editor, compiler.<br/>Preferred Shelf Number DG445<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003284284">https://www.taylorfrancis.com/books/9781003284284</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/>Judeo-Persian writings : a manifestation of intellectual and literary lifeent://SD_ILS/0/SD_ILS:5537182026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Pīrnaẓar, Nāhīd, editor, compiler.<br/>Preferred Shelf Number PJ5089 .J83 2021 EB<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003031741">https://www.taylorfrancis.com/books/9781003031741</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/>Penny Dreadfuls : sensational tales of terrorent://SD_ILS/0/SD_ILS:3787782026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Dziemianowicz, Stefan R., compiler.<br/>Preferred Shelf Number PR1309.H6 P46 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Medically speaking : a dictionary of quotations on dentistry, medicine and nursingent://SD_ILS/0/SD_ILS:5377222026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Silver magic : the world's best fairy talesent://SD_ILS/0/SD_ILS:5559812026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Wilson, Romer, 1891-1930, compiler. Zipes, Jack, 1937- editor. Brunton, Violet, illustrator.<br/>Preferred Shelf Number PZ8<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003297512">https://www.taylorfrancis.com/books/9781003297512</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/>Green magic : the world's best fairy talesent://SD_ILS/0/SD_ILS:5559822026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Wilson, Romer, 1891-1930, compiler. Zipes, Jack, 1937- editor. Brunton, Violet, illustrator.<br/>Preferred Shelf Number PZ8<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003297536">https://www.taylorfrancis.com/books/9781003297536</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/>The sovereign, subject and colonial justice : revisiting the Trial of Bahadur Shah 1858ent://SD_ILS/0/SD_ILS:5656642026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Yadav, Kripal Chandra, compiler, author.<br/>Preferred Shelf Number KNS41 .M84<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003320500">https://www.taylorfrancis.com/books/9781003320500</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/>Red magic : the world's best fairy talesent://SD_ILS/0/SD_ILS:5559792026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Wilson, Romer, 1891-1930, compiler. Zipes, Jack, 1937- editor. Nielsen, Kay Rasmus, 1886-1957, illustrator.<br/>Preferred Shelf Number PZ8<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003297482">https://www.taylorfrancis.com/books/9781003297482</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/>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:5162702026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:3760192026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>The essential speeches of the Cold War : a primary source collectionent://SD_ILS/0/SD_ILS:5514992026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Brennan, Sean (Sean Philip), 1979- author, compiler.<br/>Preferred Shelf Number D839.3<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032637679">https://www.taylorfrancis.com/books/9781032637679</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/>High energy physicsent://SD_ILS/0/SD_ILS:2577762026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Through a screen darkly : psychoanalytic reflections during the pandemicent://SD_ILS/0/SD_ILS:5837432026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Friedberg, Ahron, 1963- author. Sherman, Sandra, 1946- compiler.<br/>Preferred Shelf Number RA644 .C67<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003169994">https://www.taylorfrancis.com/books/9781003169994</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/>Introduction to guoxue : traditional Chinese thoughts, culture, and learningent://SD_ILS/0/SD_ILS:5853172026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Zhang, Taiyan, 1869-1936, author. Cao, Juren, 1900-1972, compiler. Wang, Feng, 1976- translator.<br/>Preferred Shelf Number PL1065<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032616568">https://www.taylorfrancis.com/books/9781032616568</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/>A sleepless eye aphorisms from the Saharaent://SD_ILS/0/SD_ILS:3229392026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthdayent://SD_ILS/0/SD_ILS:6091192026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6068902026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74558-4">https://doi.org/10.1007/978-3-031-74558-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Computation Automata, Formal Languages, Computation and Complexityent://SD_ILS/0/SD_ILS:6077042026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Chowdhary, K.R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2023: Parallel Processing Workshops Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6034232026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Blanco Heras, Dora. editor. Pallis, George. editor. Herodotou, Herodotos. editor. (orcid)0000-0002-8717-1691 Trihinas, Demetris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50684-0">https://doi.org/10.1007/978-3-031-50684-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Artificial Intelligence Principles, Platforms and Practicesent://SD_ILS/0/SD_ILS:6050592026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Li, Bin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-5038-2">https://doi.org/10.1007/978-981-97-5038-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Professional C++ent://SD_ILS/0/SD_ILS:5988352026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Gregoire, Marc (Software engineer), author.<br/>Preferred Shelf Number QA76.73 .C153 G733 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial intelligence in process fault diagnosis : methods for plant surveillanceent://SD_ILS/0/SD_ILS:5989102026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Fickelscherer, Richard J., author.<br/>Preferred Shelf Number TP155.75<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119825920">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119825920</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:5207882026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207972026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5208022026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208572026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209952026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>AI, IoT, Big Data and Cloud Computing for Industry 4.0ent://SD_ILS/0/SD_ILS:5275582026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5203192026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209192026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>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:5203432026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211322026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>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:5213242026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213052026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Symbolic approaches to modeling and analysis of biological systemsent://SD_ILS/0/SD_ILS:5984902026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.<br/>Preferred Shelf Number QH324.2 .S96 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Implementation Fidelity in Cyber Physical System Designent://SD_ILS/0/SD_ILS:6166722026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Molnos, Anca. editor. Fabre, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47307-9">https://doi.org/10.1007/978-3-319-47307-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:6175552026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecture-aware optimization strategies in real-time image processingent://SD_ILS/0/SD_ILS:5940682026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Li, Chao, author. Balla-Arabe, Souleymane, author. Yang, Fan, author.<br/>Preferred Shelf Number TA1637<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119467243">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119467243</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Designent://SD_ILS/0/SD_ILS:6107172026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6092-2">https://doi.org/10.1007/978-981-10-6092-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compilation for Secure Multi-party Computationent://SD_ILS/0/SD_ILS:6132532026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67522-0">https://doi.org/10.1007/978-3-319-67522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Separation Logic for High-level Synthesisent://SD_ILS/0/SD_ILS:6143852026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Winterstein, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53222-6">https://doi.org/10.1007/978-3-319-53222-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papersent://SD_ILS/0/SD_ILS:6159742026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fault-Tolerant Digital Microfluidic Biochips Compilation and Synthesisent://SD_ILS/0/SD_ILS:6126212026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Pop, Paul. author. Alistar, Mirela. author. Stuart, Elena. author. Madsen, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23072-6">https://doi.org/10.1007/978-3-319-23072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:6151752026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Instruction Level Parallelisment://SD_ILS/0/SD_ILS:6119762026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4899-7797-7">https://doi.org/10.1007/978-1-4899-7797-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Architecture An Ordinary Engineering Disciplineent://SD_ILS/0/SD_ILS:6129892026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6110882026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29778-1">https://doi.org/10.1007/978-3-319-29778-1</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:5299782026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5190462026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>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:5191362026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>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:5192372026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Ubiquitous Computing Application and Wireless Sensor UCAWSN-14ent://SD_ILS/0/SD_ILS:5306122026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>The green computing book : tackling energey efficiency at large scaleent://SD_ILS/0/SD_ILS:5387572026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>Advanced C and C++ Compilingent://SD_ILS/0/SD_ILS:6185712026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Stevanovic, Milan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6668-6">https://doi.org/10.1007/978-1-4302-6668-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Raspberry Pi System Software Referenceent://SD_ILS/0/SD_ILS:6186312026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Gay, Warren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0796-3">https://doi.org/10.1007/978-1-4842-0796-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro TypeScript Application-Scale JavaScript Developmentent://SD_ILS/0/SD_ILS:6186722026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Fenton, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6790-4">https://doi.org/10.1007/978-1-4302-6790-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Game Development Tool Essentialsent://SD_ILS/0/SD_ILS:6186832026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Berinstein, Paula. author. Arnaud, Remi. author. Ardolino, Alessandro. author. Franco, Simon. author. Herubel, Adrien. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6701-0">https://doi.org/10.1007/978-1-4302-6701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Node.js Building Real-World Scalable Web Appsent://SD_ILS/0/SD_ILS:6185882026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor Mardan, Azat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6596-2">https://doi.org/10.1007/978-1-4302-6596-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-core embedded systemsent://SD_ILS/0/SD_ILS:5434742026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5390802026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5410322026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5404922026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:5444902026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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:2201442026-06-15T20:47:11Z2026-06-15T20:47:11ZAuthor 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/>