Remke anne (49 Ergebnisse)

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. In.

Zustand: New. In.

Hardcover. Zustand: Wie neu. Cham, Springer (2014). gr.8°. XII, 319 p. Hardbound. Springer Proceedings in Mathematics and Statistics, 71.- Like new.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 162 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 205 pages. 9.25x6.10x0.51 inches. In Stock.

Paperback. Zustand: Brand New. 224 pages. 9.25x6.10x0.51 inches. In Stock.

Paperback. Zustand: Brand New. 2015 edition. 228 pages. 9.00x6.00x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 284 pages. 9.25x6.10x0.64 inches. In Stock.

paperback. Zustand: Sehr gut. 224 Seiten; 9783319315584.2 Gewicht in Gramm: 1.

Paperback. Zustand: Brand New. 2014 edition. 281 pages. 9.00x6.00x0.70 inches. In Stock.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Paperback. Zustand: Brand New. 298 pages. 9.25x6.10x0.66 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015. The 15 full papers presented in this book were carefully reviewed and selected from numerous submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras, game theory, etc.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.…

Zustand: New. Editor(s): Remke, Anne; Manini, Daniele; Gribaudo, Marco. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 98 black & white illustrations, biography. BIC Classification: PBD; UMB; UMZ; UYAM; UYQP; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355. . 2015. 2015th Edition. paperback. . . . . Books ship from the US and Ireland.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 14 submissions. The concept of performance in EPEW 2024 is considered in its broadest sense including the notions of Quality of Service, scalability as well as reliability, availability and systems management, among the others.…

Zustand: New.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.…

Taschenbuch. Zustand: Neu. Neuware - This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27 28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems.…

Paperback. Zustand: Brand New. 307 pages. 9.26x6.11x9.21 inches. In Stock.