allgemeine Informatikbücher - englischsprachig  (13.762 Angebote unter 28.210.240 Artikeln)

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

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

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

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

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

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

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

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

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneou...

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

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

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club...

Invited Talks.- A Structure for Dependability Arguments.- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.- ASM Papers.- Synchronous Message Passing and Semaphores: An Equivalenc...

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

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