Haverkort boudewijn (31 Ergebnisse)

Zustand: Very Good. 2000th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.…

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.

Zustand: Used. pp. 378 Illus.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Used. pp. 378.

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

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

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

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

Paperback. Zustand: Brand New. 348 pages. 9.25x6.10x0.79 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 361 pages. 9.00x6.00x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the design, implementation, and operational planning of computer and c- municationsystems, manyquestionsregardingthe desiredcapacityandspeed of (sub)systems have to be answered.At this point,performance anddependability evaluation techniques can be of great help. With these techniques, design de- sions can be prepared using advanced methods to construct appropriatemodels, toparameterisethesemodels,andtosolvethem.Theapplicationofabroadsp- trum of such methods and techniques is currently supported by tools (mostly software, but sometimes partly hardware as well). Such tools enable system - signers and engineers to construct their models in a exible and modular way using high-level application-oriented modelling languages, to solve their models with a variety of techniques and to exercise parametric studies at ease. The goal of the 11th International Conference on Modelling Tools and Techniques for Computer and Communication System Perf- mance Evaluation (TOOLS 2000') was to further develop the theory and technologyfortool-basedperformanceanddependability evaluationofcomputer and communication systems. Important themes included software tools, eval- tion techniques, measurement-based tools and techniques, performance and - pendabilityevaluationtechniquesbasedonformalmethods,casestudiesshowing the role of evaluation in the design of systems, and application studies in the area of centralised and distributed computer systems. Previous conferences in this series were held over the past 15 years in Paris (1984), Sophia Antipolis (1985), Paris(1987), Palma de Mallorca (1988), Torino (1991), Edinburgh (1992), Wien (1994), Heidelberg (1995), Saint Malo (1997), and Palma de Mallorca (1998). The proceedings of the latter four conferences also appeared in the series Lecture Notes in Computer Science (Volumes 794, 977, 1245, and 1469, respectively).…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project Validation of Stochastic Systems (VOSS), nanced by NWO and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci c topics, roughly divided into the following four theme areas: Modelling of Stochastic Systems, Model Checking of Stochastic Systems, Representing Large State Spaces, and Deductive Veri cation of Stochastic Systems. These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8 11,2002aspart of the so-called GI/Research Seminar series. This series of seminars is nancially supported by theGesellschaft fur Informatik, the German Computer Society. At that point in time the papers had already undergone a rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - These are the joint nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the fth International Workshop on Parallel and Distributed Methods in Veri cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 2006, the 17th International Conference on Concurrency Theory that was or- nized in Bonn, August 2006. The FMICS workshop continued successfully the aim of the FMICS working group - to promote the use of formal methods for industrial applications, by supporting research in this area and its application in industry. The emphasis in these workshops is on the exchange of ideas between researchers and prac- tioners, in both industry and academia. This year the Program Committee received a record number of submissions. The 16 accepted regular contributions and 2 accepted tool papers, selected out of a total of 47 submissions, cover formal methodologies for handling large state spaces, model-based testing, formal description and analysis techniques as well as a range of applications and case studies. The workshop program included two invited talks, by Anna Slobodova from Intel on 'Challenges for Formal Veri cation in an Industrial Setting' and by Edward A. Lee from the University of California at Berkeley on 'Making C- currency Mainstream.' The former full paper can be found in this volume.…

Taschenbuch. Zustand: Neu. Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems | 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings | Anne Remke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2016 | Springer | EAN 9783319315584 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Quantitative Evaluation of Systems | 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings | Javier Campos (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2015 | Springer | EAN 9783319222639 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

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

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

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

Zustand: New. In English.

Zustand: New. pp. 320 Illus.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 520 | Sprache: Englisch | Produktart: Bücher | Performance of Computer Communication Systems A Model-Based Approach Boudewijn R. Haverkort Rheinisch-Westfälische Technische Hochschule Aachen, Germany Computer communication systems and distributed systems are now able to provide an increasing range of services. As the timing requirements in the operation of these services are becoming crucial for the global community. performance assessment and selection of communication and distributed systems are, therefore, becoming more important. In this book, the author illustrates the techniques and methods used to evaluate the performance of computer communication systems, thereby covering all aspects of model-based performance evaluation. Unlike other books on this topic, there is no restriction to a particular performance evaluation technique. Notable features in this book include: * coverage of all major techniques of performance evaluation * non-mathematical problem solving approach, explaining and illustrating performance evaluation techniques * assessment techniques for stochastic processes, single server queues, networks of queues and stochastic Petri nets * numerous application studies, including token ring systems, client-server systems, and wide-area networks * substantial number of practical exercises and examples. For computer or electrical engineers who design and implement computer communication systems, this book provides an excellent overview of the methods and techniques used to construct and solve performance models. It is also a valuable source of information for postgraduate students in computer science and related subjects. Visit Our Web Page! [LINK ENTFERNT].…

Zustand: As New. Unread book in perfect condition.

Hardcover. Zustand: Brand New. 1st edition. 320 pages. 9.50x6.75x1.00 inches. In Stock.

Zustand: New. In English.

Zustand: New. pp. 518.

Hardcover. Zustand: Brand New. 495 pages. 10.00x7.25x1.25 inches. In Stock.

Zustand: New. As communication systems perform increasingly sophisticated functions, effective performance evaluation of these systems grows intimidatingly complex. Employing a non-mathematical approach, this book demonstrates the techniques for ensuring functionality and improving design quality. Num Pages: 518 pages, illustrations. BIC Classification: UT; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 251 x 181 x 35. Weight in Grams: 1084. . 1998. 1st Edition. hardcover. . . . . Books ship from the US and Ireland. …