Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
Codul Libristo: 01564460
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2002
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Carte Copertă tare
common.buy 338.72 lei
Cómo tener sexo en el trabajo MATS & ENZO / Carte Carte broșată
common.buy 41.54 lei
Le Robert de Poche Plus collegium / Carte Carte broșată
common.buy 114.87 lei
Leuchtfeuer Corina Bomann / Carte Carte broșată
common.buy 63.14 lei
Puzzle 500 peace collection Light blue 35116 / Joc / Jucărie Puzzle
common.buy 28.76 lei
L'Ouest Américain - West America Najarro / Carte Carte broșată
common.buy 192.46 lei
HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen / Joc / Jucărie Joc
common.buy 60.75 lei
Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko / Carte Carte broșată
common.buy 39.15 lei
Wo samstags immer Sonntag ist Markus Flohr / Carte Carte broșată
common.buy 70.31 lei
Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth / Carte Carte broșată
common.buy 188.20 lei
Energie der Poesie Nick Living / Carte Carte broșată
common.buy 74.88 lei
HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay / Carte Carte broșată
common.buy 34.79 lei
La rodilla de Lucy : los primeros pasos hacia la humanidad Yves Coppens / Carte Carte broșată
common.buy 100.12 lei
Stedinger H a Schumacher / Carte Carte broșată
common.buy 109.26 lei
Little Dragon Sitting on the Top of the Story Bridge. Simplified Chinese MS Suet Fan Regina Wong / Carte Carte broșată
common.buy 73.32 lei
Curând
Hamburgs dunkle Seiten Kathrin Hanke / Carte Copertă tare
common.buy 103.65 lei
Ergenus Cumhuriyeti Dilek Erdem / Carte Carte broșată
common.buy 45.38 lei
Das afrikanische Gewerbe Heinrich Schurtz / Carte Carte broșată
common.buy 76.96 lei
Les Anti-Inflammatoires Naturels Jennifer Louissa / Carte Carte broșată
common.buy 87.55 lei
Top
Lovkyně Kate Quinn / Carte Copertă tare
common.buy 81.53 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Autor Holger Hermanns, Roberto Segala
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 222
EAN 9783540439134
ISBN 3540439137
Codul Libristo 01564460
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 730
Dimensiuni 155 x 235 x 13

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Applied mathematics > Mathematical modelling
Mathematics & Science > Mathematics > Algebra
Technology, Engineering, Agriculture > Technology: general issues > Maths for engineers
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Dynamic Systems and Dynamic Classification Problems in Geophysical Applications Alexej Gvishiani / Carte Carte broșată
common.buy 284.91 lei
CRISPR-Cas Systems Rodolphe Barrangou / Carte Carte broșată
common.buy 1 134.79 lei
Great Porter Square B L Farjeon / Carte Carte broșată
common.buy 123.49 lei
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 / Carte Carte broșată
common.buy 141.05 lei
Community Jean Spenst / Carte Carte broșată
common.buy 50.78 lei
Monetary Policy Alternatives at the Zero Bound Brian P Sack / Carte Carte broșată
common.buy 67.30 lei
Last Man Who Knew Everything Hockney Mike Hockney / E-book Adobe ePub DRM
common.buy 56.70 lei
Intercultural Application Guide for Work and Studies in the USA Michael B. Hinner / Carte Carte broșată
common.buy 121.11 lei
Fifteen Candles: 15 Tales of Taffeta, Hairspray, Drunk Uncles, and Other Quinceanera Stories Adriana Lopez / Carte Carte broșată
common.buy 99.50 lei
Retribution Jeanne C. Stein / Carte Carte broșată
common.buy 48.71 lei
Rapid City Indian School, 1898-1933 Scott Riney / Carte Carte broșată
common.buy 144.27 lei
Frederica Quartet: The Virgin in the Garden, Still Life, Babel Tower & A Whistling Woman A. S. Byatt / Audiobook MP3
common.buy 60.13 lei
Images of Life Michael D. Fritz / Carte Carte broșată
common.buy 171.07 lei
Science in the Pulpit Jerry L Artrip / Carte Carte broșată
common.buy 46.73 lei
HANNAH Ramona Forrest / Carte Carte broșată
common.buy 76.54 lei
Soft Computing Techniques in Voltage Security Analysis Kabir Chakraborty / Carte Carte broșată
common.buy 568.27 lei
I was looking for love Bianca Grootfaam / Carte Carte broșată
common.buy 67.51 lei
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 / Carte Carte broșată
common.buy 304.13 lei
The Chronicles of Count Antonio Anthony Hope / Carte Carte broșată
common.buy 46.94 lei
Beginning Mental Training Skills for Curling Shannon L McDougall / Carte Carte broșată
common.buy 86.52 lei
Hero Tales James Baldwin / Carte Carte broșată
common.buy 56.91 lei
Flexibility in Adaptation Planning Radhakrishnan / Carte Carte broșată
common.buy 728.76 lei
Between Here and There: Words and Such Christine S Curtis / Carte Carte broșată
common.buy 81.53 lei
Your Word Is Truth: The Doctrine of Scripture Rick Muchewicz / Carte Carte broșată
common.buy 36.97 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?