allgemeine Informatikbücher - englischsprachig  (13.776 Angebote unter 28.249.734 Artikeln)

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

This book is about quantum computing and quantum algorithms. The book starts with a chapter introducing the basic rules of quantum mechanics and how they can be used to build quantum circuits and p...

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

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

A Rigorous Semantics for BPMN 2.0 Process Diagrams

A Rigorous Semantics for BPMN 2.0 Process Diagrams

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

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

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

Searching is an important process in most AI systems, especially in those AI production systems consisting of a global database, a set of production rules, and a control system. Because of the intr...

As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as ...

This book shall be useful to people developing computational applications based on the concept of agent societies and for those applying the concept of agent societies to the formal modeling and si...