Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,261 - 1,280 kết quả của 3,031 cho tìm kiếm '"logic"', thời gian truy vấn: 0.06s Tinh chỉnh kết quả
1261
The Incomputable. 1st ed. 2017
Bỡi Cooper, S. Barry, Soskova, Mariya I.
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Foundations...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1262
Process Algebras for Petri Nets. 1st ed. 2017
Bỡi Gorrieri, Roberto
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Foundations...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1263
AI*IA 2003: Advances in Artificial Intelligence
Bỡi Cappelli, Amedeo, Turini, Franco
Đượ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:
1264
AI 2001: Advances in Artificial Intelligence
Bỡi Brooks, Mike, Corbett, Dan, Stumptner, Markus
Đượ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:
1265
Philosophical Foundations of Quality of Life. 1st ed. 2017
Bỡi Michalos, Alex C.
Được phát hành 2020
Những chủ đề: “...Logic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1266
Bài giảng điện tử số 1
Bỡi Khoa Điện tử Viễn thông
Được phát hành 2014
Những chủ đề: “...Phần tử logic...”
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:
1267
Fuzzy Classification of Online Customers
Bỡi Werro, Nicolas
Được phát hành 2015
Những chủ đề: “...Fuzzy logic...”
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:
1268
Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Bỡi Baixeries, Jaume, Sacarea, Christian, Ojeda-Aciego, Manuel
Được phát hành 2015
Những chủ đề: “...Logic...”
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:
1269
Toán học ứng dụng : đối tượng, logic, đặc điểm các phương pháp /
Bỡi Blekman, I. I.
Được phát hành 1985
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:
1270
Nguyên lý chuyển đổi analog <-> digital: Kỹ thuật điện tử số - Mạch logic, Kỹ thuật số ứng dụng TV digital, kỹ thuật ghép nối vi xử lý
Bỡi Đỗ Thanh Hải
Được phát hành 2003
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:
1271
Nghiên cứu ứng dụng logic mờ để xây dựng hệ thống hỗ trợ công tác quản lý thi đua ở trường THPT Chu Văn An tỉnh Quảng Ngãi
Bỡi Tô, Hồng Truyền
Được phát hành 2018
Những chủ đề: “...Logic mờ...”
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:
1272
Model-Based Safety and Assessment
Bỡi Bozzano, Marco, Papadopoulos, Yiannis
Đượ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:
1273
Application and Theory of Petri Nets and Concurrency
Bỡi Aalst, Wil van der, Best, Eike
Đượ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:
1274
Rapid Integration of Software Engineering Techniques
Đượ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:
1275
Static Analysis
Bỡi Ranzato, Francesco
Đượ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:
1276
Formal Modeling and Analysis of Timed Systems
Bỡi Raskin, Jean-Francois, Thiagarajan, P.S.
Đượ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:
1277
Hardware and Software: Verification and Testing
Bỡi Strichman, Ofer, Tzoref-Brill, Rachel
Đượ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:
1278
Advances in Computer Science - ASIAN 2007. Computer and Network Security
Bỡi Cervesato, Iliano
Đượ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:
1279
Hardware and Software: Verification and Testing
Bỡi Yorav, Karen
Đượ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:
1280
Types for Proofs and Programs
Đượ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:
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