Kết quả tìm kiếm

1181

Pillars of Computer Science

Bỡi Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander
Đượ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

1182

Teaching Formal Methods

Đượ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

1183

Formal Concept Analysis

Bỡi Ganter, Bernhard, Stumme, Gerd, Wille, Rudolf
Đượ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

1184

Reversible Computation

Bỡi Phillips, Iain, Rahaman, Hafizur
Được phát hành 2020

Những chủ đề: “...Logic Design...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1185

MATLAB Deep Learning

Bỡi Kim, Phil
Đượ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

1186

Designing Reliable Distributed Systems

Bỡi Ölveczky, Peter Csaba
Đượ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

1187

Springer Handbook of Model-Based Science

Bỡi Magnani, Lorenzo, Bertolotti, Tommaso
Đượ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

1188

Principles and Practice of Constraint Programming

Bỡi Beck, J. Christopher
Đượ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

1189

Argumentation in Artificial Intelligence

Bỡi Rahwan, Iyad
Đượ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

1190

Verified Software: Theories, Tools, Experiments

Đượ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

1191

Variant Construction from Theoretical Foundation to Applications

Bỡi Zheng, Jeffrey
Được phát hành 2020

Những chủ đề: “...Logic Design...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1192

Principles and Practice of Constraint Programming

Bỡi Hooker, John
Đượ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

1193

Foundations of Information and Knowledge Systems

Bỡi Ferrarotti, Flavio, Woltran, Stefan
Đượ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

1194

Giáo trình Kỹ thuật số: Dùng cho các trường đào tạo hệ trung cấp chuyên nghiệp /

Bỡi Nguyễn Viết Nguyên
Được phát hành 2007

Những chủ đề: “...Bán dẫn-lôgic...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1195

Giáo trình kỹ thuật số (Dùng cho các trường đào tạo hệ trung cấp chuyên nghiệp) /

Bỡi Nguyễn Viết Nguyên
Được phát hành 2009

Những chủ đề: “...Bán dẫn-lôgic...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1196

Giáo trình kỹ thuật số /

Bỡi Nguyễn Viết Nguyên
Được phát hành 2002

Những chủ đề: “...Bán dẫn-lôgic...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1197

Giáo trình Kỹ thuật số /

Bỡi Nguyễn Viết Nguyên
Được phát hành 2005

Những chủ đề: “...Bán dẫn-lôgic...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1198

Giáo trình Kỹ thuật số /

Bỡi Phạm Đăng Đàn
Được phát hành 2005

Những chủ đề: “...Bán dẫn-lôgic...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1199

Giáo trình kỹ thuật số /

Bỡi Nguyễn Viết Nguyên
Được phát hành 2014

Những chủ đề: “...Bán dẫn-lôgic...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1200

High Performance Embedded Architectures and Compilers

Được phát hành 2020

Những chủ đề: “...Arithmetic and Logic Structures...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

Tìm kiếm hẹp