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.$0026ic$003dtrue$0026ps$003d300?2026-01-21T03:32:23ZModelling Distributed Systemsent://SD_ILS/0/SD_ILS:1870122026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001032026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systemsent://SD_ILS/0/SD_ILS:3997392026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3997502026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor Á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/>Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4872812026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351052026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329992026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Real-Time Systems Design Principles for Distributed Embedded Applicationsent://SD_ILS/0/SD_ILS:1730972026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1960702026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936672026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Distributed and Parallel Systems In Focus: Desktop Grid Computingent://SD_ILS/0/SD_ILS:1676802026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Distributed and Parallel Systems From Cluster to Grid Computingent://SD_ILS/0/SD_ILS:1667412026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1877952026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848902026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1827352026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>From Blockchain to Web3 & Metaverseent://SD_ILS/0/SD_ILS:5282372026-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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-01-21T03:32:23Z2026-01-21T03:32:23ZAuthor 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/>