Reliability and Optimization of Structural Systems: Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994

Name: Reliability and Optimization of Structural Systems: Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994
Price: 285.95 CAD
Availability: InStock
Author: Antonio Borri
ISBN: 9780412636301

Édition : Rudiger Rackwitz , Guiliano Augusti , Antonio Borri

31 mai 1995

285,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 1 430 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

313

IFIP Advances in Information and Communication Technology

Publié par: Springer US

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9780412636301

Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Recent Advancements in Computational Finance and Business Analytics: Proceedings of the 2nd International Conference on Computational Finance and Business Analytics - ICCFBA-2024

Rangan Gupta Couverture rigide
364,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria Couverture souple
80,50 $
Artificial Intelligence: Emerging Technologies

Couverture rigide
203,00 $
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Iccce 2020: Proceedings Of The 3rd International Conference On Communications And Cyber Physical Engineering

Amit Kumar Couverture rigide
321,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Tobias Achterberg Couverture souple
80,50 $
Grid Computing Security

Anirban Chakrabarti Couverture souple
80,50 $
2 formats offerts
Economic Modeling Using Artificial Intelligence Methods

Tshilidzi Marwala Couverture souple
160,95 $
3 formats offerts
Transactions On Computational Science Xxxi: Special Issue On Signal Processing And Security In Distributed Systems

Marina L. Gavrilova Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Computational Intelligence Methods for Green Technology and Sustainable Development: Proceedings of the International Conference GTSD2024, Volume 2

Yo-ping Huang Couverture souple
364,95 $
Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings

Anastasia Ailamaki Couverture souple
80,50 $
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Couverture souple
102,50 $
2 formats offerts
Tensor Networks for Dimensionality Reduction and Large-scale Optimization: Part 2 Applications and Future Perspectives

Andrzej Cichocki Couverture souple
128,95 $
Intelligent Computation and Analytics on Sustainable Energy and Environment: Proceedings of the 1st International Conference on Intelligent Computation and Analytics on Sustainable Energy and Environment

Amarjit Roy Couverture souple
88,95 $
2 formats offerts

Évaluation éditoriale

rudiger rackwitz

Auteur

Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings

Achim Rettberg Couverture souple
160,95 $
2 formats offerts
Intelligent Autonomous Systems 13: Proceedings of the 13th International Conference IAS-13

Emanuele Menegatti Couverture souple
656,95 $
2 formats offerts
Advances In Uncertainty Quantification And Optimization Under Uncertainty With Aerospace Applications: Proceedings Of The 2020 Uqop International Conference

Massimiliano Vasile Couverture rigide
408,95 $
2 formats offerts
Data Mining and Reverse Engineering: Searching for semantics. IFIP TC2 WG2.6 IFIP Seventh Conference on Database Semantics (DS-7) 7-10 October 1997, Leysin, Switzerland

Stefano Spaccapietra Couverture souple
408,95 $
2 formats offerts
Internet Of Things, Infrastructures And Mobile Applications: Proceedings Of The 13th Imcl Conference

Michael E. Auer Couverture souple
321,50 $
2 formats offerts
Advances in Uncertainty Quantification and Optimization Under Uncertainty with Aerospace Applications: Proceedings of the 2020 UQOP International Conference

Massimiliano Vasile Couverture souple
408,95 $
Advances in Additive Manufacturing, Modeling Systems and 3D Prototyping: Proceedings of the AHFE 2019 International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 24-28, 2019, Washington D.C., USA

Massimo Di Nicolantonio Couverture souple
321,50 $
2 formats offerts
Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation frameworks

Franz J. Rammig Couverture souple
248,50 $
2 formats offerts
From Specification to Embedded Systems Application

Achim Rettberg Couverture souple
160,95 $
2 formats offerts
ROMANSY 24 - Robot Design, Dynamics and Control: Proceedings of the 24th CISM IFToMM Symposium

Andr Kecskeméthy Couverture rigide
554,95 $
2 formats offerts
Optimization Theory, Decision Making, and Operations Research Applications: Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Research

