Verification – alle Bücher, LPs und CDs, Seite 6 online kaufen

Agents and Robots for reliable Engineered Autonomy

This book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conj…

lieferbar innerhalb 2-3 Wochen

Buch

Rewriting Logic and Its Applications

Lecture Notes in Computer Science -Band 14953

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Integrated Formal Methods

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers p…

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundame…

lieferbar innerhalb 2-3 Wochen

Buch

Pharmaceutical Engineering: A Primer for Advanced Process Development

Pharmaceutical Engineering: A Primer for Advanced Process Development provides a comprehensive, engineering-focused description of pharmaceutical dosage form process development and manufacturing. This vo…

lieferbar ab 1.10.2025.

Buch

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science -Band 14988

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Application and Theory of Petri Nets and Concurrency

This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. …

lieferbar innerhalb 2-3 Wochen

Buch

Thom Frühwirth
Principles of Rule-Based Programming

The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

lieferbar innerhalb 2-3 Wochen

Buch

Frank Ehlers
Design Space Exploration in Robotics

This book provides a foundation of the overall cycle from design and modelling to implementation and control of unmanned systems, exhibiting autonomy and instantiating self-organization amidst disturbance…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering of Complex Computer Systems

Lecture Notes in Computer Science -Band 14784

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19 21, 2024. The 18 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Concurrency, Specification and Programming

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their imp…

lieferbar innerhalb 2-3 Wochen

Buch

Alexander Arnfinn Olsen
Subsea Pipeline Systems

This book is a comprehensive guide to the classification, design, construction, and maintenance of subsea pipeline systems. It provides an in-depth exploration of offshore pipeline architecture, serviceab…

lieferbar innerhalb 2-3 Wochen

Buch

Sanjay
The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems

"The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems" dives into the fascinating world of formal methods for ensuring the smooth operation of critical systems. Imagine a…

lieferbar innerhalb 2-3 Wochen

Buch

Reversible Computation

This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torü, Poland, during July 4 5, 2024. The 10 full papers and 3 short papers …

lieferbar innerhalb 2-3 Wochen

Buch

Edixon Rojas Alexander S Denis Sidorov
Approximation & Regular Methods Operator-Function Equations

This book presents an overview of the most recent research and findings in the field of approximation and regularisation methods for operator-functional equations, and explores their applications in elect…

lieferbar innerhalb 2-3 Wochen

Buch

Xiao-Lei Zhang
Speech Signal Processing Based on Deep Learning in Complex Acoustic Environments

Speech Signal Processing Based on Deep Learning in Complex Acoustic Environments provides a detailed discussion of deep learning-based robust speech processing and its applications. The book begins by loo…

lieferbar in mind. 4 Wochen

Buch

Designing Modern Embedded Systems: Software, Hardware, and Applications

This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Design Applications V

This book gives an update on recent developments in different engineering disciplines such as mechanical, materials, computer and process engineering, focusing on modern engineering design applications. T…

lieferbar innerhalb 2-3 Wochen

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sh…

lieferbar innerhalb 2-3 Wochen

Buch

Global Waste Management

Global Waste Management raises awareness among readers about industrial application-based problems by encouraging self-evaluation and verification processes related to waste creation and its minimization.…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Verification" - alle Bücher, LPs und CDs