語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
語系
英文
(1)
跳至 :
概要
|
書目資訊
|
主題
Platzer, André.
概要
作品:
2 作品在 1 項出版品 1 種語言
書目資訊
Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part I /
by: (1998 :); Platzer, André.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Natural Language Processing (NLP)
Programming Language.
Control Structures and Microprogramming.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
處理中
...
變更密碼
登入
