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

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…

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…

Apathy

Connecticut Casual: Chapter 2

Pia Koller

Vergütung in der gesetzlichen Krankenversicherung - die Einhaltung formaler und inhaltlicher Vorgaben als Vergütungsvoraussetzung?

'Remuneration in Statutory Health Insurance - Compliance with Formal and Substantive Requirements as a Prerequisite for Remuneration? An Analysis of the Case Law of the Federal Social Court, Taking into A…

Labrinth

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

Necropsy

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

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. 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…

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…

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…

Necropsy

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

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…

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…

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…

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…