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

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

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

lieferbar innerhalb 2-3 Wochen

Buch

Computer Safety, Reliability, and Security

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

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

Engineering of Complex Computer Systems

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

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

Bridging the Gap Between AI and Reality

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

lieferbar ab 20.9.2025.

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

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, du…

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

Next Democratic Frontiers for Facial Recognition Technology (FRT)

This book focuses on facial recognition technology (FRT) and sheds light on previously unexplored aspects that involve systematic legal issues concerning its regulation, the protection of rights and freed…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Design Applications VI

This book gives an update on recent developments in the mentioned areas of modern engineering design application. Different engineering disciplines such as mechanical, materials, computer and process engi…

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 innerhalb 1-2 Wochen

Buch

Kwangjo Kim
Practical Post-Quantum Signatures

The current digital signature methods like RSA, DSA, and ECDSA are relatively simple to understand, and their signing and verification processes operate in comparable time frames. However, in the quantum …

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Design Applications VII

This book gives an update on recent developments in the mentioned areas of modern engineering design application. Different engineering disciplines such as mechanical, materials, computer, and process eng…

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…

Erscheint bald

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Alexander Arnfinn Olsen, Fidaa Karkori
Inventory of Hazardous Materials

This book provides a comprehensive guide to the Inventory of Hazardous Materials (IHM), a critical document for ensuring the safe and environmentally sound recycling of ships. At the heart of this book is…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

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