Search Results for - Narrowed by: Operating systems (Computers). - Programming Languages, Compilers, Interpreters. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026ps$003d300? 2024-05-30T19:04:32Z Systems Programming in Unix/Linux ent://SD_ILS/0/SD_ILS:2084236 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Wang, K.C. author.<br/><a href="https://doi.org/10.1007/978-3-319-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format:&#160;Electronic Resources<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2084428 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Itsykson, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/> Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085602 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Wang, Meng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format:&#160;Electronic Resources<br/> Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2084418 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Pires, Lu&iacute;s Ferreira. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format:&#160;Electronic Resources<br/> Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085792 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Baier, Christel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format:&#160;Electronic Resources<br/> Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2086039 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Rensink, Arend. editor. (orcid)0000-0002-1714-6319<br/><a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format:&#160;Electronic Resources<br/> Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings ent://SD_ILS/0/SD_ILS:2085784 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251<br/><a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format:&#160;Electronic Resources<br/> Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:2085629 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Chandrasekaran, Sunita. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format:&#160;Electronic Resources<br/> Understanding Control Flow Concurrent Programming Using &mu;C++ ent://SD_ILS/0/SD_ILS:2084539 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Buhr, Peter A. author.<br/><a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format:&#160;Electronic Resources<br/> Instruction Level Parallelism ent://SD_ILS/0/SD_ILS:2084468 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Aiken, Alex. author.<br/><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:&#160;Electronic Resources<br/> Transactions on Modularity and Composition I ent://SD_ILS/0/SD_ILS:2085831 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Chiba, Shigeru. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format:&#160;Electronic Resources<br/> NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085798 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Rayadurgam, Sanjai. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format:&#160;Electronic Resources<br/> Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085915 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Shen, Xipeng. editor.<br/><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:&#160;Electronic Resources<br/> Principles of the Spin Model Checker ent://SD_ILS/0/SD_ILS:502422 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Ben-Ari, Mordechai. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers ent://SD_ILS/0/SD_ILS:503799 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Leucker, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format:&#160;Electronic Resources<br/> Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings ent://SD_ILS/0/SD_ILS:503838 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Issarny, Val&eacute;rie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89856-6">http://dx.doi.org/10.1007/978-3-540-89856-6</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503804 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Ramalingam, G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format:&#160;Electronic Resources<br/> Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions ent://SD_ILS/0/SD_ILS:502714 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format:&#160;Electronic Resources<br/> A Modular Calculus for the Average Cost of Data Structuring ent://SD_ILS/0/SD_ILS:501743 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Schellekens, Michel. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format:&#160;Electronic Resources<br/> Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503729 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Chaudron, Michel R. V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87891-9">http://dx.doi.org/10.1007/978-3-540-87891-9</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings ent://SD_ILS/0/SD_ILS:502686 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:503855 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format:&#160;Electronic Resources<br/> Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:502665 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Meier, Ren&eacute;. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures ent://SD_ILS/0/SD_ILS:512834 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures ent://SD_ILS/0/SD_ILS:512837 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Aldini, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74810-6">http://dx.doi.org/10.1007/978-3-540-74810-6</a><br/>Format:&#160;Electronic Resources<br/> Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512551 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Indulska, Jadwiga. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format:&#160;Electronic Resources<br/> Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512972 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Cerqueira, Renato. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76778-7">http://dx.doi.org/10.1007/978-3-540-76778-7</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512568 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512963 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format:&#160;Electronic Resources<br/> Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:511209 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Dunne, Steve. editor.<br/><a href="http://dx.doi.org/10.1007/11768173">http://dx.doi.org/10.1007/11768173</a><br/>Format:&#160;Electronic Resources<br/> Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:511324 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Reussner, Ralf H. editor.<br/><a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format:&#160;Electronic Resources<br/> Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings ent://SD_ILS/0/SD_ILS:511664 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Lightfoot, David E. editor.<br/><a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format:&#160;Electronic Resources<br/> Advanced Topics in Exception Handling Techniques ent://SD_ILS/0/SD_ILS:511500 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Dony, Christophe. editor.<br/><a href="http://dx.doi.org/10.1007/11818502">http://dx.doi.org/10.1007/11818502</a><br/>Format:&#160;Electronic Resources<br/> Rigorous Development of Complex Fault-Tolerant Systems ent://SD_ILS/0/SD_ILS:511874 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511228 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Gorrieri, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</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:510979 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511930 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Kobayashi, Naoki. editor.<br/><a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format:&#160;Electronic Resources<br/> Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511242 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Eliassen, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format:&#160;Electronic Resources<br/> Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:512067 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Steen, Maarten. editor.<br/><a href="http://dx.doi.org/10.1007/11925071">http://dx.doi.org/10.1007/11925071</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures ent://SD_ILS/0/SD_ILS:511411 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format:&#160;Electronic Resources<br/> Virtual Machines ent://SD_ILS/0/SD_ILS:508471 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Craig, Iain D. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-246-1">http://dx.doi.org/10.1007/978-1-84628-246-1</a><br/>Format:&#160;Electronic Resources<br/> Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems ent://SD_ILS/0/SD_ILS:510374 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Rust, Heinrich. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-32008-1">http://dx.doi.org/10.1007/978-3-540-32008-1</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510034 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Steffen, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510523 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Yi, Kwangkeun. editor.<br/><a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Electronic Resources<br/> Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510545 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Alonso, Gustavo. editor.<br/><a href="http://dx.doi.org/10.1007/11587552">http://dx.doi.org/10.1007/11587552</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 &ndash; 5, 2004, Revised Lectures ent://SD_ILS/0/SD_ILS:510311 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format:&#160;Electronic Resources<br/> Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:510228 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Roy, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format:&#160;Electronic Resources<br/> Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510557 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Dearle, Alan. editor.<br/><a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format:&#160;Electronic Resources<br/> Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers ent://SD_ILS/0/SD_ILS:509966 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format:&#160;Electronic Resources<br/> Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510060 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Kutvonen, Lea. editor.<br/><a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format:&#160;Electronic Resources<br/> Embedded Systems Design The ARTIST Roadmap for Research and Development ent://SD_ILS/0/SD_ILS:510343 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Bouyssounouse, Bruno. author.<br/><a href="http://dx.doi.org/10.1007/b106761">http://dx.doi.org/10.1007/b106761</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:509748 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures ent://SD_ILS/0/SD_ILS:510308 2024-05-30T19:04:32Z 2024-05-30T19:04:32Z by&#160;Aldini, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format:&#160;Electronic Resources<br/>