語系
Mezzina, Claudio Antares.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible computation = 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
RC (Workshop : Reversible Computation) (2022 :); Mezzina, Claudio Antares.; Podlaski, Krzysztof.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed objects, components, and systems = 45th 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:
FORTE Conference (2025 :); Mezzina, Claudio Antares.; SpringerLink (Online service); International Federated Conference on Distributed Computing Techniques (2025 :); Ferreira, Carla.
(書目-電子資源)
主題
Software Engineering.
Computer network protocols
Theory of Computation.
Operating Systems.
Computer science- Mathematics
Computer logic
Logic Design.
Formal methods (Computer science)
Formal Languages and Automata Theory.
Electronic data processing- Distributed processing
Artificial Intelligence.
Reversible computing
Computer System Implementation.
Computer Communication Networks.