Ferreira, Carla.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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]
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
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.