Bücher für Datenbanken - englischsprachig  (22.172 Angebote unter 28.246.160 Artikeln)

Involvement, Affect and Aesthetics

Design considerations for string processing languages.- An overview of the summer programming language.- Formal language definitions can be made practical.- Assessment.- Preliminaries to the defini...

Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it ...

This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken fr...

A Survey of Characteristic Engine Features for Technology-Sustained Pervasive Games

A Rigorous Semantics for BPMN 2.0 Process Diagrams

This monograph presents a short course in computational geometry and topology. In the first part the book covers Voronoi diagrams and Delaunay triangulations, then it presents the theory of alpha c...

Many different fractal dimensions have been proposed for networks. In the theory and computation of the most important of these dimensions are reviewed, including the box counting dimension, the co...

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs....

This book is an excellent, helpful and up-to-date resource for all candidates preparing for the ISTQB Foundation Level certification exam based on the new Foundation Level 2018 Syllabus. Although t...

Metrological Comparison of Time-of-flight, Structured-light and Active Stereoscopy Technologies

In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly...

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focu...

provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and ...

Asynchrony - Mobility - Groups - Components