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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Graf, Susanne, Viswanathan, Mahesh
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Congresses Computer network protocols Formal methods Distributed processing Electronic data processing
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58538
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương 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
Bỡi: Bessani, Alysson, et al.
Được phát hành: (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
Bỡi: Holvoet, Tom, et al.
Được phát hành: (2015)

Information Security Education Across the Curriculum: 9th IFIP WG 11.8 World Conference, WISE 9, Hamburg, Germany, May 26-28, 2015, Proceedings
Bỡi: Bishop, Matt, et al.
Được phát hành: (2015)

Distributed Computing and Internet Technology: 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings
Bỡi: Natarajan, Raja, et al.
Được phát hành: (2015)

Computer Science and Its Applications: 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Bỡi: Amine, A, et al.
Được phát hành: (2015)

Distributed Computing and Artificial Intelligence, 15th International Conference
Bỡi: Prieta, Fernando De La, et al.
Được phát hành: (2019)

Distributed Computing and Artificial Intelligence, 16th International Conference
Bỡi: Herrera, Francisco, et al.
Được phát hành: (2020)

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
Bỡi: Gaaloul, K, et al.
Được phát hành: (2015)

The proceedings of the 10th IFIP Conference on Personal Wireless Communications :
Được phát hành: (2005)

Distributed Computing and Artificial Intelligence, 16th International Conference, Special Sessions
Bỡi: Herrera-Viedma, Enrique, et al.
Được phát hành: (2020)

Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings
Bỡi: Fernandes, Joao M, et al.
Được phát hành: (2015)

Exploring Services Science: 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
Bỡi: Sampaio da Nóvoa, Henriqueta, et al.
Được phát hành: (2015)

Health Information Science 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings
Bỡi: Yin, X, et al.
Được phát hành: (2015)

Persuasive Technology: 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
Bỡi: MacTavish, Thomas, et al.
Được phát hành: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Bỡi: Baixeries, Jaume, et al.
Được phát hành: (2015)

Distributed Computing and Artificial Intelligence, Special Sessions II, 15th International Conference
Bỡi: Omatu, Sigeru, et al.
Được phát hành: (2020)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Được phát hành: (2002)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Được phát hành: (2002)

Distributed Computing and Artificial Intelligence, 14th International Conference. 1st ed. 2018
Bỡi: Omatu, Sigeru, et al.
Được phát hành: (2020)

Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Bỡi: Gribaudo, Marco, et al.
Được phát hành: (2015)

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
Bỡi: Zdravkovic, Jelena, et al.
Được phát hành: (2015)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Bỡi: D'Souza, Deepak, et al.
Được phát hành: (2015)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
Bỡi: Rout, Terry, et al.
Được phát hành: (2015)

Outlooks and Insights on Group Decision and Negotiation: 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
Bỡi: Kamiński, Bogumił, et al.
Được phát hành: (2015)

Artificial Intelligence and Soft Computing: 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Bỡi: Rutkowski, L, et al.
Được phát hành: (2015)

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Bỡi: Rutkowski, L, et al.
Được phát hành: (2015)

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Bỡi: Devillers, R, et al.
Được phát hành: (2015)

IEEE & IFIP International Conference in central Asia on Internet
Bỡi: Castillo, Pedro Angel Cuenca
Được phát hành: (2005)

Pattern Recognition: 7th Mexican Conference, MCPR 2015, Mexico City, Mexico, June 24-27, 2015, Proceedings
Bỡi: Carrasco-Ochoa, J.A, et al.
Được phát hành: (2015)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Bỡi: Banerjee, Mohua, et al.
Được phát hành: (2015)

New Horizons in Design Science: Broadening the Research Agenda: 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings
Bỡi: Donnellan, B, et al.
Được phát hành: (2015)

Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
Bỡi: Neves-Silva, Rui, et al.
Được phát hành: (2015)

International Techmart Vietnam 2015 Press Conference
Bỡi: Ban Biên tập
Được phát hành: (2023)

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
Bỡi: Tan, Y, et al.
Được phát hành: (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
Bỡi: Tan, Y, et al.
Được phát hành: (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
Bỡi: Tan, Y, et al.
Được phát hành: (2015)

Inclusive Smart Cities and e-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings
Bỡi: Geissbühler, A, et al.
Được phát hành: (2015)

Databases Theory and Applications: 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings
Bỡi: Sharaf, Mohamed A, et al.
Được phát hành: (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
Bỡi: Biemann, C, et al.
Được phát hành: (2015)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection: 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings
Bỡi: Demazeau, Y, et al.
Được phát hành: (2015)