Kết quả tìm kiếm - communication argumentation ((systems diversifying) OR (systems verifying)) database invited

Tìm kiếm thay thế:
communication argumentation » communication documentation , communication presentation , communication instrumentation
systems diversifying » systems identifying , systems dimensioning , systems designing
database invited » databases invited , databases united , database limited

1

Ảnh bìa

Cooperative Information Agents X 10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... -- Communication and Cooperation -- Performative Patterns for Designing Verifiable ACLs -- Enabling Mobile Agents...”
lấy văn bản

Điện tử eBook

2

Ảnh bìa

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /

Được phát hành 2010

Mục lục: “...Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher...”
lấy văn bản

Điện tử eBook