Ferreira, Carla.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(1998 :); Ferreira, Carla.; SpringerLink (Online service); Willemse, Tim A. C.
(書目-電子資源)
Formal techniques for distributed objects, components, and systems45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings /
by:
(1998 :); Ferreira, Carla.; Mezzina, Claudio Antares.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Data Structures and Information Theory.
Computer network protocols
Theory of Computation.
Logic in AI.
Electronic data processing
Control Structures and Microprogramming.
Programming Techniques.
Operating Systems.
Formal methods (Computer science)
Artificial Intelligence.
Computer System Implementation.
Computer Communication Networks.