Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
Libristo-Code: 01564460
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2002
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Buch Hardcover
common.buy 64.99 €
Leuchtfeuer Corina Bomann / Buch Broschur
common.buy 13.00 €
Le Robert de Poche Plus collegium / Buch Broschur
common.buy 11.89 €
Top
Puzzle 500 peace collection Light blue 35116 / Spiel/Spielzeug Puzzle
common.buy 4.29 €
Hogyan (ne) tervezz? Les Binet / Buch Hardcover
common.buy 11.69 €
Wo samstags immer Sonntag ist Markus Flohr / Buch Broschur
common.buy 14.00 €
Cómo tener sexo en el trabajo MATS & ENZO / Buch Broschur
common.buy 6.89 €
Sana Tu Mente, Cura Tu Cuerpo. Un Programa Revolucionario Para Liberarte del Dolor Cronico Y La Ansiedad / Mind Your Body: A Revolutionary Program to Sachs / Buch Broschur
common.buy 13.89 €
Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth / Buch Broschur
common.buy 38.00 €
Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko / Buch Broschur
common.buy 5.99 €
La rodilla de Lucy : los primeros pasos hacia la humanidad Yves Coppens / Buch Broschur
common.buy 16.99 €
Stedinger H a Schumacher / Buch Broschur
common.buy 21.90 €
Little Dragon Sitting on the Top of the Story Bridge. Simplified Chinese MS Suet Fan Regina Wong / Buch Broschur
common.buy 11.19 €
Magnetbandspeicher Und Seine Anwendung in Der Schallmesstechnik Dieter Kutzer / Buch Broschur
common.buy 54.99 €
Energie der Poesie Nick Living / Buch Broschur
common.buy 14.90 €
L'Ouest Américain - West America Najarro / Buch Broschur
common.buy 29.89 €
Ergenus Cumhuriyeti Dilek Erdem / Buch Broschur
common.buy 8.59 €
Das afrikanische Gewerbe Heinrich Schurtz / Buch Broschur
common.buy 14.50 €
Les Anti-Inflammatoires Naturels Jennifer Louissa / Buch Broschur
common.buy 12.69 €
Lovkyně Kate Quinn / Buch Hardcover
common.buy 14.49 €
HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay / Buch Broschur
common.buy 4.99 €
HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen / Spiel/Spielzeug Spiel
common.buy 13.30 €
LE MOULIN DE MES REVES Bonneau / Buch Broschur
common.buy 12.89 €

This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Autor Holger Hermanns, Roberto Segala
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 222
EAN 9783540439134
ISBN 3540439137
Libristo-Code 01564460
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 730
Abmessungen 155 x 235 x 13

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik > Mathematische Modellierung
Mathematik und Naturwissenschaften > Mathematik > Algebra
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Mathematik für Ingenieure
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Multi-Grid Methods and Applications Wolfgang Hackbusch / Buch Hardcover
common.buy 172.89 €
CRISPR-Cas Systems Rodolphe Barrangou / Buch Broschur
common.buy 203.39 €
Dynamic Systems and Dynamic Classification Problems in Geophysical Applications Alexej Gvishiani / Buch Broschur
common.buy 51.09 €
Flexibility in Adaptation Planning Radhakrishnan / Buch Broschur
common.buy 122.89 €
Hero Tales James Baldwin / Buch Broschur
common.buy 10.69 €
Beginning Mental Training Skills for Curling Shannon L McDougall / Buch Broschur
common.buy 13.19 €
The Chronicles of Count Antonio Anthony Hope / Buch Broschur
common.buy 7.19 €
15 Realistic Tests for the SAT Subject Test Math Level 1: Up to date and true to life: with 3 fully solved bonus tests Rusen Meylani / Buch Broschur
common.buy 27.49 €
Master Profit Plan Vadym Graifer / Buch Broschur
common.buy 38.79 €
Galileo's Thinking Hand Horst Bredekamp / Buch Hardcover
common.buy 50.59 €
I was looking for love Bianca Grootfaam / Buch Broschur
common.buy 9.79 €
Soft Computing Techniques in Voltage Security Analysis Kabir Chakraborty / Buch Broschur
common.buy 101.79 €
HANNAH Ramona Forrest / Buch Broschur
common.buy 14.49 €
Between Here and There: Words and Such Christine S Curtis / Buch Broschur
common.buy 15.39 €
Images of Life Michael D. Fritz / Buch Broschur
common.buy 23.89 €
Rapid City Indian School, 1898-1933 Scott Riney / Buch Broschur
common.buy 22.99 €
Retribution Jeanne C. Stein / Buch Broschur
common.buy 7.49 €
Fifteen Candles: 15 Tales of Taffeta, Hairspray, Drunk Uncles, and Other Quinceanera Stories Adriana Lopez / Buch Broschur
common.buy 18.79 €
Intercultural Application Guide for Work and Studies in the USA Michael B. Hinner / Buch Broschur
common.buy 19.59 €
Frederica Quartet: The Virgin in the Garden, Still Life, Babel Tower & A Whistling Woman A. S. Byatt / Hörbuch MP3
common.buy 9.79 €
Neu
Handbook for Historical Pattern Cutting Jerry Moore / Buch Broschur
common.buy 50.29 €
Top
The Sun Thief Nicola Slater / Buch Broschur
common.buy 7.79 €
Portraits of a Mother Van C. Gessel / Buch Broschur
common.buy 16.49 €
Top
The Boyfriend MCFADDEN FREIDA / Buch Broschur
common.buy 11.49 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?