- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 58,66, Mittelwert: € 51,06
1
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - Miguel A.L. Marques
Bestellen
bei hive.co.uk
£ 38,24
(ca. € 43,56)
Bestellengesponserter Link
Miguel A.L. Marques:

Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch

2006, ISBN: 9783540353652

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…

No. 9783540353652. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - Ansgar Bredenfeld
Bestellen
bei hive.co.uk
£ 50,14
(ca. € 56,80)
Bestellengesponserter Link

Ansgar Bredenfeld:

Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch

2006, ISBN: 9783540353652

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…

No. 9783540353652. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
3
Formal Methods and Stochastic Models for Performance Evaluation - András Horváth; Miklós Telek
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
András Horváth; Miklós Telek:
Formal Methods and Stochastic Models for Performance Evaluation - neues Buch

2006

ISBN: 9783540353652

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
4
Formal Methods and Stochastic Models for Performance Evaluation
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link
Formal Methods and Stochastic Models for Performance Evaluation - neues Buch

2006, ISBN: 9783540353652

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…

Nr. 978-3-540-35365-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
5
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - H. Goslinga
Bestellen
bei hive.co.uk
£ 50,14
(ca. € 58,66)
Bestellengesponserter Link
H. Goslinga:
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch

2006, ISBN: 9783540353652

; PDF; Computing > Computer science, Springer Berlin Heidelberg

No. 9783540353652. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Formal Methods and Stochastic Models for Performance Evaluation


EAN (ISBN-13): 9783540353652
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2016-08-30T21:13:17+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-16T11:50:17+02:00 (Zurich)
ISBN/EAN: 9783540353652

ISBN - alternative Schreibweisen:
978-3-540-35365-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: telek, bredenfeld
Titel des Buches: budapest, stochastic models


Daten vom Verlag:

Autor/in: András Horváth; Miklós Telek
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods and Stochastic Models for Performance Evaluation - Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
Verlag: Springer; Springer Berlin
239 Seiten
Erscheinungsjahr: 2006-06-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 239 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; QoS; Unified Modeling Language (UML); Web services; algorithms; benchmarking; calculus; formal method; formal verification; model checking; performance engineering; program semantics; scheduling; software analysis; stochastic modeling; systems analysis; C; Theory of Computation; Software Engineering; System Performance and Evaluation; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; Systemanalyse und -design; Netzwerk-Hardware; BC

Stochastic Process Algebra.- A Precedence PEPA Model for Performance and Reliability Analysis.- A Function-Equivalent Components Based Simplification Technique for PEPA Models.- Functional Performance Specification with Stochastic Probes.- Embedding Real Time in Stochastic Process Algebras.- Workloads and Benchmarks.- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results.- Working Set Characterization of Applications with an Efficient LRU Algorithm.- Theory of Stochastic Processes.- Model Checking for a Class of Performance Properties of Fluid Stochastic Models.- Explicit Inverse Characterizations of Acyclic MAPs of Second Order.- Implementation Relations for Stochastic Finite State Machines.- On the Convergence Rate of Quasi Lumpable Markov Chains.- Formal Dependability and Performance Evaluation.- Applying the UML Class Diagram in the Performance Analysis.- Dependability Evaluation of Web Service-Based Processes.- Queues, Theory and Practice.- Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic.- Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering.- The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System.- Experimental Analysis of the Correlation of HTTP GET Invocations.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540752110 Formal Methods and Stochastic Models for Performance Evaluation (50-99.99)


< zum Archiv...