Informatik (14.427 Artikel)

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

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

Papers.- A Memetic Pareto Evolutionary Approach to Artificial Neural Networks.- Relating Defeasible and Default Logic.- Resolving Minsky's Paradox : The d-Dimensional Normal Distribution Case.- Sol...

Natural Language and Information Retrieval.- Knowledge Representation and Reasoning.- Deduction.- Learning Theory I.- Agents.- Intelligent Systems.- Bayesian Reasoning and Classification.- Evolutio...