loading
  • Trang chủ
  • Luận án, luận văn
  • Hệ thống kiểu để ước lượng tĩnh tài nguyên sử dụng của chương trình giao dịch: LATS Công nghệ thông tin: 9.48.01.03.01/ Nguyễn Ngọc Khải
Luận án, luận văn

Hệ thống kiểu để ước lượng tĩnh tài nguyên sử dụng của chương trình giao dịch: LATS Công nghệ thông tin: 9.48.01.03.01/ Nguyễn Ngọc Khải

Tác giả : Nguyễn Ngọc Khải

Năm xuất bản : 2021

Nơi xuất bản : H.

Mô tả vật lý : xii, 163 tr.: minh hoạ; 30 cm 1 tt

Số phân loại : 005.11

Chủ đề : 1. $2Bộ TK TVQGKĩ thuật phần mềm. 2. $2Bộ TK TVQGLập trình. 3. 7.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Trình bày những kiến thức cơ bản, nền tảng và những nghiên cứu liên quan. Xây dựng ngôn ngữ giao dịch tối giản và hệ thống kiểu để ước lượng biên tài nguyên tiêu thụ của chương trình. Bổ sung tính bộ nhớ tối đa cho chương trình của ngôn ngữ mệnh lệnh và xác định bộ nhớ giao dịch tối đa cho chương trình của ngôn ngữ hướng đối tượng
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA21.1883.1, LA21.1883.2, LA21.1883.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-850797.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Trung đoàn 926 hình thành và phát triển (1988 - 2020)/ B.s.: Nguyễn Ngọc Khải (ch.b.), Châu Phi Long, Phạm Thành Lộc..

Tác giả : B.s.: Nguyễn Ngọc Khải (ch.b.), Châu Phi Long, Phạm Thành Lộc..

Nhà xuất bản : Chính trị Quốc gia

Năm xuất bản : 2021

placeholder+image

Sách, tuyển tập

Giáo trình Vật lý đại cương/ Nguyễn Thế Hưng (ch.b.), Lê Mỹ Phượng, Nguyễn Thị Xuân ; Nguyễn Ngọc Khải h.đ. T.2, Điện, từ

Tác giả : Nguyễn Thế Hưng (ch.b.), Lê Mỹ Phượng, Nguyễn Thị Xuân ; Nguyễn Ngọc Khải h.đ.

Nhà xuất bản : Hàng hải

Năm xuất bản : 2020

placeholder+image

Sách, tuyển tập

Lịch sử truyền thống cách mạng của Đảng bộ và nhân dân xã Phước Hưng (1930-2015)/ Ch.b.: Nguyễn Thiện Chiến, Nguyễn Ngọc Khải

Tác giả : Ch.b.: Nguyễn Thiện Chiến, Nguyễn Ngọc Khải

Nhà xuất bản : Chính trị Quốc gia

Năm xuất bản : 2020

placeholder+image

Sách, tuyển tập

Giáo trình Vật lý đại cương/ Nguyễn Thế Hưng (ch.b.), Nguyễn Ngọc Khải, Phạm Đồng Bằng, Nguyễn Trọng Tâm ; Lê Mỹ Phượng h.đ. T.1

Tác giả : Nguyễn Thế Hưng (ch.b.), Nguyễn Ngọc Khải, Phạm Đồng Bằng, Nguyễn Trọng Tâm ; Lê Mỹ Phượng h.đ.

Nhà xuất bản : Nxb. Hàng hải

Năm xuất bản : 2019

placeholder+image

Sách, tuyển tập

Thơ xuân Kỷ Hợi 2019/ Nguyễn Ngọc Khải, Vũ Duy Hoà, Hoàng Thanh Hải..

Tác giả : Nguyễn Ngọc Khải, Vũ Duy Hoà, Hoàng Thanh Hải..

Nhà xuất bản : Nxb. Thanh Hoá

Năm xuất bản : 2019

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Bé yêu lập trình!: = Baby loves coding : Picture books song ngữ : Dành cho trẻ từ 0 - 6 tuổi/ Ruth Spiro ; Minh hoạ: Irene Chan ; Doãn Minh Đăng dịch

Tác giả : Ruth Spiro ; Minh hoạ: Irene Chan ; Doãn Minh Đăng dịch

Nhà xuất bản : Phụ nữ Việt Nam

Năm xuất bản : 2021

placeholder+image

Sách, tuyển tập

Cùng con học lập trình Scratch/ Trần Vũ Hà

Tác giả : Trần Vũ Hà

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2022

placeholder+image

Sách, tuyển tập

Đường vào lập trình Python: Một trong những ngôn ngữ lập trình chính, phổ biến nhất của AI, Machine Learning, Data Mining, Deep Learning và môn Tin học trong chương trình Giáo dục phổ thông mới/ Nguyễn Ngọc Giang (ch.b.), Phan Xuân Vọng, Nguyễn Quốc Anh

Tác giả : Nguyễn Ngọc Giang (ch.b.), Phan Xuân Vọng, Nguyễn Quốc Anh

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2021

placeholder+image

Sách, tuyển tập

Sáng tạo trong thuật toán và lập trình với Python: Tuyển các bài Toán Tin nâng cao cho học sinh và sinh viên giỏi/ Nguyễn Xuân Huy

Tác giả : Nguyễn Xuân Huy

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2021

placeholder+image

Sách, tuyển tập

Python cơ bản/ Bùi Việt Hà

Tác giả : Bùi Việt Hà

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2021