Mezzina, Claudio Antares.
概要
| 作品: | 10 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
(1998 :); Mezzina, Claudio Antares.; Podlaski, Krzysztof.; SpringerLink (Online service)
(書目-電子資源)
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.
Computer network protocols
Theory of Computation.
Electronic data processing
Operating Systems.
Computer logic
Logic Design.
Formal methods (Computer science)
Computer science
Formal Languages and Automata Theory.
Artificial Intelligence.
Reversible computing
Computer System Implementation.
Computer Communication Networks.