Ferreira, Carla.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
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