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 13.10.2025.
Buch
Aktueller Preis: EUR 219,03

Software Engineering: Emerging Trends and Practices in System Development

Lecture Notes in Networks and Systems - Band 1561

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 22.9.2025.
Buch
Aktueller Preis: EUR 240,94

Software Engineering: Emerging Trends and Practices in System Development

Lecture Notes in Networks and Systems - Band 1564

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 13.10.2025.
Buch
Aktueller Preis: EUR 240,94

Software Engineering: Emerging Trends and Practices in System Development

Lecture Notes in Networks and Systems - Band 1559

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 17.9.2025.
Buch
Aktueller Preis: EUR 240,94

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 46,86
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.