Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 161 - 180 kết quả của 1,222 cho tìm kiếm '"logic"', thời gian truy vấn: 0.10s Tinh chỉnh kết quả
161
Programming business logic using EJB.
Được phát hành 1990
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:
162
Lập trình lôgic trong Prolog /
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:
163
Thiết kế logic mạch số /
Bỡi Nguyễn Thúy Vân
Được phát hành 2001
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:
164
Non-standard inferences in description logics /
Bỡi Kusters, Ralf.
Được phát hành 2001
Những chủ đề: “...Description logics....”
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:
165
Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành 2001
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:
166
Fundamentals of digital logic with VHDL design /
Bỡi Brown, Stephen D.
Được phát hành 2000
Những chủ đề: “...Logic circuits Design and construction Data processing....”
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:
167
An introduction to fuzzy logic and fuzzy sets /
Bỡi Buckley, James J., 1936-
Được phát hành 2002
Những chủ đề: “...Fuzzy 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:
168
Introduction to Fuzzy Logic using MATLAB
Bỡi Sivanandam, S.N., Sumathi, S., Deepa, S. N.
Được phát hành 2020
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:
169
Logic-Based Program Synthesis and Transformation
Được phát hành 2020
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:
170
Foundations of Fuzzy Logic and Soft Computing
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:
171
Logic Based Program Synthesis and Transformation
Đượ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:
172
Lập trình lôgic trong Prolog
Bỡi Phan, Huy Khánh
Được phát hành 2014
Những chủ đề: “...Lập trình lôgic...”
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:
173
Logic-Based Program Synthesis and Transformation
Bỡi Fioravanti, Fabio, Gallagher, John P.
Đượ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:
174
Quantitative Logic and Soft Computing 2016
Bỡi Fan, Tai-He, Chen, Shui-Li, Wang, San-Min, Li, Yong-Ming
Được phát hành 2020
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:
175
Fuzzy Logic, Identification and Predictive Control
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:
176
Computational Logic in Multi-Agent Systems
Đượ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:
177
Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi Dershowitz, Nachum, Voronkov, Andrei
Được phát hành 2020
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:
178
Dynamic Logic. New Trends and Applications
Bỡi Madeira, Alexandre, Benevides, Mário
Được phát hành 2020
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:
179
Type-2 Fuzzy Logic and Systems
Bỡi John, Robert, Hagras, Hani, Castillo, Oscar
Được phát hành 2020
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:
180
Dynamic Logic. New Trends and Applications
Bỡi Barbosa, Luís Soares, Baltag, Alexandru
Đượ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