Bücher für Datenbanken - englischsprachig  (23.013 Angebote unter 29.246.456 Artikeln)

A Primer on Scientific Programming with Python

Involvement, Affect and Aesthetics

To understand the problems in metamodeling, this work presents an investigation of bad smells in metamodels. The core contribution of this work is the reference structure. It enables design, evolut...

Involvement, Affect and Aesthetics

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

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

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of ...

The book researches the use of a semantic wiki in the area of IT Service Management within the IT department of an SME. An emphasis of the book lies in the design and prototypical implementation of...

A Rigorous Semantics for BPMN 2.0 Process Diagrams

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

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

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

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

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