Computer-aided specification techniques

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

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Demetrovics, János
Formatua:	Liburua
Argitaratua:	World Scientific 1985
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Computer-aided specification techniques
nork: Demetrovics, János
Argitaratua: (1985)

Computer-aided specification techniques /
nork: Demetrovics, János.
Argitaratua: (1985)

Computer-aided specification techniques /
nork: Demetrovics, János
Argitaratua: (1985)

Computer-aided specification techniques /
nork: Demetrovics, János.
Argitaratua: (1985)

Computer-aided specification techniques /
nork: Demetrovics, János.
Argitaratua: (1985)

Computer-aided specification techniques /
nork: Demetrovics, János.
Argitaratua: (1985)

Computer-aided specification techniques /
nork: Demetrovics, János
Argitaratua: (1985)

Computer-aided specification techniques /
nork: Demetrovics, János
Argitaratua: (1985)

Modeling ODP computational specifications using UML /
nork: Romero, Jose Raul.

Computer aided design :
nork: Krishnamoorthy, C. S.
Argitaratua: (2005)

Computer - aided design :
nork: Kaplinsky, Raphael
Argitaratua: (1982)

Computer-aided manufacturing
nork: Chang, Tien-Chien
Argitaratua: (1998)

Computer Aided Verification
nork: Chockler, Hana, et al.
Argitaratua: (2020)

Computer Aided Verification
nork: Chockler, Hana, et al.
Argitaratua: (2020)

Computer Aided Verification
nork: Majumdar, Rupak, et al.
Argitaratua: (2020)

Computer Aided Verification
nork: Majumdar, Rupak, et al.
Argitaratua: (2020)

Computer Aided Verification
Argitaratua: (2020)

Computer Aided Verification
Argitaratua: (2020)

Computer Aided Verification
nork: Gupta, Aarti, et al.
Argitaratua: (2020)

Computer Aided Verification
nork: Dillig, Isil, et al.
Argitaratua: (2020)

Computer Aided Writing
nork: Klahold, André, et al.
Argitaratua: (2020)

Computer Aided Verification
nork: Damm, Werner, et al.
Argitaratua: (2020)

Computer Aided Verification
nork: Dillig, Isil, et al.
Argitaratua: (2020)

Computer-aided drug discovery
Argitaratua: (2016)

Computer-aided project management
nork: Suhanic, George
Argitaratua: (2001)

Computer aided legal research
nork: Long, Judy A.
Argitaratua: (2003)

Computer-aided project management /
nork: Suhanic, George.
Argitaratua: (2001)

Computer-aided multivariate analysis /
nork: Afifi, A. A. 1939-
Argitaratua: (1984)

Trends in Computer Aided Innovation
nork: León-Rovira, Noel, et al.
Argitaratua: (2020)

Computer Aided Engineering Design
nork: Saxena, Anupam, et al.
Argitaratua: (2020)

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

Computer-aided Systems in Public Transport
nork: Hickman, Mark, et al.
Argitaratua: (2020)

Computer Vision/Computer Graphics Collaboration Techniques
nork: Gagalowicz, André, et al.
Argitaratua: (2020)

Advances in Computational Intelligence Techniques
nork: Jain, Shruti, et al.
Argitaratua: (2020)

Computer-AIDED design of user interfaces IV :
Argitaratua: (2005)

Computer-aided design of high-temperature materials
nork: Alexander Pechenik
Argitaratua: (1999)

E-Design: Computer-Aided Engineering Design /
nork: Chang, Kuang-Hua
Argitaratua: (2016)

Computer-aided pattern design and product development
nork: Beazley, Alison
Argitaratua: (2003)

Computer-Aided Design of User Interfaces V
nork: Calvary, Gaëlle, et al.
Argitaratua: (2020)

Use of Risk Analysis in Computer-Aided Persuasion
nork: Duman, Ekrem, et al.
Argitaratua: (2014)