Formal Methods – Bücher, LPs, CDs und mehr, Seite 3

Security Standardisation Research

.- Invited keynote talks..- Standardisation of and Migration to Post-Quantum Cryptography..- Contributed papers..- The Vision of Multi-Party Computation Technical Standards..- Vision Paper: Do we need Sta…

lieferbar innerhalb 2-3 Wochen

Buch

From Data to Models and Back

This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023.The 8 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Fundamentals of Software Engineering

.- Improved Gas Optimization of Smart Contracts..- Distributing Quantum Circuits Using Formal Methods..- Automated Test Generation: Taxonomy and Tool Applications..- Finding Universally Quantified Heap In…

lieferbar innerhalb 2-3 Wochen

Buch

Dan Parker
Linguistic Illusions

Linguistic illusions are cases where we systematically misunderstand, misinterpret, or fail to notice anomalies in the linguistic input, despite our competencies. Revealing fresh insights into how the min…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

2nd International Congress of Electrical and Computer Engineering

This proceedings presents the papers included in the 2nd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 22-25 November 2023. The conference …

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…

sofort lieferbar

Buch

3rd International Congress of Electrical and Computer Engineering

This proceedings presents the papers included in the 3rd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 27-30 November 2024. The conference …

lieferbar innerhalb 2-3 Wochen

Buch

Christina Klüver, Jörn Schmidt, Jürgen Klüver
Modeling Complex Processes Through Nature-Analogous Methods

This book is an introduction to nature-analogous techniques and related formal methods. For each technique, application examples are provided. It covers cellular automata and Boolean networks, evolutionar…

lieferbar innerhalb 2-3 Wochen

Buch

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

BestMasters

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

lieferbar ab 25.1.2026.

Buch

Computation-Aware Algorithmic Design for Cyber-Physical Systems

This contributed volume aims to build the foundation of a framework for computationally aware algorithmic design for cyber-physical systems (CPSs), focusing on approaches that take computation into accoun…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

lieferbar innerhalb 2-3 Wochen

Buch

Security and Trust Management

This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19-20, 2024 and co-located …

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computing

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computing

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

lieferbar innerhalb 2-3 Wochen

Buch

Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10--13, 2025.The 10 full papers, 4 s…

lieferbar innerhalb 2-3 Wochen

Buch