Computer-aided specification techniques

Mã QR

Computer-aided specification techniques

Hiển thị phiên bản (8) khác

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Demetrovics, János
Định dạng:	Sách
Được phát hành:	World Scientific 1985
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Mạng thư viện Đại học Đà Nẵng

Những quyển sách tương tự

Computer-aided specification techniques
Bỡi: Demetrovics, János
Được phát hành: (1985)

Computer-aided specification techniques /
Bỡi: Demetrovics, János.
Được phát hành: (1985)

Computer-aided specification techniques /
Bỡi: Demetrovics, János
Được phát hành: (1985)

Computer-aided specification techniques /
Bỡi: Demetrovics, János.
Được phát hành: (1985)

Computer-aided specification techniques /
Bỡi: Demetrovics, János.
Được phát hành: (1985)

Computer-aided specification techniques /
Bỡi: Demetrovics, János.
Được phát hành: (1985)

Computer-aided specification techniques /
Bỡi: Demetrovics, János
Được phát hành: (1985)

Computer-aided specification techniques /
Bỡi: Demetrovics, János
Được phát hành: (1985)

Computer aided design :
Bỡi: Krishnamoorthy, C. S.
Được phát hành: (2005)

Computer - aided design :
Bỡi: Kaplinsky, Raphael
Được phát hành: (1982)

Computer-aided manufacturing
Bỡi: Chang, Tien-Chien
Được phát hành: (1998)

Computer Aided Verification
Bỡi: Chockler, Hana, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Chockler, Hana, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Majumdar, Rupak, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Majumdar, Rupak, et al.
Được phát hành: (2020)

Computer Aided Verification
Được phát hành: (2020)

Computer Aided Verification
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Gupta, Aarti, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Dillig, Isil, et al.
Được phát hành: (2020)

Computer Aided Writing
Bỡi: Klahold, André, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Damm, Werner, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Dillig, Isil, et al.
Được phát hành: (2020)

Modeling ODP computational specifications using UML /
Bỡi: Romero, Jose Raul.

Computer-aided drug discovery
Được phát hành: (2016)

Computer-aided project management
Bỡi: Suhanic, George
Được phát hành: (2001)

Computer aided legal research
Bỡi: Long, Judy A.
Được phát hành: (2003)

Computer-aided project management /
Bỡi: Suhanic, George.
Được phát hành: (2001)

Computer-aided multivariate analysis /
Bỡi: Afifi, A. A. 1939-
Được phát hành: (1984)

Trends in Computer Aided Innovation
Bỡi: León-Rovira, Noel, et al.
Được phát hành: (2020)

Computer Aided Engineering Design
Bỡi: Saxena, Anupam, et al.
Được phát hành: (2020)

Computer aided design 2002 [Đĩa CD-ROM] /

Computer-aided Systems in Public Transport
Bỡi: Hickman, Mark, et al.
Được phát hành: (2020)

Computer Vision/Computer Graphics Collaboration Techniques
Bỡi: Gagalowicz, André, et al.
Được phát hành: (2020)

Advances in Computational Intelligence Techniques
Bỡi: Jain, Shruti, et al.
Được phát hành: (2020)

Computer-AIDED design of user interfaces IV :
Được phát hành: (2005)

Computer-aided design of high-temperature materials
Bỡi: Alexander Pechenik
Được phát hành: (1999)

E-Design: Computer-Aided Engineering Design /
Bỡi: Chang, Kuang-Hua
Được phát hành: (2016)

Computer-aided pattern design and product development
Bỡi: Beazley, Alison
Được phát hành: (2003)

Computer-Aided Design of User Interfaces V
Bỡi: Calvary, Gaëlle, et al.
Được phát hành: (2020)

Use of Risk Analysis in Computer-Aided Persuasion
Bỡi: Duman, Ekrem, et al.
Được phát hành: (2014)