Bücher für Datenbanken - englischsprachig  (22.000 Angebote unter 17.391.793 Artikeln)

This book constitutes the refereed proceedings of the 6th International Workshop ABDI 2014, held in conjunction with MICCAI 2014, in Cambridge, MA, USA, in September 2014. The book includes 29 pape...

A Survey of Characteristic Engine Features for Technology-Sustained Pervasive Games

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computational and Clinical Applications in Abdominal Imaging, held in conjunction wi...

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

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs....

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

Algorithms and Programs.- An Algorithmic Language.- The ?-Calculus.- The se(m)cd Machine and Others.- Toward Full-Fledged ?-Calculus Machines.- Interpreted Head-Order Graph Reduction.- The B-Machin...

Asynchrony - Mobility - Groups - Components

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

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

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

This book constitutes the refereed proceedings of the 5th International Workshop CCAA 2013, held in conjunction with MICCAI 2013, in Nagoya, Japan, in September 2013. The book includes 32 papers wh...

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