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

    3. Formal Methods In Software Engineering – alle Bücher, Seite 2

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

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

    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
    EUR 72,27*
    : Advances in Reliability and Maintainability Methods and Engineering Applications, Buch

    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
    EUR 170,67*
    : Analytical and Experimental Methods in Mechanical and Civil Engineering, Buch

    Analytical and Experimental Methods in Mechanical and Civil Engineering

    Structural Integrity -Band 28

    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
    EUR 273,80*
    : Computational Methods and Mathematical Modeling in Cyberphysics and Engineering Applications 1, Buch

    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
    EUR 215,34*
    Udo F. Meissner: Tensor Calculus with Object-Oriented Matrices for Numerical Methods in Mechanics and Engineering, Buch

    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
    EUR 90,66*
    : Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Buch

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

    Lecture Notes in Computer Science -Band 15219

    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
    EUR 81,04*
    Rainer Hasenauer: Intrapreneurship Management, Buch

    Rainer Hasenauer, Oliver Yu, D. Daniel Sheu
    Intrapreneurship Management

    Develop and deploy industry-leading ideas with this groundbreaking management toolkit The universal modern image of an innovator is a technological entrepreneur, who conceives and develops their groundbre…

    lieferbar innerhalb 1-2 Wochen
    Buch
    EUR 166,08*
    Marcus J. Neuer: Machine Learning for Engineers, Buch

    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…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 53,32*
    Ryan Mitchell: Unlocking Python, Buch

    Ryan Mitchell
    Unlocking Python

    A fun and practical guide to learning Python with a special focus on data science, web scraping, and web applications In Unlocking Python: A Comprehensive Guide for Beginners, veteran software engineer, e…

    lieferbar ab 15.4.2025.
    Buch
    EUR 51,34*
    : Software, System, and Service Engineering, Buch

    Software, System, and Service Engineering

    Lecture Notes in Business Information Processing -Band 499

    This book constitutes the refereed proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Prog…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    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