Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,481 - 1,500 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ả
1481
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Bỡi Bjørner, Nikolaj, de Boer, Frank
Được phát hành 2015
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:
1482
Digital design and computer architecture /
Mục lục: “...From Zero to One -- Combinational Logic Design -- Sequential Logic Design -- Hardware Description...”
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:
1483
Sơ đồ chân linh kiện bán dẩn : ic tuyến tính, ic logic 74xx, 4xxx, các bộ nhớ bán dẫn, transistor thyristor smd
Thư viện lưu trữ: Thư viện Trường Đại học Nam Cần Thơ
Lưu vào danh sách
Đã lưu trong:
1484
Foundations of Software Science and Computation Structures
Bỡi Baier, Christel, Lago, Ugo Dal
Đượ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:
1485
Bidirectional Transformations
Bỡi Gibbons, Jeremy, Stevens, Perdita
Đượ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:
1486
Computer Safety, Reliability, and Security
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:
1487
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi Grumberg, Orna, Huth, Michael
Đượ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:
1488
Recent Trends in Algebraic Development Techniques
Bỡi Fiadeiro, José Luiz, Schobbens, Pierre-Yves
Đượ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:
1489
Language and Automata Theory and Applications
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:
1490
Scenarios: Models, Transformations and Tools
Đượ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:
1491
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi Ramakrishnan, C.R., Rehof, Jakob
Đượ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:
1492
Recent Trends in Algebraic Development 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:
1493
Software Engineering and Formal Methods
Bỡi Cerone, Antonio, Roveri, Marco
Đượ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:
1494
Security of Industrial Control Systems and Cyber-Physical Systems
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:
1495
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi Beyer, Dirk, Huisman, Marieke
Đượ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:
1496
Computer Safety, Reliability, and Security
Bỡi Gallina, Barbara, Skavhaug, Amund, Bitsch, Friedemann
Đượ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:
1497
Unfoldings
Bỡi Esparza, Javier, Heljanko, Keijo
Đượ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:
1498
Tools and Algorithms for the Construction and Analysis of 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:
1499
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi Beyer, Dirk, Huisman, Marieke
Đượ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:
1500
Types for Proofs and Programs
Bỡi Miculan, Marino, Scagnetto, Ivan, Honsell, Furio
Đượ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