Jane hillston (22 Ergebnisse)
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,50
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,22
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,14
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,14
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Verlag: Cambridge University Press, 1996., 1996
- Hardcover
Anbieter: The Book Firm, Subiaco, WA, AustralienThe Book Firm
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht
EUR 34,54
EUR 12,14 VersandVersand von Australien nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Condition vg in dj. The first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. Part of the Distinguished Dissertations in Computer Science series. 158pp.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,14
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,06
EUR 9,10 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Describes new theory for performance modelling and applies it to communication systems. Series: Distinguished Dissertations in Computer Science. Num Pages: 172 pages, 5 b/w illus. BIC Classification: UT; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 9. Weight in Grams: 290. . 2008. Revised ed…. paperback. . . . . Books ship from the US and Ireland.
7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22-23 July 1991 (Workshops in Computing)
Hillston, Jane E. (Editor) / King, Peter J.B. (Editor) / Pooley, Robert J. (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,53
EUR 11,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 208 pages. 9.61x6.70x0.44 inches. In Stock.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,63
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,86
EUR 14,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 467 pages. 9.00x6.00x1.00 inches. In Stock.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2
Bernardo, Marco (Editor)/ De Nicola, Rocco (Editor)/ Hillston, Jane (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,06
EUR 35,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.
- Weitere Bilder
7th UK Computer and Telecommunications Performance Engineering Workshop : Edinburgh, 22-23 July 1991
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,85 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Performance Engineering workshops were set up in 1985 to pro…vide a valuable opportunity for the discussion and exchange of ideas. They have subsequently become well established as the focus for academic and industrial practitioners from the UK and Europe with an interest in performance and modelling and analysis. This volume contains the 16 papers which were presented at the 7th annual workshop, held in Edinburgh in July 1991. The workshop highlighted various aspects of parallel computing - an area which is attracting an increasing amount of interest - and the work presented in these papers is of particular interest as the contributors used real analysis to evaluate their models. The papers cover an unusually wide range of topics, both practical and theoretical, including advances in queueing theory, common performance problems and their solutions, assessments of available tools and presentations of new theoretical results. The result is an extremely comprehensive coverage of this important and challenging field. This volume provides an up-to-date assessment of work being carried out by performance engineers in the UK and Europe and will be an invaluable reference book for researchers and practitioners wishing to familiarise themselves with the benefits of performance and analysis.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,64 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro,… Italy in May/June 2007.SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures | Marco Bernardo (u. a.) | Taschenbuch | Lecture N…otes in Computer Science | vii | Englisch | 2016 | Springer | EAN 9783319340951 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Methods for Performance Evaluation | 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures | Marco Bernardo (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007… | Springer | EAN 9783540724827 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, Qest+formats 2024, Calgary, Ab, Canada, September 913, 2024, Proceedings
Hillston, Jane (Editor)/ Soudjani, Sadegh (Editor)/ Waga, Masaki (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 121,02
EUR 11,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 350 pages. 9.25x6.10x9.25 inches. In Stock.
- Hardcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 121,31
EUR 12,43 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Acceptable. Used - Acceptable. Dust cover damaged. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library with wear and barcode page may have been removed. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalli…ng conditions.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,00
EUR 61,55 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. The method, which is illustrated with case studies ta…ken from the area of communication systems, can readily be used to construct a variety of models that can be analysed using standard numerical techniques. One of the major advantages of PEPA over the standard methods for specifying stochastic performance models is the inherent apparatus for reasoning about the structure and behaviour of models. In the later chapters this apparatus is exploited to define four equivalence relations over PEPA components. Each of these notions of equivalence has intrinsic interest from a process algebra perspective. However, they are also demonstrated to be useful in a performance modelling context. To conclude the book, a section has been added surveying recent results in the area and discussing open questions.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 38,08
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 484 | Sprache: Englisch | Produktart: Bücher | This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held… in Bertinoro, Italy in May/June 2007.SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 72,85
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems | First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings | Jane Hillston (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2024 | Spri…nger | EAN 9783031684159 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,24
EUR 62,67 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the First International Joint Conference onQuantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 202…4. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) andthe 22nd International Conference on Formal Modeling and Analysis of TimedSystems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference.The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics inquantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature,such as probability, timing, and cost, and modeling, design and analysis ofcomputational systems.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 40,86
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 272 | Sprache: Englisch | Produktart: Bücher | This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in… June 2016. SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.
