Search Results for Security systems. - Narrowed by: Compilers (Computer programs). SirsiDynix Enterprise http://librarycatalog.yyu.edu.tr/client/en_US/default/default/qu$003dSecurity$002bsystems.$0026qf$003dSUBJECT$002509Subject$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ps$003d300?dt=list 2025-02-07T06:58:38Z Open Source Systems Security Certification ent://SD_ILS/0/SD_ILS:136588 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Damiani, Ernesto. author. (orcid)0000-0002-9557-6496<br/><a href="https://doi.org/10.1007/978-0-387-77324-7">https://doi.org/10.1007/978-0-387-77324-7</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings ent://SD_ILS/0/SD_ILS:145097 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Jhala, Ranjit. editor.<br/><a href="https://doi.org/10.1007/978-3-642-35182-2">https://doi.org/10.1007/978-3-642-35182-2</a><br/>Format:&#160;Electronic Resources<br/> Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings ent://SD_ILS/0/SD_ILS:151657 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Balzarotti, Davide. editor.<br/><a href="https://doi.org/10.1007/978-3-642-33338-5">https://doi.org/10.1007/978-3-642-33338-5</a><br/>Format:&#160;Electronic Resources<br/> Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday ent://SD_ILS/0/SD_ILS:172082 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Jones, Cliff B. editor.<br/><a href="https://doi.org/10.1007/978-3-642-24541-1">https://doi.org/10.1007/978-3-642-24541-1</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:147481 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Yang, Hongseok. editor.<br/><a href="https://doi.org/10.1007/978-3-642-25318-8">https://doi.org/10.1007/978-3-642-25318-8</a><br/>Format:&#160;Electronic Resources<br/> Open Source Software for Digital Forensics ent://SD_ILS/0/SD_ILS:138227 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Huebner, Ewa. editor.<br/><a href="https://doi.org/10.1007/978-1-4419-5803-7">https://doi.org/10.1007/978-1-4419-5803-7</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings ent://SD_ILS/0/SD_ILS:147823 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Ueda, Kazunori. editor.<br/><a href="https://doi.org/10.1007/978-3-642-17164-2">https://doi.org/10.1007/978-3-642-17164-2</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings ent://SD_ILS/0/SD_ILS:170366 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Hu, Zhenjiang. editor.<br/><a href="https://doi.org/10.1007/978-3-642-10672-9">https://doi.org/10.1007/978-3-642-10672-9</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures ent://SD_ILS/0/SD_ILS:169447 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Aldini, Alessandro. editor.<br/><a href="https://doi.org/10.1007/978-3-540-74810-6">https://doi.org/10.1007/978-3-540-74810-6</a><br/>Format:&#160;Electronic Resources<br/> Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:174920 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Barthe, Gilles. editor.<br/><a href="https://doi.org/10.1007/11741060">https://doi.org/10.1007/11741060</a><br/>Format:&#160;Electronic Resources<br/> Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:171383 2025-02-07T06:58:38Z 2025-02-07T06:58:38Z by&#160;Barthe, Gilles. editor.<br/><a href="https://doi.org/10.1007/b105030">https://doi.org/10.1007/b105030</a><br/>Format:&#160;Electronic Resources<br/>