Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,321 - 1,340 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ả
1321
Algebra and Coalgebra in Computer Science
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:
1322
Formal Techniques for Safety-Critical Systems
Bỡi Artho, Cyrille, Ölveczky, Peter Csaba
Đượ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:
1323
Verification, Model Checking, and Abstract Interpretation
Bỡi Cook, Byron, Podelski, Andreas
Đượ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:
1324
Concurrency, Security, and Puzzles
Bỡi Gibson-Robinson, Thomas, Hopcroft, Philippa, Lazić, Ranko
Đượ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:
1325
Integrated Formal Methods
Bỡi Romijn, Judi M.T., Smith, Graeme P., Pol, Jaco C. van de
Đượ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:
1326
Perspectives of System Informatics
Bỡi Petrenko, Alexander K., Voronkov, Andrei
Đượ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:
1327
Algebraic Informatics
Đượ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:
1328
Verification, Model Checking, and Abstract Interpretation
Bỡi Bouajjani, Ahmed, Monniaux, David
Đượ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:
1329
A Practical Theory of Reactive Systems
Đượ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:
1330
Fundamental Approaches to Software Engineering
Đượ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:
1331
Foundations of Software Science and Computational Structures
Bỡi Amadio, Roberto
Đượ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:
1332
Refinement
Bỡi Derrick, John, Boiten, Eerke
Đượ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:
1333
Giáo trình cấu trúc máy tính ( Sự tương đương logic của phần cứng và phần mềm)
Bỡi Tống Văn On
Được phát hành 2007
Thư viện lưu trữ: Trung tâm Học liệu Lê Vũ Hùng, Trường Đại học Đồng Tháp
Lưu vào danh sách
Đã lưu trong:
1334
Giáo trình cấu trúc máy tính : Sự tương đương logic của phần cứng và phần mềm /
Bỡi Tống Văn On
Được phát hành 2005
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:
1335
Giáo trình cấu trúc máy tính : Sự tương đương logic của phần cứng và phần mềm /
Bỡi Tống Văn On
Được phát hành 2005
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:
1336
Giáo trình cấu trúc máy tính : Sự tương đương logic của phần cứng và phần mềm /
Bỡi Tống Văn On
Được phát hành 2000
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:
1337
Phát triển Card giao diện PC-BASED MCD trên cơ sở ứng dụng kỹ thuật "Mảng các phần tử Logic lập trình được - FPGA" trong môi trường Windows /
Bỡi Phan Nam Anh
Đượ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:
1338
Phát triển Card giao diện PC-BASED MCD trên cơ sở ứng dụng kỹ thuật "Mảng các phần tử Logic lập trình được - FPGA" trong môi trường Windows : Tóm tắt luận án /
Bỡi Phan Nam Anh
Đượ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:
1339
Phát triển Card giao diện PC-Based MCD trên cơ sở ứng dụng kỹ thuật "Mảng các phần tử logic lập trình được - FPGA" trong môi trường Windows
Bỡi Phan, Nam Anh
Được phát hành 2009
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:
1340
Lập ý cho bài văn nghị luận của học sinh ở trường phổ thông /
Những chủ đề: “...Kĩ năng 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:
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