Formal Techniques for Distributed Objects, Components, and Systems:
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

QR Code (код быстрого отклика)

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques,...

Полное описание

Сохранить в:

Библиографические подробности
Главные авторы:	Graf, Susanne, Viswanathan, Mahesh
Формат:	‌
Язык:	English
Опубликовано:	Springer 2015
Предметы:	Congresses Computer network protocols Formal methods Distributed processing Electronic data processing
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58538
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Схожие документы

Distributed Applications and Interoperable Systems: 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
по: Bessani, Alysson, et al.
Опубликовано: (2015)

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
по: Holvoet, Tom, et al.
Опубликовано: (2015)

Distributed Computing and Internet Technology: 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings
по: Natarajan, Raja, et al.
Опубликовано: (2015)

Enterprise, Business-Process and Information Systems Modeling: 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
по: Gaaloul, K, et al.
Опубликовано: (2015)

Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
по: Gribaudo, Marco, et al.
Опубликовано: (2015)

Exploring Services Science: 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
по: Sampaio da Nóvoa, Henriqueta, et al.
Опубликовано: (2015)

Health Information Science 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings
по: Yin, X, et al.
Опубликовано: (2015)

Computer Science and Its Applications: 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
по: Amine, A, et al.
Опубликовано: (2015)

Distributed Computing and Artificial Intelligence, 15th International Conference
по: Prieta, Fernando De La, et al.
Опубликовано: (2019)

Distributed Computing and Artificial Intelligence, 16th International Conference
по: Herrera, Francisco, et al.
Опубликовано: (2020)

Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II
по: Tan, Y, et al.
Опубликовано: (2015)

Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III
по: Tan, Y, et al.
Опубликовано: (2015)

Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I
по: Tan, Y, et al.
Опубликовано: (2015)

Natural Language Processing and Information Systems: 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings
по: Biemann, C, et al.
Опубликовано: (2015)

Distributed Computing and Artificial Intelligence, 16th International Conference, Special Sessions
по: Herrera-Viedma, Enrique, et al.
Опубликовано: (2020)

Proceedings of the 6th International Conference on Hydroinformatics :
Опубликовано: (2004)

Mathematical Morphology and Its Applications to Signal and Image Processing: 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings
по: Benediktsson, J.A, et al.
Опубликовано: (2015)

Proceedings of the 13th International Conference on Damage Assessment of Structures
по: Wahab, Magd Abdel
Опубликовано: (2020)

Information and Communication Technologies in Tourism 2015: Proceedings of the International Conference in Lugano, Switzerland, February 3 - 6, 2015
по: Tussyadiah, Iis, et al.
Опубликовано: (2015)

The proceedings of the 10th IFIP Conference on Personal Wireless Communications :
Опубликовано: (2005)

Distributed Computing and Artificial Intelligence, Special Sessions II, 15th International Conference
по: Omatu, Sigeru, et al.
Опубликовано: (2020)

9th International Conference on Robotic, Vision, Signal Processing and Power Applications
по: Ibrahim, Haidi, et al.
Опубликовано: (2020)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Опубликовано: (2002)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Опубликовано: (2002)

Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings
по: Fernandes, Joao M, et al.
Опубликовано: (2015)

Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
по: Aveiro, David, et al.
Опубликовано: (2015)

Lasers Based Manufacturing: 5th International and 26th All India Manufacturing Technology, Design and Research Conference, AIMTDR 2014
по: Joshi, Shrikrishna N, et al.
Опубликовано: (2016)

LISS 2014: Proceedings of 4th International Conference on Logistics, Informatics and Service Science
по: Zhang, Z, et al.
Опубликовано: (2015)

Distributed Computing and Artificial Intelligence, 14th International Conference. 1st ed. 2018
по: Omatu, Sigeru, et al.
Опубликовано: (2020)

Persuasive Technology: 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
по: MacTavish, Thomas, et al.
Опубликовано: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
по: Baixeries, Jaume, et al.
Опубликовано: (2015)

IEEE & IFIP International Conference in central Asia on Internet
по: Castillo, Pedro Angel Cuenca
Опубликовано: (2005)

International Conference on Advancements of Medicine and Health Care through Technology; 12th - 15th October 2016, Cluj-Napoca, Romania
по: Vlad, Simona, et al.
Опубликовано: (2020)

Multiple Classifier Systems: 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings
по: Schwenker, Friedhelm, et al.
Опубликовано: (2015)

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
по: Zdravkovic, Jelena, et al.
Опубликовано: (2015)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
по: Rout, Terry, et al.
Опубликовано: (2015)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
по: D'Souza, Deepak, et al.
Опубликовано: (2015)

Outlooks and Insights on Group Decision and Negotiation: 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
по: Kamiński, Bogumił, et al.
Опубликовано: (2015)

International Techmart Vietnam 2015 Press Conference
по: Ban Biên tập
Опубликовано: (2023)

Artificial Intelligence and Soft Computing: 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
по: Rutkowski, L, et al.
Опубликовано: (2015)