Ferreira, Carla.
Overview
| Works: | 0 works in 1 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); Ferreira, Carla.; Willemse, Tim A. C.; 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]
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.; SpringerLink (Online service); Barros, Helena.
(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 Communication Networks.
Concrete.
Software engineering.
Structural Materials.
Building materials.
Logic in AI.
Logic Design.
Architecture, Computer.
Programming Techniques.
Special purpose computers.
Computer communication systems.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Operating systems (Computers).
Logic design.
Buildings—Design and construction.
Software engineering
Building Construction and Design.