Informatik (15 755 Artikel)

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

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

Taking human factors into account, a visual servoing approach aims to facilitate robots with real-time situational information to accomplish tasks in direct and proximate collaboration with people....

Nicht die Technik - die Menschen bestimmen den Erfolg! Wie kann Software erfolgreich entwickelt werden? Nicht allein, indem die technologischen Voraussetzungen stimmen, sondern die Menschen selbst ...

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and ...

ACRI'96 is the second conference on Cellular Automata for Research and Industry; the first one was held in Rende (Cosenza), on September 29-30, 1994. This second edition confirms the growing intere...

International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25-27, 2020, Proceedings

This book constitutes the refereed proceedings of the 1st  Analytics Global Conference, AGC 2023, held in Kolkata, India, in April  2023. The AGC conference sought to facilitate industry-academia i...