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

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.Th…

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

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

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

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 11.9.2025.

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

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

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

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

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

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

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

Mohamed Diallo, Adama Coulibaly
Legality control for local authorities

Between 1990 and 2022, most West African states introduced a new form of administrative control, while abandoning the guardianship system. Trusteeship control was seen by many specialists as a brake on th…

lieferbar innerhalb 2-3 Wochen

Buch

Antonina Wozna
Mary Daly's (1928-2010) Theological Method of Ontolinguistic Hermeneutics

Ontolinguistics theological Hermeneutics: sources and Daly¿s proposal analyses the method used by Mary Daly, her constructive criticism of the traditional theological method and her proposal to combine th…

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, LPs und CDs