語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
跳至 :
概要
書目資訊
主題
Engineering - Congresses. - Mathematical models
概要
作品:
2 作品在 2 項出版品 2 種語言
書目資訊
Advances in mathematical modeling for reliability
by:
(書目-電子資源)
Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures /
by:
(書目-電子資源)
主題
Management of Computing and Information Systems.
Software Engineering.
Computer-aided engineering
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Science.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages.
Reliability (Engineering)
Engineering- Mathematical models
處理中
...
變更密碼
登入