Digital resources - Ha Noi university of science and technology

Browsing by Subject Lập trình hệ thống

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 3 of 3

Thesis

Nghiên cứu xác định chế độ hàn và phương pháp lập trình cho rôbốt AX-V6 hàn các đường phức tạp

Authors : Ngô, Hữu Mạnh; Advisor : Hà, Minh Hùng; Trần, Văn Địch (2010)

Trình bày cơ sở lý thuyết về ứng suất và biến dạng hàn. Tổng quan về rôbốt hàn AX-V6. Phương pháp kiểm tra chất lượng mối hàn. Xây dựng phương pháp lập trình cho rôbốt AX-V6 hàn tự động các đường phức tạp

Book

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings

Authors : Müller, Peter (2020)

Formal Methods for Evolving Database Applications. Many database applications undergo significant schema changes during their life cycle due to performance or maintainability reasons. Trace-Relating Compiler Correctness and Secure Compilation. Runners in Action. On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. Constructive Game Logic. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. Concise Read-Only ...

Book

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings

Authors : Yoshida, Nobuko (2021)

The Decidability of Verification under PS 2.0. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. Types for Complexity of Parallel Computation in Pi-Calculus. Checking Robustness Between Weak Transactional Consistency Models. Verified Software Units. An Automated Deductive Verification Framework for Circuit-building Quantum Programs. Nested Session Types. Coupled Relational Symbolic Execution for Differential Privacy...