Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,021 - 1,040 kết quả của 3,031 cho tìm kiếm '"logic"', thời gian truy vấn: 0.10s Tinh chỉnh kết quả
1021
Recent Trends in Algebraic Development Techniques
Bỡi James, Phillip, Roggenbach, Markus
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1022
Algebraic Biology
Bỡi Anai, Hirokazu, Horimoto, Katsuhisa, Kutsia, Temur
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1023
Relational and Algebraic Methods in Computer Science
Bỡi Desharnais, Jules, Guttmann, Walter, Joosten, Stef
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1024
Decision Procedures
Bỡi Kroening, Daniel, Strichman, Ofer
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1025
Foundations of Software Science and Computational Structures
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1026
Coalgebraic Methods in Computer Science
Bỡi Cîrstea, Corina
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1027
Automated Deduction – CADE 26
Bỡi Moura, Leonardo de
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1028
Implementation and Application of Automata
Bỡi Câmpeanu, Cezar
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1029
AI*IA 2017 Advances in Artificial Intelligence
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1030
Intelligent hybrid systems :
Được phát hành 1997
Những chủ đề: “...Intelligent control systems,Fuzzy logic,Hệ thống điều khiển thông minh,Logic mờ...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Lưu vào danh sách
Đã lưu trong:
1031
Advanced signal integrity for high-speed digital designs
Bỡi Hall, Stephen H.
Được phát hành 2009
Những chủ đề: “...Digital electronics,Logic design,Signal integrity (Electronics),Thiết kế logic,Điện tử số...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Lưu vào danh sách
Đã lưu trong:
1032
Mạch số. Tập 1 /
Bỡi Nguyễn Hữu Phương
Được phát hành 1995
Những chủ đề: “...Cổng logic TTL...”
Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng
Lưu vào danh sách
Đã lưu trong:
1033
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models /
Bỡi Kecman, V. 1948-
Được phát hành 2001
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Table of contents
Lưu vào danh sách
Đã lưu trong:
1034
Digital design
Bỡi Mano, M. Morris
Được phát hành 2019
Những chủ đề: “...Electronic digital computers Circuits; Logic circuits; Logic design; Digital integrated circuits...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1035
Biện pháp rèn luyện tư duy logic cho học sinh trong dạy học phần "Tiến hóa" (sinh học 12) /
Những chủ đề: “...Tư duy logic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1036
Phát triển vượt cấp trong xã hội: Lịch sử, lôgic và thực tiễn chủ nghĩa xã hội ngày nay /
Những chủ đề: “...Lôgic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1037
Lôgic của việc xây dựng chiến lược, chính sách phát triển nông nghiệp, nông thôn Việt Nam hiện nay /
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1038
Nhận dạng các hiện tượng quá độ trong máy biến áp sử dụng phân tích Wavelet và Fuzzy Logic
Bỡi Nguyễn Hoàng, Việt, Nguyễn Tuấn, Dũng
Được phát hành 2015
Thư viện lưu trữ: Trung tâm Học liệu và E-Learning, Trường Đại học Sư phạm – Đại học Đà Nẵng
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1039
Nhận dạng các hiện tượng quá độ trong máy biến áp sử dụng phân tích Wavelet và Fuzzy Logic
Bỡi Nguyễn Hoàng, Việt, Nguyễn Tuấn, Dũng
Được phát hành 2018
Thư viện lưu trữ: Trung tâm Học liệu và E-Learning, Trường Đại học Sư phạm – Đại học Đà Nẵng
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1040
Ứng dụng logic mờ tìm vị trí đặt tụ bù tối ưu trong lưới điện phân phối trung áp
Bỡi Đặng, Việt Hùng, Nguyễn, Phúc Huy
Được phát hành 2024
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm