0
EUR
0,00*
Warenkorb EUR 0,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Formal Methods In Software Engineering – alle Bücher

    Trefferliste "Formal Methods In Software Engineering" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods in Software Engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

    Lecture Notes in Computer Science - Band 14568

    This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Lecture Notes in Computer Science - Band 15222

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Claes Wohlin, Per Runeson, Anders Wesslén, Magnus C. Ohlsson
    Experimentation in Software Engineering

    This textbook, which has become the leading source for empirical software engineering research through its earlier editions, provides an in-depth introduction to experimentation in software engineering. T…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 85,33

    Agile Processes in Software Engineering and Extreme Programming

    This open access book constitutes the proceedings of the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, during June 04-07, 2024. XP is the…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Agile Processes in Software Engineering and Extreme Programming - Workshops

    This open access book constitutes revised selected papers from the workshops held at the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, dur…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Software Engineering for Games in Serious Contexts

    The book highlights several challenges and opportunities in the field of software engineering for serious games. It covers a wide range of topics from game design principles to software architecture, test…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 186,19

    Software Engineering Methods Design and Application

    This book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering. Exploring software engineering and its inte…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Design Tools and Methods in Industrial Engineering IV

    This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Design Tools and Methods in Industrial Engineering IV

    This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Design Tools and Methods in Industrial Engineering III

    This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 306,65

    Amiya K Jana
    Numerical Methods in Engineering

    "Numerical methods are a cornerstone of most engineering and science programmes. However, their applications vary greatly for different streams. This book focuses on process applications that are relevant…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 130,22

    Prasanna Swaminathan, S. P. Venkateshan
    Computational Methods in Engineering

    The book is designed to serve as a textbook for courses offered to graduate and upper-undergraduate students enrolled in mechanical engineering. The book attempts to make students with mathematical backgr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 128,00

    Peter Wriggers, Bla¿ Hudobivnik, Fadi Aldakheel
    Virtual Element Methods in Engineering Sciences

    This book provides a comprehensive treatment of the virtual element method (VEM) for engineering applications, focusing on its application in solid mechanics. Starting with a continuum mechanics backgroun…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 186,19

    Integral Methods in Science and Engineering

    This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering.…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Domain Decomposition Methods in Science and Engineering XXVII

    These are the proceedings of the 27th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in Prague, Czech Republic, in July 2022. Domain decomposition meth…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Computer Methods in Biomechanics and Biomedical Engineering II

    This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 175,23

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science - Band 15220

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Analytical and Experimental Methods in Mechanical and Civil Engineering

    This book publishes contributions of the 1st Olympiad in Engineering Science (OES 2023), an international congress and contest aiming to disseminate and evaluate the recent advances in Engineering Science…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 273,80

    Advances in Reliability and Maintainability Methods and Engineering Applications

    This comprehensive book brings together the latest developments in reliability and maintainability methods from leading research groups globally. Covering a diverse range of subject areas, from mechanical…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 170,67

    Computational Methods and Mathematical Modeling in Cyberphysics and Engineering Applications 1

    Mathematical methods in engineering are characterized by a wide range of techniques for approaching various problems. Moreover, completely different analysis techniques can be applied to the same problem,…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 214,07
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH