logo
and Systems

会议结果 (2)

IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification (FORTE)

Rank: COffline
Lille, France
Jun 16, 2025 - Jun 20, 2025
Formal Techniques for Distributed ObjectsComponentsand Systems+13 更多

Data Warehousing and Knowledge Discovery (DaWaK)

Rank: BOffline
Bangkok, Thailand
Aug 25, 2025 - Aug 27, 2025
Metadata for big data frameworksBig data storage and indexingBig data analytics: algorithms+63 更多