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 Kodea

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

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Graf, Susanne, Viswanathan, Mahesh
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Springer 2015
Gaiak:	Congresses Computer network protocols Formal methods Distributed processing Electronic data processing
Sarrera elektronikoa:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58538
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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
nork: Bessani, Alysson, et al.
Argitaratua: (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
nork: Holvoet, Tom, et al.
Argitaratua: (2015)

Distributed Computing and Internet Technology: 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings
nork: Natarajan, Raja, et al.
Argitaratua: (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
nork: Gaaloul, K, et al.
Argitaratua: (2015)

Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
nork: Gribaudo, Marco, et al.
Argitaratua: (2015)

Exploring Services Science: 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
nork: Sampaio da Nóvoa, Henriqueta, et al.
Argitaratua: (2015)

Health Information Science 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings
nork: Yin, X, et al.
Argitaratua: (2015)

Computer Science and Its Applications: 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
nork: Amine, A, et al.
Argitaratua: (2015)

Distributed Computing and Artificial Intelligence, 15th International Conference
nork: Prieta, Fernando De La, et al.
Argitaratua: (2019)

Distributed Computing and Artificial Intelligence, 16th International Conference
nork: Herrera, Francisco, et al.
Argitaratua: (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
nork: Tan, Y, et al.
Argitaratua: (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
nork: Tan, Y, et al.
Argitaratua: (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
nork: Tan, Y, et al.
Argitaratua: (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
nork: Biemann, C, et al.
Argitaratua: (2015)

Distributed Computing and Artificial Intelligence, 16th International Conference, Special Sessions
nork: Herrera-Viedma, Enrique, et al.
Argitaratua: (2020)

Proceedings of the 6th International Conference on Hydroinformatics :
Argitaratua: (2004)

Mathematical Morphology and Its Applications to Signal and Image Processing: 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings
nork: Benediktsson, J.A, et al.
Argitaratua: (2015)

Proceedings of the 13th International Conference on Damage Assessment of Structures
nork: Wahab, Magd Abdel
Argitaratua: (2020)

Information and Communication Technologies in Tourism 2015: Proceedings of the International Conference in Lugano, Switzerland, February 3 - 6, 2015
nork: Tussyadiah, Iis, et al.
Argitaratua: (2015)

The proceedings of the 10th IFIP Conference on Personal Wireless Communications :
Argitaratua: (2005)

Distributed Computing and Artificial Intelligence, Special Sessions II, 15th International Conference
nork: Omatu, Sigeru, et al.
Argitaratua: (2020)

9th International Conference on Robotic, Vision, Signal Processing and Power Applications
nork: Ibrahim, Haidi, et al.
Argitaratua: (2020)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Argitaratua: (2002)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Argitaratua: (2002)

Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings
nork: Fernandes, Joao M, et al.
Argitaratua: (2015)

Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
nork: Aveiro, David, et al.
Argitaratua: (2015)

Lasers Based Manufacturing: 5th International and 26th All India Manufacturing Technology, Design and Research Conference, AIMTDR 2014
nork: Joshi, Shrikrishna N, et al.
Argitaratua: (2016)

LISS 2014: Proceedings of 4th International Conference on Logistics, Informatics and Service Science
nork: Zhang, Z, et al.
Argitaratua: (2015)

Distributed Computing and Artificial Intelligence, 14th International Conference. 1st ed. 2018
nork: Omatu, Sigeru, et al.
Argitaratua: (2020)

Persuasive Technology: 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
nork: MacTavish, Thomas, et al.
Argitaratua: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
nork: Baixeries, Jaume, et al.
Argitaratua: (2015)

IEEE & IFIP International Conference in central Asia on Internet
nork: Castillo, Pedro Angel Cuenca
Argitaratua: (2005)

International Conference on Advancements of Medicine and Health Care through Technology; 12th - 15th October 2016, Cluj-Napoca, Romania
nork: Vlad, Simona, et al.
Argitaratua: (2020)

Multiple Classifier Systems: 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings
nork: Schwenker, Friedhelm, et al.
Argitaratua: (2015)

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
nork: Zdravkovic, Jelena, et al.
Argitaratua: (2015)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
nork: Rout, Terry, et al.
Argitaratua: (2015)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
nork: D'Souza, Deepak, et al.
Argitaratua: (2015)

Outlooks and Insights on Group Decision and Negotiation: 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
nork: Kamiński, Bogumił, et al.
Argitaratua: (2015)

International Techmart Vietnam 2015 Press Conference
nork: Ban Biên tập
Argitaratua: (2023)

Artificial Intelligence and Soft Computing: 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
nork: Rutkowski, L, et al.
Argitaratua: (2015)