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

Jean-Benoît Bost, François Charles

Quasi-Projective and Formal-Analytic Arithmetic Surfaces

A milestone in the geometric understanding of algebraization theorems that also provides an introduction to Arakelov geometryMotivated by questions of transcendental number theory, arithmetic, and Diophan…

John Foxx

The Arcades Project

The Arcades Project ist das erste Solo-Klavieralbum von John Foxx. Dieses neueste Werk hat einen frischen Sinn für Wunder, als ob die Rückkehr zum Instrument nach dem wütenden analogen Lärm seines letzten…

Labrinth

Euphoria: Season 1 (O.S.T.) (Purple/Pink Splatter Vinyl)

Apathy

Connecticut Casual: Chapter 2

Necropsy

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

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. While this undergraduate-level textbook is motivated by form…

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. While this undergraduate-level textbook is motivated by form…

Euphoria: Season 1

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…

The High Water Marks

Ecstasy Rhymes (Colored Vinyl)

Der Ekstase-Reim von The High Water Mark ist eine 39-minütige Reise durch Pop-Hooks, orchestrale Mellotrons und eingängige Riffs. Unter der Leitung von Hilarie Sidney (Mitbegründerin von The Elephant 6 Co…

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…

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…

Descriptional Complexity of Formal Systems

This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22--24, 202…

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…

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…

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

Giuseppe Soda

Formal and Informal Networks in Organizations

Both scholars and decision-makers recognize that the functioning of an organization is the result of a complex interplay between purposively designed elements, such as structures and processes, and emerge…