Trefferliste "Formal-basedSecurityassessment" - alle Bücher, CDs, LPs und mehr

Advances in Formal Slavic Linguistics 2022

Advances in Formal Slavic Linguistics 2022 brings together a collection of 22 articles originating as talks presented at the 15th Formal Description of Slavic Languages conference (FDSL 15) held in Berlin…

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

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

This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in…

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 …

Goblin

Profondo Rosso (O.S.T.) (50th Anniversary) (Special Edition)

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…

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…

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…

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 …

International Pop Overthrow Volume 26

Heinz-Peter Gumm, Manfred Sommer

Informatik

Nach einer allgemeinen Diskussion formaler Sprachen, deren Beschreibungen und Grenzfällen der Erkennbarkeit werden die regulären Sprachen behandelt, welche in der lexikalischen Defi nition von Programmier…

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…