Athanasios Migdalas Couverture souple
160,95 $
2 formats offerts
Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018): Volume X: Auditory and Vocal Ergonomics, Visual Ergonomics, Psychophysiology in Ergonomics, Ergonomics in Advanced Imaging

Sebastiano Bagnara Couverture souple
248,50 $
2 formats offerts
Proceedings Of 6th International Conference In Software Engineering For Defence Applications: Seda 2018

Paolo Ciancarini Couverture souple
248,50 $
2 formats offerts
Recent Advances In Network Simulation: The Omnet++ Environment And Its Ecosystem

Antonio Virdis Couverture rigide
262,95 $
2 formats offerts
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Paolo Ciancarini Couverture souple
321,50 $
2 formats offerts
Information Processing and Management of Uncertainty in Knowledge-Based Systems: 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part II

Davide Ciucci Couverture souple
160,95 $
2 formats offerts
Advances in Intelligent Data Analysis XVIII: 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Michael R. Berthold Couverture souple
72,95 $
2 formats offerts
Information Processing and Management of Uncertainty in Knowledge-Based Systems: 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part I

Davide Ciucci Couverture souple
160,95 $
2 formats offerts
Cross Reality And Data Science In Engineering: Proceedings Of The 17th International Conference On Remote Engineering And Virtual Instrumentation

Michael E. Auer Couverture souple
321,50 $
2 formats offerts
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings

Stefan Gradmann Couverture souple
80,50 $

Reliability and Optimization of Structural Systems: Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994

Description

Vous aimerez peut-être aussi

Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Recent Advancements in Computational Finance and Business Analytics: Proceedings of the 2nd International Conference on Computational Finance and Business Analytics - ICCFBA-2024

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Artificial Intelligence: Emerging Technologies

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Iccce 2020: Proceedings Of The 3rd International Conference On Communications And Cyber Physical Engineering

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Grid Computing Security

Economic Modeling Using Artificial Intelligence Methods

Transactions On Computational Science Xxxi: Special Issue On Signal Processing And Security In Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Computational Intelligence Methods for Green Technology and Sustainable Development: Proceedings of the International Conference GTSD2024, Volume 2

Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tensor Networks for Dimensionality Reduction and Large-scale Optimization: Part 2 Applications and Future Perspectives

Intelligent Computation and Analytics on Sustainable Energy and Environment: Proceedings of the 1st International Conference on Intelligent Computation and Analytics on Sustainable Energy and Environment

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings

Intelligent Autonomous Systems 13: Proceedings of the 13th International Conference IAS-13

Advances In Uncertainty Quantification And Optimization Under Uncertainty With Aerospace Applications: Proceedings Of The 2020 Uqop International Conference

Data Mining and Reverse Engineering: Searching for semantics. IFIP TC2 WG2.6 IFIP Seventh Conference on Database Semantics (DS-7) 7-10 October 1997, Leysin, Switzerland

Internet Of Things, Infrastructures And Mobile Applications: Proceedings Of The 13th Imcl Conference

Advances in Uncertainty Quantification and Optimization Under Uncertainty with Aerospace Applications: Proceedings of the 2020 UQOP International Conference

Advances in Additive Manufacturing, Modeling Systems and 3D Prototyping: Proceedings of the AHFE 2019 International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 24-28, 2019, Washington D.C., USA

Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation frameworks

From Specification to Embedded Systems Application

ROMANSY 24 - Robot Design, Dynamics and Control: Proceedings of the 24th CISM IFToMM Symposium

Optimization Theory, Decision Making, and Operations Research Applications: Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Research

Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018): Volume X: Auditory and Vocal Ergonomics, Visual Ergonomics, Psychophysiology in Ergonomics, Ergonomics in Advanced Imaging

Proceedings Of 6th International Conference In Software Engineering For Defence Applications: Seda 2018

Recent Advances In Network Simulation: The Omnet++ Environment And Its Ecosystem

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Information Processing and Management of Uncertainty in Knowledge-Based Systems: 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part II

Advances in Intelligent Data Analysis XVIII: 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Information Processing and Management of Uncertainty in Knowledge-Based Systems: 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part I

Cross Reality And Data Science In Engineering: Proceedings Of The 17th International Conference On Remote Engineering And Virtual Instrumentation

Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings