Search Results for - Narrowed by: Programming Techniques. - Operating systems (Computers).SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300?2024-05-28T08:39:20ZSystems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:20842362024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:20856292024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20860392024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856022024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:20845392024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857982024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<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:20859152024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037162024-05-28T08:39:20Z2024-05-28T08:39:20Zby Taubenfeld, Gadi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87779-0">http://dx.doi.org/10.1007/978-3-540-87779-0</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037292024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papersent://SD_ILS/0/SD_ILS:5038012024-05-28T08:39:20Z2024-05-28T08:39:20Zby Hirschfeld, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89275-5">http://dx.doi.org/10.1007/978-3-540-89275-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038042024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Principles of the Spin Model Checkerent://SD_ILS/0/SD_ILS:5024222024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: 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 Discussionsent://SD_ILS/0/SD_ILS:5027142024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5034382024-05-28T08:39:20Z2024-05-28T08:39:20Zby Lirkov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78827-0">http://dx.doi.org/10.1007/978-3-540-78827-0</a><br/>Format: Electronic Resources<br/>Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5038382024-05-28T08:39:20Z2024-05-28T08:39:20Zby Issarny, Valé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: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5034122024-05-28T08:39:20Z2024-05-28T08:39:20Zby Frachtenberg, Eitan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78699-3">http://dx.doi.org/10.1007/978-3-540-78699-3</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026652024-05-28T08:39:20Z2024-05-28T08:39:20Zby Meier, René. 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: 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 Proceedingsent://SD_ILS/0/SD_ILS:5026862024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Software Verification and Validation An Engineering and Scientific Approachent://SD_ILS/0/SD_ILS:5056572024-05-28T08:39:20Z2024-05-28T08:39:20Zby Fisher, Marcus S. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125512024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5130122024-05-28T08:39:20Z2024-05-28T08:39:20Zby Tovar, Eduardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77096-1">http://dx.doi.org/10.1007/978-3-540-77096-1</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129632024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:5125682024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5122702024-05-28T08:39:20Z2024-05-28T08:39:20Zby Frachtenberg, Eitan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71035-6">http://dx.doi.org/10.1007/978-3-540-71035-6</a><br/>Format: Electronic Resources<br/>Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128752024-05-28T08:39:20Z2024-05-28T08:39:20Zby Pelc, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75142-7">http://dx.doi.org/10.1007/978-3-540-75142-7</a><br/>Format: Electronic Resources<br/>Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129722024-05-28T08:39:20Z2024-05-28T08:39:20Zby 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: Electronic Resources<br/>Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5112092024-05-28T08:39:20Z2024-05-28T08:39:20Zby Dunne, Steve. editor.<br/><a href="http://dx.doi.org/10.1007/11768173">http://dx.doi.org/10.1007/11768173</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112422024-05-28T08:39:20Z2024-05-28T08:39:20Zby Eliassen, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5119302024-05-28T08:39:20Z2024-05-28T08:39:20Zby Kobayashi, Naoki. editor.<br/><a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5120222024-05-28T08:39:20Z2024-05-28T08:39:20Zby Shvartsman, Mariam Momenzadeh Alexander A. editor.<br/><a href="http://dx.doi.org/10.1007/11945529">http://dx.doi.org/10.1007/11945529</a><br/>Format: Electronic Resources<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116642024-05-28T08:39:20Z2024-05-28T08:39:20Zby Lightfoot, David E. editor.<br/><a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5120672024-05-28T08:39:20Z2024-05-28T08:39:20Zby Steen, Maarten. editor.<br/><a href="http://dx.doi.org/10.1007/11925071">http://dx.doi.org/10.1007/11925071</a><br/>Format: Electronic Resources<br/>Rigorous Development of Complex Fault-Tolerant Systemsent://SD_ILS/0/SD_ILS:5118742024-05-28T08:39:20Z2024-05-28T08:39:20Zby Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format: Electronic Resources<br/>Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5116822024-05-28T08:39:20Z2024-05-28T08:39:20Zby Dolev, Shlomi. editor.<br/><a href="http://dx.doi.org/10.1007/11864219">http://dx.doi.org/10.1007/11864219</a><br/>Format: Electronic Resources<br/>Large Scale Management of Distributed Systems 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118472024-05-28T08:39:20Z2024-05-28T08:39:20Zby State, Radu. editor.<br/><a href="http://dx.doi.org/10.1007/11907466">http://dx.doi.org/10.1007/11907466</a><br/>Format: Electronic Resources<br/>Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papersent://SD_ILS/0/SD_ILS:5103612024-05-28T08:39:20Z2024-05-28T08:39:20Zby Lirkov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/11666806">http://dx.doi.org/10.1007/11666806</a><br/>Format: Electronic Resources<br/>Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5113242024-05-28T08:39:20Z2024-05-28T08:39:20Zby Reussner, Ralf H. editor.<br/><a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format: 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 Papersent://SD_ILS/0/SD_ILS:5109792024-05-28T08:39:20Z2024-05-28T08:39:20Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5113712024-05-28T08:39:20Z2024-05-28T08:39:20Zby Anderson, James H. editor.<br/><a href="http://dx.doi.org/10.1007/11795490">http://dx.doi.org/10.1007/11795490</a><br/>Format: 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. Proceedingsent://SD_ILS/0/SD_ILS:5112282024-05-28T08:39:20Z2024-05-28T08:39:20Zby Gorrieri, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Advanced Topics in Exception Handling Techniquesent://SD_ILS/0/SD_ILS:5115002024-05-28T08:39:20Z2024-05-28T08:39:20Zby Dony, Christophe. editor.<br/><a href="http://dx.doi.org/10.1007/11818502">http://dx.doi.org/10.1007/11818502</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5100892024-05-28T08:39:20Z2024-05-28T08:39:20Zby Feitelson, Dror. editor.<br/><a href="http://dx.doi.org/10.1007/11605300">http://dx.doi.org/10.1007/11605300</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105232024-05-28T08:39:20Z2024-05-28T08:39:20Zby Yi, Kwangkeun. editor.<br/><a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097232024-05-28T08:39:20Z2024-05-28T08:39:20Zby Sen, Arunabha. editor.<br/><a href="http://dx.doi.org/10.1007/b104419">http://dx.doi.org/10.1007/b104419</a><br/>Format: Electronic Resources<br/>Distributed Computing 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104362024-05-28T08:39:20Z2024-05-28T08:39:20Zby Fraigniaud, Pierre. editor.<br/><a href="http://dx.doi.org/10.1007/11561927">http://dx.doi.org/10.1007/11561927</a><br/>Format: Electronic Resources<br/>Ambient Networks 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105202024-05-28T08:39:20Z2024-05-28T08:39:20Zby Schönwälder, Jürgen. editor.<br/><a href="http://dx.doi.org/10.1007/11568285">http://dx.doi.org/10.1007/11568285</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5099662024-05-28T08:39:20Z2024-05-28T08:39:20Zby Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format: Electronic Resources<br/>Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105452024-05-28T08:39:20Z2024-05-28T08:39:20Zby Alonso, Gustavo. editor.<br/><a href="http://dx.doi.org/10.1007/11587552">http://dx.doi.org/10.1007/11587552</a><br/>Format: Electronic Resources<br/>Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5103992024-05-28T08:39:20Z2024-05-28T08:39:20Zby Sloot, Peter M. A. editor.<br/><a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format: Electronic Resources<br/>Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:5101842024-05-28T08:39:20Z2024-05-28T08:39:20Zby Priami, Corrado. editor.<br/><a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5101852024-05-28T08:39:20Z2024-05-28T08:39:20Zby Feitelson, Dror G. editor.<br/><a href="http://dx.doi.org/10.1007/b107134">http://dx.doi.org/10.1007/b107134</a><br/>Format: Electronic Resources<br/>Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105572024-05-28T08:39:20Z2024-05-28T08:39:20Zby Dearle, Alan. editor.<br/><a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5106542024-05-28T08:39:20Z2024-05-28T08:39:20Zby Pal, Ajit. editor.<br/><a href="http://dx.doi.org/10.1007/11603771">http://dx.doi.org/10.1007/11603771</a><br/>Format: Electronic Resources<br/>Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5102282024-05-28T08:39:20Z2024-05-28T08:39:20Zby Roy, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: 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. Proceedingsent://SD_ILS/0/SD_ILS:5100342024-05-28T08:39:20Z2024-05-28T08:39:20Zby Steffen, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100602024-05-28T08:39:20Z2024-05-28T08:39:20Zby Kutvonen, Lea. editor.<br/><a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5100622024-05-28T08:39:20Z2024-05-28T08:39:20Zby Higashino, Teruo. editor.<br/><a href="http://dx.doi.org/10.1007/b138689">http://dx.doi.org/10.1007/b138689</a><br/>Format: 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 Papersent://SD_ILS/0/SD_ILS:5097482024-05-28T08:39:20Z2024-05-28T08:39:20Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>