Որոնման արդյունքները - "Computer logic Congresses."
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
-
1
Formal logical methods for system security and correctness
Հրապարակվել է 2008Խորագրեր: “…Computer logic Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Էլեկտրոնային Գիտաժողովի նյութեր էլ․ գիրք