51. Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings /: 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings. (2018) Editors: Baier, Christel; Caires, Luís Other Names: FORTE (Conference), 38th; International Federated Conferences on Distributed Computing Techniques, 13th, jointly held conference Record Type: Book Extent: 1 online resource (xi, 197 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. 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, Proceedings /: 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, Proceedings. ([2019]) Editors: Pérez, Jorge A; Yoshida, Nobuko Other Names: FORTE Conference, 39th; International Federated Conferences on Distributed Computing Techniques, 14th, jointly held conference Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /: 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. (2020) Editors: Gotsman, Alexey; Sokolova, Ana Other Names: FORTE Conference, 40th; International Federated Conferences on Distributed Computing Techniques, 15th Record Type: Book Extent: 1 online resource (xii, 237 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. (2018) Other Names: Peled, Doron A, 1962-; Vardi, Moshe Y; FORTE 2002 Record Type: Book Extent: 1 online resource (157 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Information filtering and retrieval : DART 2014: Revised and invited papers /: DART 2014: Revised and invited papers. ([2016]) Editors: Lai, Cristian; (Electrical engineer), Giuliani, Alessandro; Semeraro, Giovanni Other Names: DART (Conference), 8th Record Type: Book Extent: 1 online resource (vii, 117 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Innovations for community services : 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised selected papers /: 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised selected papers. (2016) Editors: Fahrnberger, Günter; Eichler, Gerald; Erfurth, Christian Other Names: International Conference on Innovations for Community Services, 16th Record Type: Book Extent: 1 online resource (xviii, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Innovations for community services : 17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings /: 17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings. (2017) Editors: Eichler, Gerald; Erfurth, Christian; Fahrnberger, Günter Other Names: International Conference on Innovations for Community Services, 17th Record Type: Book Extent: 1 online resource (xii, 197 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Innovations for community services : 18th International Conference, I4CS 2018, Žilina, Slovakia, June 18-20, 2018, Proceedings /: 18th International Conference, I4CS 2018, Žilina, Slovakia, June 18-20, 2018, Proceedings. (2018) Editors: Hodoň, Michal; Eichler, Gerald; Erfurth, Christian; Fahrnberger, Günter Other Names: International Conference on Innovations for Community Services, 18th Record Type: Book Extent: 1 online resource (xii, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Innovations for community services : 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings /: 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings. ([2019]) Editors: Lüke, Karl-Heinz; Eichler, Gerald; Erfurth, Christian; Fahrnberger, Günter Other Names: International Conference on Innovations for Community Services, 19th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Innovations for community services : 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12-14, 2020, Proceedings /: 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12-14, 2020, Proceedings. (2020) Editors: Rautaray, Siddharth Swarup; Eichler, Gerald; Erfurth, Christian; Fahrnberger, Günter Other Names: International Conference on Innovations for Community Services, 20th Record Type: Book Extent: 1 online resource (xiii, 327 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