Search Results for Distributed Systems - Narrowed by: Logic design.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDistributed$002bSystems$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300?2026-04-22T22:14:34ZModelling Distributed Systemsent://SD_ILS/0/SD_ILS:1870122026-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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 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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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, 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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1855392026-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866762026-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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 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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>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-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor 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/>Active Object Languages: Current Research Trendsent://SD_ILS/0/SD_ILS:6024372026-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51060-1">https://doi.org/10.1007/978-3-031-51060-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6160162026-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6160712026-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applicationsent://SD_ILS/0/SD_ILS:6173502026-04-22T22:14:34Z2026-04-22T22:14:34ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>