machines  (15 879 Angebote unter 17 222 968 Artikeln)

Business innovation and industrial intelligence are paving the way for a future in which smart factories, intelligent machines, networked processes and Big Data are combined to foster industrial gr...

This book offers a detailed guide to MR-Linac, a unique and fast growing radiation treatment modality. MR-linac is new technology that is a fusion of an MRI and a linear accelerator on the same gan...

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

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

A Rigorous Semantics for BPMN 2.0 Process Diagrams

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The ...

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

Business innovation and industrial intelligence are paving the way for a future in which smart factories, intelligent machines, networked processes and Big Data are combined to foster industrial gr...

Practice Problems, Methods, and Solutions

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

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

Computing elementary functions: A new approach for achieving high accuracy and good performance.- Fast elementary function algorithms for 370 machines.- A new arithmetic for scientific computation....

This book provides an introduction to Acoustic Emission Testing and its applications to different materials like concrete, steel, ceramics, geotechnical materials, polymers, biological structures a...

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

Galerkin/Least-Squares-FEM and Anisotropic Mesh Refinement.- Adaptive Multigrid Methods: The UG Concept.- Finite Volume Methods with Local Mesh Alignment in 2-D.- A New Algorithm for Multi-Dimensio...