Browse

Author Profile

Browsing by Subject Phần mềm máy tính

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 20 of 41
  • OER000003154.pdf.jpg
  • Ebooks (Sách điện tử)

  • Android Notes for Professionals

    • Authors : - (2019)

  • Ghi chú Android dành cho các chuyên gia được biên soạn từ Stack Overflow Documentation, nội dung được viết bởi những người tại Stack Overflow.
  • OER000003288.pdf.jpg
  • Ebooks (Sách điện tử)

  • Behavioural Types : From Theory to Tools

    • Authors : - (2017)

  • Các hệ thống loại hành vi trong ngôn ngữ lập trình hỗ trợ đặc tả và xác minh các thuộc tính của chương trình ngoài việc sử dụng hệ thống loại truyền thống để mô tả việc xử lý dữ liệu. Một ví dụ chính về đặc tính như vậy là tính chính xác của giao tiếp trong các hệ thống đồng thời và phân tán, được thúc đẩy bởi tầm quan trọng của giao tiếp có cấu trúc trong phần mềm hiện đại.&...
  • OER000003262.pdf.jpg
  • Ebooks (Sách điện tử)

  • Behavioural Types:from Theory to Tools

    • Authors : - (2017)

  • Các hệ thống loại hành vi trong ngôn ngữ lập trình hỗ trợ đặc tả và xác minh các thuộc tính của chương trình ngoài việc sử dụng hệ thống loại truyền thống để mô tả việc xử lý dữ liệu. Một ví dụ chính về đặc tính như vậy là tính chính xác của giao tiếp trong các hệ thống đồng thời và phân tán, được thúc đẩy bởi tầm quan trọng của giao tiếp có cấu trúc trong phần mềm hiện đại.&...
  • OER000003416.pdf.jpg
  • Ebooks (Sách điện tử)

  • Benefit/Cost-Driven Software Development

    • Authors : Jo Erskine, Hannay (2021)

  • Cuốn sách truy cập mở này trình bày một tập hợp các kỹ thuật cơ bản để ước tính lợi ích của các dự án và danh mục đầu tư phát triển CNTT. Nó cũng cung cấp các phương pháp để theo dõi mức độ lợi ích ước tính đạt được trong các dự án. Sau đó, người đọc có thể sử dụng các ước tính lợi ích này cùng với ước tính chi phí để tạo chỉ số lợi ích/chi phí nhằm giúp họ quy...
  • APTT00302143.pdf.jpg
  • Other

  • Các mô hình cơ bản trong phân tích và thiết kế hướng đối tượng

    • Authors : Lê, Văn Phùng (2014)

  • Tổng quan về mô hình hóa phần mềm, các khái niệm cơ bản trong phân tích và thiết kế hướng đối tượng, yêu cầu hệ thống và mô hình nghiệp vụ, mô hình phân tích đối tượng, các mô hình phân tích động thái, các mô hình thiết kế tương tác, mô hình kiến trúc logic, mô hình kiến trúc vật lý, mô hình phân tích và thiết kế một ca sử dụng và mô hình thiết kế đối tượng.
  • OER000003059.pdf.jpg
  • Ebooks (Sách điện tử)

  • Compiler Design: Theory, Tools, and Examples

    • Authors : Seth D., Bergmann (2016)

  • This textbook is a revision of an earlier edition that was written for a Pascal and C++ based curricula. It is not intended to be strictly an object- oriented approach to compiler design.
  • OER000003357-1.pdf.jpg
  • Ebooks (Sách điện tử)

  • Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part II

    • Authors : - (2021)

  • Bộ tài liệu hai tập truy cập mở LNCS 12759 và 12760 này cấu thành từ kỷ yếu của hội nghị quốc tế lần thứ 33 về Xác minh có sự hỗ trợ của máy tính, CAV 2021, được tổ chức trực tuyến vào tháng 7 năm 2021. Có 63 bài báo đầy đủ được trình bày cùng với 16 bài báo công cụ và 5 bài báo được mời đã được xem xét cẩn thận được xem xét và lựa chọn từ 290 bài đã nộp. ...
  • OER000003393.pdf.jpg
  • Ebooks (Sách điện tử)

  • Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part III

    • Authors : - (2024)

  • Cuốn sách truy cập mở này cấu tập hợp nội dung của Hội nghị quốc tế lần thứ 36 về Xác minh có sự hỗ trợ của máy tính, CAV 2024, diễn ra tại Montreal, Canada, trong thời gian từ ngày 24 đến ngày 27 tháng 7 năm 2024. Trọng tâm chính của CAV là mở rộng biên giới của các kỹ thuật xác minh bằng cách mở rộng sang các lĩnh vực mới như bảo mật, điện toán lượng tử và học máy.
  • OER000001012-1.pdf.jpg
  • Book

  • Computer Aided Verification. Part II

    • Authors : Lahiri, Shuvendu K. (2020)

  • Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers ...
  • OER000003106.pdf.jpg
  • Ebooks (Sách điện tử)

  • Computer Aided Verification: 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part II

    • Authors : - (2023)

  • The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid system...
  • OER000003170.pdf.jpg
  • Ebooks (Sách điện tử)

  • Entity Framework Notes for Professionals

    • Authors : - (2018)

  • Sách Entity Framework Notes for Professionals được biên soạn từ Stack Overflow Documentation, nội dung được viết bởi những người tại Stack Overflow.
  • OER000003403.pdf.jpg
  • Ebooks (Sách điện tử)

  • Feature models : AI-driven design, analysis and applications

    • Authors : Alexander, Felfernig; Andreas, Falkner; David, Benavides (2024)

  • Cuốn sách truy cập mở này cung cấp phần giới thiệu cơ bản về mô hình hóa và phân tích đối tượng cũng như cách tích hợp các phương pháp AI với mô hình hóa đối tượng. Nó nhằm mục đích giới thiệu cho các nhà nghiên cứu và những người thực hành mới tham gia vào lĩnh vực này và cũng sẽ đóng vai trò là tài liệu tham khảo hiện đại nhất cho đối tượng này. Trong khi tập trung vào góc&...