netis system  (470 Angebote unter 17 291 307 Artikeln)

Der Vertrieb als Bindeglied zwischen Kunden und Unternehmen beeinflusst vor allem durch die Akquise ganz wesentlich den Unternehmenserfolg. Dabei ist der Vertrieb auf IT-Unterstützung angewiesen. D...

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010...

Accuracy requirements of fractions of a millimeter for the positioning of beam-guiding magnets in synchrotons, monitor- ing of speedy sub-seatunnelling with lengths exceeding 25 km, the constructio...

ISDA'03 General Chair's Message On behalf of the ISDA'03 organizing committee, I wish to extend a very warm welcome to the conference and Tulsa in August 2003. The conference program committee has ...

Manufacturing processes, scientific experiments, research programs, tax collection systems, are all endeavors once born as projects. Project engineering is the application of science to the develop...

Mit dem Zwischenring können System M-Einsätze mit normaler Bauhöhe (z. B. TAE, UAE, Steckdosen, ...) in System Design integriert werden.

Conference Proceedings

14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings

This book gives the reader an appropriate background for diagnosing and treating patients with vestibular disorders. Most causes of vertigo can be effectively treated, and there have been major adv...

After a brief introduction to the topic of business process modeling, the book offers a quick-start into model-based business process engineering. After that, the foundations of the modeling langua...

This volume aims at giving an updated account of the most relevant issues in the area of Flexible Manufacturing Systems with special emphasis to the problems of Simulation, Modelling, Planning, Sch...

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a sy...

Flexible manufacturing systems are complex production systems with considerable high investment costs. This book intends to show the reader how the design of such a system can be optimized. Thereby...

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Es...