Ferreira, Carla.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
SpringerLink (Online service); Willemse, Tim A. C.; Ferreira, Carla.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
Schultz, Ulrik Pagh.; SpringerLink (Online service); Lanese, Ivan.; Ulidowski, Irek.; Ferreira, Carla.
(書目-語言資料,印刷品)
, [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.; Workshop on the Preservation of Stability under Discretization ((2001 :); Mezzina, Claudio Antares.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Design of Reinforced Concrete Sections Under Bending and Axial Forces = Tables and Charts According to EUROCODE 2 /
by:
Ferreira, Carla.; Figueiras, Joaquim.; Pimentel, Mário.; Barros, Helena.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Software Engineering.
Formal methods (Computer science)
Computer System Implementation.
Data Structures and Information Theory.
Operating Systems.
Computer network protocols
Computer Communication Networks.
Concrete.
Software engineering.
Structural Materials.
Building materials.
Logic in AI.
Theory of Computation.
Logic Design.
Architecture, Computer.
Programming Techniques.
Special purpose computers.
Building Construction and Design.
Computer communication systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Electronic data processing
Logic design.
Operating systems (Computers).
Buildings—Design and construction.
Software engineering