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?

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

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

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

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

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

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

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

sofort lieferbar

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 e…

lieferbar innerhalb 2-3 Wochen

Buch

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

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.