Ngữ nghĩa thủ tục của chương trình logic có ràng buộc

kod QR

Ngữ nghĩa thủ tục của chương trình logic có ràng buộc

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Trương Công, Tuấn, Trần Thị Ngọc, Trang
Format:	Artykuł
Język:	Vietnamese
Wydane:	2014
Hasła przedmiotowe:	Lập trình logic ràng buộc
Dostęp online:	http://thuvien.due.udn.vn:8080/dspace/handle/TVDHKT/11677
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Thư viện lưu trữ:	Trường Đại học Kinh tế - Đại học Đà Nẵng

Podobne zapisy

Giải bài toán n-quân hậu bằng phương pháp lập trình ràng buộc.
od: Lê, Thanh Dũng
Wydane: (2013)

Lập trình ràng buộc với bài toán N-quân hậu.
od: Nguyễn, Thị Thu Hà
Wydane: (2013)

Lập trình ràng buộc.
od: Lê, Thanh Dung
Wydane: (2019)

Lập trình ràng buộc và ứng dụng vào bài toán lập lịch giảng dạy đại học
od: Lê, Hồng Hải, i wsp.
Wydane: (2015)

Một số phương pháp giải bài toán tối ưu phi tuyến có ràng buộc và ứng dụng
od: Nguyễn, Thị Yến Phi
Wydane: (2020)

Vấn đề ràng buộc toàn vẹn trong mô hình quan hệ và hệ kiểm tra ràng buộc về FD - ứng dụng : Đề tài nghiên cứu khoa học cấp trường /
od: Đặng Phước Huy
Wydane: (2006)

Về yếu tố ưng thuận của hợp đồng /
od: Ngô Huy Cương, TS.

Programming logic and design, comprehensive
od: Farrell, Joyce
Wydane: (2002)

Programmable logic controllers
od: Bolton, W
Wydane: (2015)

Lập trình ràng buộc với bài toán N-quân hậu
od: Nguyễn Thị Thu Hà
Wydane: (2012)

Một thuật toán hiệu quả khai thác các tập phổ biến chứa một tập thuộc tính ràng buộc
od: Dương, Văn Hải, i wsp.
Wydane: (2012)

Giải bài Toán n-quân hậu bằng phương pháp lập trình ràng buộc
od: Lê Thanh Dũng
Wydane: (2012)

Nghiên cứu các biện pháp biểu diễn tri thức trong lập trình Logic
od: Nguyễn Thanh, Tú
Wydane: (2018)

Các phương pháp Gradient và phương pháp liên quan cho bài toán tối ưu không ràng buộc và có ràng buộc /
od: Võ Sĩ Xuân
Wydane: (1999)

Điều khiển logic lập trình PLC
od: Tăng, Văn Mùi
Wydane: (2011)

Bản ghi nhớ (MOU) :
od: Trương Trọng Hiểu.

Bước đầu làm quen với logic toán
od: Nguyễn, Mạnh Trinh
Wydane: (1999)

Introduction to logic
od: Copi, Irving M
Wydane: (2005)

Bộ điều khiển logic khả trình PLC và ứng dụng
od: Nguyễn, Văn Khang
Wydane: (2019)

Bộ điều khiển logic khả trình PLC và ứng dụng
od: Nguyễn, Văn Khang
Wydane: (2017)

Bộ điều khiển Logic khả trình PLC và ứng dụng /
od: Nguyễn Văn Khang
Wydane: (2015)

Bộ điều khiển logic khả trình PLC và ứng dụng /
od: Nguyễn Văn Khang
Wydane: (2015)

Bộ điều khiển Logic khả trình PLC và ứng dụng /
od: Nguyễn Văn Khang
Wydane: (2019)

Bộ điều khiển Logic khả trình PLC và ứng dụng /
od: Nguyễn Văn Khang
Wydane: (2015)

Thực tiễn giải quyết tranh chấp về điều ước quốc tế và trường hợp của Tuyên bố về ứng xử của các bên ở Biển Đông (DOC) /
od: Trương Trọng Hiểu.

Nghiên cứu xây dựng thuật toán tìm tuyến đường tối thiểu hóa nhiên liệu có ràng buộc thời gian ứng dụng cho tàu chở hàng
od: Đoàn, Hữu Khánh, i wsp.
Wydane: (2026)

Giáo trình Phay bánh răng - thanh răng ( sách phô tô) /
od: Hoàng Thanh Tịnh
Wydane: (2008)

The elements of logic
od: Barker, Stephen F.
Wydane: (2003)

The elements of logic
od: Barker, Stephen F.
Wydane: (2003)

Điều khiển logic lập trình PLC
od: Tăng, Văn Mùi
Wydane: (2011)

Điều khiển logic lập trình PLC
od: Tăng, Văn Mùi
Wydane: (2011)

Phương pháp chiếu mở rộng giải bài toán bất đẳng thức biến phân hai cấp
od: Cao, Thị Thu Trang
Wydane: (2026)

Chỉnh hình răng mặt
Wydane: (2013)

Logic học đại cương
od: Nguyễn, Thúy Vân
Wydane: (2009)

Logic học :
od: Lê, Ngọc Triết
Wydane: (2013)

Hegel's logic :
od: Hegel, Georg Wilhelm Friedrich
Wydane: (1975)

Bài giảng răng hàm mặt
Wydane: (2006)

Giáo trình logic học đại cương /
od: Nguyễn Như Hải, TS.
Wydane: (2011)

Lôgic học
od: Nguyễn Trọng Văn

Lôgíc học /
od: Phan Trọng Hoà.
Wydane: (2006)