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

Marco T. Morazán

Programming-Based Formal Languages and Automata Theory

This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in c…

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

Caroline Dominik

Embedding Sequential Circuits for their Polynomial Formal Verification

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…

Ein fast anständiges Mädchen

Lili Steiner ist Sekretärin und Generaldirektor Steckler ist ihr Chef. Er nimmt Lili auf eine Geschäftsreise nach Spanien mit, weil sie die Landessprache beherrscht. In Madrid lernt sie einige erfolglose …

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Formal Methods for the Analysis of Biomedical Ontologies

This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating…

Formal Techniques for Distributed Objects, Components, and Systems

.- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Syst…

Luka Kuplowsky

How Can I Possibly Sleep When There Is Music

Luka Kuplowskys Stimme ist ein Paradoxon - manchmal klingt sie zu leise, um eingefangen zu werden, als würde sie sich in Rauch auflösen, und im nächsten Moment ist sie so groß wie der Himmel. Es ist eine …

Apathy

Connecticut Casual: Chapter 2

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in …

James Mccosh

The Laws of Discursive Thought. Being a Text-Book of Formal Logic

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

James Mccosh

The Laws of Discursive Thought. Being a Text-book for Formal Logic

Reprint of the original, first published in 1881. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took pl…

James Mccosh

The Laws of Discursive Thought. Being a Text-book for Formal Logic

Reprint of the original, first published in 1881. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exe…

Pascal Pieper, Rolf Drechsler

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

Viacheslav Kovtun

Formal Models of Divide-and-Conquer Queuing Systems in 5G Infrastructures

In recent decades, the evolution of digital technologies has led to the proliferation of highly distributed, dynamic, and heterogeneous information and communication systems (ICS). Among them, 5G-IoT infr…

Ramin Djawadi

Fallout (Canary Yellow & Sky Blue Vinyl)

Die Musik wurde geschrieben, produziert und interpretiert von dem iranisch/deutschen Komponisten, 2-fachen Emmy-Preisträger und 3-fachen Grammy-nominierten Ramin Djawadi (Game Of Thrones, Westworld, Iron …

Jaroslav Peregrin

Meaning as a Set-theoretic Object. A Gentle Introduction to the Ideas Behind Formal Semantics

Any comprehensive account of natural language must involve an answer to the question: What is meaning? And prima facie, the answer may seem to be not too difficult: meaning is a thing that gets "expr…

Jugendarbeit mit Mehrwert

Jugendarbeit in christlicher Trägerschaft ist ein zentraler Player non-formaler Bildungsangebote. Sie ist mehr als Betreuung und Freizeitspaß sie ist wirksamer, niedrigschwelliger Lernort zwischen Alltags…