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
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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.73 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

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 61.35 €
Le Robert de Poche Plus collegium / Buch Broschur
common.buy 20.85 €
Cómo tener sexo en el trabajo MATS & ENZO / Buch Broschur
common.buy 7.89 €
Leuchtfeuer Corina Bomann / Buch Broschur
common.buy 11.43 €
L'Ouest Américain - West America Najarro / Buch Broschur
common.buy 36.85 €
LE MOULIN DE MES REVES Bonneau / Buch Broschur
common.buy 16.09 €
HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen / Spiel/Spielzeug Spiel
common.buy 11.03 €
Puzzle 500 peace collection Light blue 35116 / Spiel/Spielzeug Puzzle
common.buy 7.08 €
Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko / Buch Broschur
common.buy 7.48 €
Wo samstags immer Sonntag ist Markus Flohr / Buch Broschur
common.buy 12.65 €
Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth / Buch Broschur
common.buy 34.01 €
Energie der Poesie Nick Living / Buch Broschur
common.buy 13.56 €
HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay / Buch Broschur
common.buy 6.67 €
La rodilla de Lucy : los primeros pasos hacia la humanidad Yves Coppens / Buch Broschur
common.buy 19.13 €
Stedinger H a Schumacher / Buch Broschur
common.buy 19.74 €
Little Dragon Sitting on the Top of the Story Bridge. Simplified Chinese MS Suet Fan Regina Wong / Buch Broschur
common.buy 14.07 €
Demnächst
Hamburgs dunkle Seiten Kathrin Hanke / Buch Hardcover
common.buy 18.62 €
Ergenus Cumhuriyeti Dilek Erdem / Buch Broschur
common.buy 8.19 €
Das afrikanische Gewerbe Heinrich Schurtz / Buch Broschur
common.buy 14.67 €
Les Anti-Inflammatoires Naturels Jennifer Louissa / Buch Broschur
common.buy 16.70 €
Top
Lovkyně Kate Quinn / Buch Hardcover
common.buy 15.58 €

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

Dynamic Systems and Dynamic Classification Problems in Geophysical Applications Alexej Gvishiani / Buch Broschur
common.buy 51.73 €
CRISPR-Cas Systems Rodolphe Barrangou / Buch Broschur
common.buy 205.96 €
Great Porter Square B L Farjeon / Buch Broschur
common.buy 23.58 €
Katherine and Her Sisters. by the Author of the Discipline of Life [I.E. Lady E. C. M. Ponsonby], Etc. Vol. I Lady Emily Charlotte Mary Ponsonby / Buch Broschur
common.buy 29.96 €
Community Jean Spenst / Buch Broschur
common.buy 9.71 €
Monetary Policy Alternatives at the Zero Bound Brian P Sack / Buch Broschur
common.buy 12.85 €
Last Man Who Knew Everything Hockney Mike Hockney / E-Book Adobe ePub DRM
common.buy 10.82 €
Intercultural Application Guide for Work and Studies in the USA Michael B. Hinner / Buch Broschur
common.buy 23.18 €
Fifteen Candles: 15 Tales of Taffeta, Hairspray, Drunk Uncles, and Other Quinceanera Stories Adriana Lopez / Buch Broschur
common.buy 19.03 €
Retribution Jeanne C. Stein / Buch Broschur
common.buy 8.70 €
Rapid City Indian School, 1898-1933 Scott Riney / Buch Broschur
common.buy 27.63 €
Frederica Quartet: The Virgin in the Garden, Still Life, Babel Tower & A Whistling Woman A. S. Byatt / Hörbuch MP3
common.buy 11.53 €
Images of Life Michael D. Fritz / Buch Broschur
common.buy 32.70 €
Science in the Pulpit Jerry L Artrip / Buch Broschur
common.buy 8.90 €
HANNAH Ramona Forrest / Buch Broschur
common.buy 14.67 €
Soft Computing Techniques in Voltage Security Analysis Kabir Chakraborty / Buch Broschur
common.buy 103.07 €
I was looking for love Bianca Grootfaam / Buch Broschur
common.buy 12.85 €
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 58.11 €
The Chronicles of Count Antonio Anthony Hope / Buch Broschur
common.buy 9.00 €
Beginning Mental Training Skills for Curling Shannon L McDougall / Buch Broschur
common.buy 16.50 €
Hero Tales James Baldwin / Buch Broschur
common.buy 10.82 €
Flexibility in Adaptation Planning Radhakrishnan / Buch Broschur
common.buy 132.74 €
Between Here and There: Words and Such Christine S Curtis / Buch Broschur
common.buy 15.58 €
Your Word Is Truth: The Doctrine of Scripture Rick Muchewicz / Buch Broschur
common.buy 7.08 €

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?