Order Total (1 Item Items):
Shipping Destination:
Hillston Jane (77 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (77)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (2)
- Seller-Supplied Images (31)
- Not Print on Demand (51)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Softcover. Condition: Bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, . (Lecture Notes in Computer Science, 14996)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Cover and edges may have some wear.
-
-
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
Compositional Approach to Performance Modelling
Language: English
Published by Cambridge University Press, 2005
ISBN 10: 0521673534 ISBN 13: 9780521673532
Condition: New.
-
A Compositional Approach to Performance Modelling (Paperback or Softback)
Language: English
Published by Cambridge University Press 6/30/2005, 2005
ISBN 10: 0521673534 ISBN 13: 9780521673532
Paperback or Softback. Condition: New. A Compositional Approach to Performance Modelling. Book.
-
Compositional Approach to Performance Modelling
Language: English
Published by Cambridge University Press, 2005
ISBN 10: 0521673534 ISBN 13: 9780521673532
Condition: As New. Unread book in perfect condition.
-
Computer Performance Evaluation '92: Modelling Techniques and Tools (Edinburgh information technology series)
Language: English
Published by Edinburgh University Press, 1994
ISBN 10: 0748604251 ISBN 13: 9780748604258
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD PAPERBACK Standard-sized.
-
A Compositional Approach to Performance Modelling.
Published by Cambridge University Press, 1996., 1996
Hardcover. 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.
-
Compositional Approach to Performance Modelling
Language: English
Published by Cambridge University Press, 2005
ISBN 10: 0521673534 ISBN 13: 9780521673532
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
-
-
Compositional Performance Modelling: 12 (Distinguished Dissertations in Computer Science, Series Number 12)
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521673534 ISBN 13: 9780521673532
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: 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. . . . .
-
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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Condition: New. pp. 208.
-
Compositional Approach to Performance Modelling
Language: English
Published by Cambridge University Press, 2005
ISBN 10: 0521673534 ISBN 13: 9780521673532
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Compositional Performance Modelling: 12 (Distinguished Dissertations in Computer Science, Series Number 12)
Language: English
Published by Cambridge University Press, 2005
ISBN 10: 0521673534 ISBN 13: 9780521673532
Condition: 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.
-
Condition: As New. Unread book in perfect condition.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (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 in quantitative 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 of computational systems. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Paperback. Condition: Brand New. 208 pages. 9.61x6.70x0.44 inches. In Stock.
-
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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
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,
Language: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540724826 ISBN 13: 9783540724827
Paperback. Condition: Brand New. 1st edition. 467 pages. 9.00x6.00x1.00 inches. In Stock.
-
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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
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
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Paperback. Condition: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.
