0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    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: Emerging Trends and Practices in System Development

    Lecture Notes in Networks and Systems - Band 1563

    This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

    lieferbar ab 30.9.2025.
    Buch
    Aktueller Preis: EUR 219,03

    Software Engineering: Emerging Trends and Practices in System Development

    Lecture Notes in Networks and Systems - Band 1562

    This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

    lieferbar ab 10.10.2025.
    Buch
    Aktueller Preis: EUR 219,03

    Saheed Olalekan Ojo, Hasan M Khalid, Aniket Gopa Chanda, Paul M Weaver
    Inverse Differential Quadrature Method and Its Application in Engineering

    Authoritative reference introducing iDQM as a numerical tool to accurately perform high fidelity analyses efficiently for solving problems in engineering governed by higher-order ordinary and partial diff…

    lieferbar ab 3.9.2025.
    Buch
    Aktueller Preis: EUR 162,29

    Udo F. Meissner
    Tensor Calculus with Object-Oriented Matrices for Numerical Methods in Mechanics and Engineering

    The intension of the book is to synthesize classical matrix and tensor methods with object-oriented software techniques and efficient matrix methods for numerical algorithms. The aim is to establish a coh…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 90,66

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    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 81,04

    Advances in Optimization Algorithms for Multidisciplinary Engineering Applications: From Classical Methods to AI-Enhanced Solutions

    This book is an authoritative compilation of the latest advancements in optimization techniques. This book covers a wide array of methods ranging from classical to metaheuristic to AI-enhanced approaches.…

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

    Marcus J. Neuer
    Machine Learning for Engineers

    Machine learning and artificial intelligence are ubiquitous terms for improving technical processes. However, practical implementation in real-world problems is often difficult and complex.This textbook e…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 53,32

    Ryan Mitchell
    Unlocking Python

    A hands-on guide to learning Python from an industry-leading expertUnlocking Python: A Comprehensive Guide for Beginners is a practical roadmap to Python programming. Software engineer and author Ryan Mit…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 47,35
    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.