Willemse, Tim A. C.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
Peters, Kirstin.; SpringerLink (Online service); Willemse, Tim A. C.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
SpringerLink (Online service); Ferreira, Carla.; Willemse, Tim A. C.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
Willemse, Tim A. C.; SpringerLink (Online service); Peters, Kirstin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Data Structures and Information Theory.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Logic in AI.
Mathematics of Computing.
Programming Techniques.
Mathematical Logic and Foundations.
Special purpose computers.
Computer communication systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
General Logic.
Software engineering