Carla Ferreira – författare
1 161 kr
Skickas inom 10-15 vardagar
1 465 kr
Läs direkt efter köp
27 kr
Läs direkt efter köp
Reversible Computation: Extending Horizons of Computing
Selected Results of the COST Action IC1405
454 kr
Skickas inom 10-15 vardagar
819 kr
Skickas inom 10-15 vardagar
993 kr
Läs direkt efter köp
This book contains auxiliary calculation tools to facilitate the safety assessment of reinforced concrete sections. Essential parameters in the design to the ultimate limit state of resistance such as the percentage of reinforcement and the position of the neutral axis in concrete cross-sections, as well as the control of the maximum stresses in service limit states are provided by these tools. A set of tables, charts and diagrams used to design cross-sections of reinforced and prestressed concrete structures are supplied. The most current beams and columns cross-sections namely, rectangular, circular and T-sections are considered. These tools have been prepared in line with the provisions of the new European regulations, with particular reference to Eurocode 2 – Design of Concrete Structures.
The book stands as an ideal learning resource for students of structural design and analysis courses in civil engineering, building construction and architecture, as well as a valuablereference for concrete structural design professionals in practice.
729 kr
Skickas inom 5-8 vardagar
865 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.
The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.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
732 kr
Skickas inom 10-15 vardagar
873 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16–20, 2025.
The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.