語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
語系
英文
(1)
跳至 :
概要
|
書目資訊
|
主題
International Conference on Formal Engineering Methods (2024 :)
概要
作品:
0 作品在 1 項出版品 1 種語言
書目資訊
Formal methods and software engineering = 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024 : proceedings /
by: International Conference on Formal Engineering Methods (2024 :); Ogata, Kazuhiro.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software Engineering.
Natural Language Processing (NLP)
Computer and Information Systems Applications.
Software engineering- Congresses.
Programming Techniques.
Formal methods (Computer science)
Compilers and Interpreters.
處理中
...
變更密碼
登入
