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

Paul Hoyningen-Huene

Formale Logik

Diese neu erarbeitete philosophische Einführung in die formale Logik zeichnet sich durch Klarheit und Übersichtlichkeit sowie durch didaktische Kompetenz aus. Sie behandelt nach einer grundsätzlichen Einl…

Euphoria (Original Score from the HBO Series) (Limited Numbered Edition) (Night Sky Blue Vinyl)

Enjoy The Ride Records freut sich, eine exklusive Variante der Milan Records Veröffentlichung von "Euphoria (Original Score from the HBO Series), Music by Labrinth", zu präsentieren. Geschrieben und au…

Goblin

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

Xiao-Xiong Gan

Formal Analysis

Formal analysis is the study of formal power series, formal Laurent series, formal root series, and other formal series or formal functionals. This book is the first comprehensive presentation of the topi…

Formal Methods in Architecture

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodol…

Carroll Morgan

Formal Methods, Informally

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. This undergraduate-level textbook is motivated by Formal Met…

Carroll Morgan

Formal Methods, Informally

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. This undergraduate-level textbook is motivated by Formal Met…

Integrated Formal Methods

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19--21, 2025.The 23 full pape…

NASA Formal Methods

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

Bernhard Ganter, Rudolf Wille

Formal Concept Analysis

Formal Concept Analysis is a field of applied mathematics based on the math­ematization of concept and conceptual hierarchy. It thereby activates math­ematical thinking for conceptual data analysis and kn…

Necropsy

Tomb Of The Forgotten (The Complete Demo Recordings 1989 - 1993)

Necropsy

Tomb Of The Forgotten (The Complete Demo Recordings 1989 - 1993) (Limited Edition) (Petrol Green Vinyl)

Euphoria: Season 1

Formal Approaches to Romance Morphosyntax

Recent years have witnessed a (re)surfacing of interest on the interaction of morphology and syntax. For many grammatical phenomena, it is not easy to draw a dividing line between syntactic and morphologi…

Descriptional Complexity of Formal Systems

.- Fibonacci Pictures on a Binary Alphabet..- A Close Analysis of the Subset Construction..- k-local Graphs..- Word-Representable Graphs and Locality of Words..- Automata for Synchronised Shuffle on Backb…

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…

Software Engineering and Formal Methods

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10--14, 2025.The 13 full papers and 2 sho…

Mark Geldof

Formal Medieval Combat and Performance

This book collects together all contemporary and near-contemporary accounts of the 1467 emprise , a particular performative feat of arms, between Anthony Woodville, Lord Scales---brother of Elizabeth Wood…

Firehose

Flyin The Flannel / Mr. Machinery Operator / Live Totem Pole E.P.

• Die 2 Alben auf Columbia des US-Punk Trios (v. 1991 & 93) plus Live Totem Pole E.P. von 1992 • fIREHOSE (wie der Name der Band stilisiert wird) wurde 1986 von Mike Watt, George Hurley, und Ed Crawford…