automat  (53.448 Angebote unter 29.246.787 Artikeln)

Krangabel mit automatischem Gewichtsausgleich, Zinken aus Vollmetall, TK 600 kg Die Krangabel mit automatischem Gewichtsausgleich wurde für den sicheren Transport palettierter Lasten konzipiert und...

Automatischer Öler 1/2' Metall-Schutzgehäuse

Invited papers.- Positive Non-interference in Elementary and Trace Nets.- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?.- Embedded Software: Better Models, Better Code.- Spe...

Krangabel mit automatischem Gewichtsausgleich, Zinken aus Vollmetall, TK 1.000 kg Die Krangabel mit automatischem Gewichtsausgleich wurde für den sicheren Transport palettierter Lasten konzipiert u...

24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Krangabel mit automatischem Gewichtsausgleich, Zinken aus Vollmetall, TK 1.500 kg Die Krangabel mit automatischem Gewichtsausgleich wurde für den sicheren Transport palettierter Lasten konzipiert u...

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers...

Krangabel mit automatischem Gewichtsausgleich, Zinken aus Vollmetall, TK 2.000 kg Die Krangabel mit automatischem Gewichtsausgleich wurde für den sicheren Transport palettierter Lasten konzipiert u...

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing

Krangabel mit automatischem Gewichtsausgleich, Zinken aus Vollmetall, TK 3.000 kg Die Krangabel mit automatischem Gewichtsausgleich wurde für den sicheren Transport palettierter Lasten konzipiert u...

Performance Modelling and Markov Chains.- Queueing Networks.- to Generalized Stochastic Petri Nets.- Stochastic Process Algebras.- A Survey of Markovian Behavioral Equivalences.- Stochastic Model C...

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, Se...

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revis...

Invited Presentations.- Model Checking: Theory into Practice.- An Algebra for XML Query.- Irregularities of Distribution, Derandomization, and Complexity Theory.- Rewriting Logic as a Metalogical F...

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number o...