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

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
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2015)

Distributed Computing and Internet Technology: 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings
ανά: Natarajan, Raja, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2015)

Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
ανά: Gribaudo, Marco, κ.ά.
Έκδοση: (2015)

Exploring Services Science: 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
ανά: Sampaio da Nóvoa, Henriqueta, κ.ά.
Έκδοση: (2015)

Health Information Science 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings
ανά: Yin, X, κ.ά.
Έκδοση: (2015)

Computer Science and Its Applications: 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
ανά: Amine, A, κ.ά.
Έκδοση: (2015)

Distributed Computing and Artificial Intelligence, 15th International Conference
ανά: Prieta, Fernando De La, κ.ά.
Έκδοση: (2019)

Distributed Computing and Artificial Intelligence, 16th International Conference
ανά: Herrera, Francisco, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2015)

Distributed Computing and Artificial Intelligence, 16th International Conference, Special Sessions
ανά: Herrera-Viedma, Enrique, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

9th International Conference on Robotic, Vision, Signal Processing and Power Applications
ανά: Ibrahim, Haidi, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2015)

Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
ανά: Aveiro, David, κ.ά.
Έκδοση: (2015)

Lasers Based Manufacturing: 5th International and 26th All India Manufacturing Technology, Design and Research Conference, AIMTDR 2014
ανά: Joshi, Shrikrishna N, κ.ά.
Έκδοση: (2016)

LISS 2014: Proceedings of 4th International Conference on Logistics, Informatics and Service Science
ανά: Zhang, Z, κ.ά.
Έκδοση: (2015)

Distributed Computing and Artificial Intelligence, 14th International Conference. 1st ed. 2018
ανά: Omatu, Sigeru, κ.ά.
Έκδοση: (2020)

Persuasive Technology: 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
ανά: MacTavish, Thomas, κ.ά.
Έκδοση: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
ανά: Baixeries, Jaume, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

Multiple Classifier Systems: 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings
ανά: Schwenker, Friedhelm, κ.ά.
Έκδοση: (2015)

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
ανά: Zdravkovic, Jelena, κ.ά.
Έκδοση: (2015)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
ανά: Rout, Terry, κ.ά.
Έκδοση: (2015)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
ανά: D'Souza, Deepak, κ.ά.
Έκδοση: (2015)

Outlooks and Insights on Group Decision and Negotiation: 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
ανά: Kamiński, Bogumił, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2015)