Search Results for Distributed Systems - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDistributed$002bSystems$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?2026-03-08T09:35:07ZModelling Distributed Systemsent://SD_ILS/0/SD_ILS:1870122026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Event-Based Systemsent://SD_ILS/0/SD_ILS:1834642026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32653-7">http://dx.doi.org/10.1007/3-540-32653-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Real-Time Systems Theory and Practiceent://SD_ILS/0/SD_ILS:4865582026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Erciyes, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22570-4">https://doi.org/10.1007/978-3-030-22570-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Embedded and Real-time Java Systemsent://SD_ILS/0/SD_ILS:1730762026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8158-5">http://dx.doi.org/10.1007/978-1-4419-8158-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementing Distributed Systems with Java and CORBAent://SD_ILS/0/SD_ILS:1816262026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28047-2">http://dx.doi.org/10.1007/3-540-28047-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4853042026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4868282026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Montella, Raffaele. editor. Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995 Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484 Liotta, Antonio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34914-1">https://doi.org/10.1007/978-3-030-34914-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005532026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4013372026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93767-0">https://doi.org/10.1007/978-3-319-93767-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3993972026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systemsent://SD_ILS/0/SD_ILS:3997392026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56499-8">https://doi.org/10.1007/978-3-662-56499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001032026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Xiang, Yang. editor. Sun, Jingtao. editor. Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. Jung, Jason J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02738-4">https://doi.org/10.1007/978-3-030-02738-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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, Proceedingsent://SD_ILS/0/SD_ILS:4013122026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3997502026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4872812026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Fortino, Giancarlo. editor. Di Fatta, Giuseppe. editor. Li, Wenfeng. editor. Ochoa, Sergio F. editor. (orcid)0000-0002-0431-8767 Cuzzocrea, Alfredo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11692-1">https://doi.org/10.1007/978-3-319-11692-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857322026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Felber, Pascal. editor. Garg, Vijay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11764-5">https://doi.org/10.1007/978-3-319-11764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4893722026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43613-4">https://doi.org/10.1007/978-3-662-43613-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346302026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334630.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systemsent://SD_ILS/0/SD_ILS:3346462026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334646.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38673-2">http://dx.doi.org/10.1007/978-3-642-38673-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329992026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332999.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351052026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41428-2">http://dx.doi.org/10.1007/978-3-642-41428-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329642026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.<br/>Preferred Shelf Number ONLINE(332964.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969622026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Giese, Holger. editor. Rosu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30793-5">http://dx.doi.org/10.1007/978-3-642-30793-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969692026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30823-9">http://dx.doi.org/10.1007/978-3-642-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975532026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34883-9">http://dx.doi.org/10.1007/978-3-642-34883-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1976072026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35476-2">http://dx.doi.org/10.1007/978-3-642-35476-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973992026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33536-5">http://dx.doi.org/10.1007/978-3-642-33536-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946832026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Felber, Pascal. editor. Rouvoy, Romain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21387-8">http://dx.doi.org/10.1007/978-3-642-21387-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956712026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Défago, Xavier. editor. Petit, Franck. editor. Villain, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24550-3">http://dx.doi.org/10.1007/978-3-642-24550-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1960702026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25873-2">http://dx.doi.org/10.1007/978-3-642-25873-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-Time Systems Design Principles for Distributed Embedded Applicationsent://SD_ILS/0/SD_ILS:1730972026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Kopetz, Hermann. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8237-7">http://dx.doi.org/10.1007/978-1-4419-8237-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947082026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Bruni, Roberto. editor. Dingel, Juergen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21461-5">http://dx.doi.org/10.1007/978-3-642-21461-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936672026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17653-1">http://dx.doi.org/10.1007/978-3-642-17653-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923422026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13464-7">http://dx.doi.org/10.1007/978-3-642-13464-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924022026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13645-0">http://dx.doi.org/10.1007/978-3-642-13645-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924042026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Rajaraman, Rajmohan. editor. Moscibroda, Thomas. editor. Dunkels, Adam. editor. Scaglione, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13651-1">http://dx.doi.org/10.1007/978-3-642-13651-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929042026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931602026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Dolev, Shlomi. editor. Cobb, Jorge. editor. Fischer, Michael. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16023-3">http://dx.doi.org/10.1007/978-3-642-16023-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911652026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Guerraoui, Rachid. editor. Petit, Franck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05118-0">http://dx.doi.org/10.1007/978-3-642-05118-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902282026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02138-1">http://dx.doi.org/10.1007/978-3-642-02138-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902362026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Senivongse, Twittie. editor. Oliveira, Rui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02164-0">http://dx.doi.org/10.1007/978-3-642-02164-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902112026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02085-8">http://dx.doi.org/10.1007/978-3-642-02085-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed and Parallel Systems In Focus: Desktop Grid Computingent://SD_ILS/0/SD_ILS:1676802026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Kacsuk, Péter. editor. Lovas, Róbert. editor. Németh, Zsolt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79448-8">http://dx.doi.org/10.1007/978-0-387-79448-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1856152026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68855-6">http://dx.doi.org/10.1007/978-3-540-68855-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1856202026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1855392026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892502026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Kulkarni, Sandeep. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89335-6">http://dx.doi.org/10.1007/978-3-540-89335-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1876372026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76627-8">http://dx.doi.org/10.1007/978-3-540-76627-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1877952026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Distributed and Parallel Systems From Cluster to Grid Computingent://SD_ILS/0/SD_ILS:1667412026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Kacsuk, Péter. editor. Fahringer, Thomas. editor. Németh, Zsolt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-69858-8">http://dx.doi.org/10.1007/978-0-387-69858-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007ent://SD_ILS/0/SD_ILS:1697332026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1866992026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1866762026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867722026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73196-2">http://dx.doi.org/10.1007/978-3-540-73196-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848902026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1842082026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1843682026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Anderson, James H. editor. Prencipe, Giuseppe. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11795490">http://dx.doi.org/10.1007/11795490</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853082026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Shvartsman, Mariam Momenzadeh Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11945529">http://dx.doi.org/10.1007/11945529</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1852652026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49823-0">http://dx.doi.org/10.1007/978-3-540-49823-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1841852026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831472026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1827352026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1827542026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1827562026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Higashino, Teruo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138689">http://dx.doi.org/10.1007/b138689</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1828212026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11533962">http://dx.doi.org/10.1007/11533962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Blockchain to Web3 & Metaverseent://SD_ILS/0/SD_ILS:5282372026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Huang, Huawei. editor. Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Zheng, Zibin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3648-9">https://doi.org/10.1007/978-981-99-3648-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Official Google Cloud Certified Professional Data Engineer study guideent://SD_ILS/0/SD_ILS:5960212026-03-08T09:35:07Z2026-03-08T09:35:07ZAuthor Sullivan, Dan, 1962-<br/>Preferred Shelf Number QA76.3<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>