allgemeine Informatikbücher - englischsprachig  (13.739 Angebote unter 17.333.046 Artikeln)

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

Asynchrony - Mobility - Groups - Components

Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling:...

Theoretical and Manipulative Abduction.- Non-explanatory and Instrumental Abduction.- Semiotic Brains and Artificial Minds.- Neuro-multimodal Abduction.- Animal Abduction.- Abduction, Affordances, ...

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

10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

1 Introduction.- 1.1 Goals of the Book and Contours of its Method.- 1.2 Synopsis of the Book.- 2 ASM Design and Analysis Method.- 2.1 Principles of Hierarchical System Design.- 2.2 Working Definiti...

Theoretical and Manipulative Abduction.- Non-explanatory and Instrumental Abduction.- Semiotic Brains and Artificial Minds.- Neuro-multimodal Abduction.- Animal Abduction.- Abduction, Affordances, ...

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Invited Papers.- Intra-step Interaction.- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.- An ALGOL-View on Turbo ASM.- An ASM Specification of C# Threads and ...

Prologue: Aims, Themes, and Motivations.- Prologue: Aims, Themes, and Motivations.- Mathematical Framework: Iterated Relations and Composition.- Dynamics of Relations.- Dynamics of Composed Relatio...

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to...

6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed togethe...

It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and probl...