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

Mã QR

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,...

Đã lưu trong:

书目详细资料
Những tác giả chính:	Graf, Susanne, Viswanathan, Mahesh
格式:	图书
语言:	English
出版:	Springer 2015
主题:	Congresses Computer network protocols Formal methods Distributed processing Electronic data processing
在线阅读:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58538
标签:	添加标签没有标签, 成为第一个标记此记录!

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)