Mezzina, Claudio Antares.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
Podlaski, Krzysztof.; Mezzina, Claudio Antares.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Ferreira, Carla.; Mezzina, Claudio Antares.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Computer System Implementation.
Artificial Intelligence.
Computer systems.
Operating Systems.
Computer network protocols
Formal Languages and Automata Theory.
Computer Communication Networks.
Software engineering.
Electronic data processing
Machine theory.
Theory of Computation.
Logic design.
Logic Design.