Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
Κωδικός Libristo: 01564460
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούλιος 2002
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr... Πλήρης περιγραφή
? points 125 b
51.66 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Βιβλίο Σκληρόδετο
common.buy 61.27 €
Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko / Βιβλίο Χαρτόδετο
common.buy 7.47 €
HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 11.01 €
LE MOULIN DE MES REVES Bonneau / Βιβλίο Χαρτόδετο
common.buy 15.97 €
L'Ouest Américain - West America Najarro / Βιβλίο Χαρτόδετο
common.buy 36.69 €
Le Robert de Poche Plus collegium / Βιβλίο Χαρτόδετο
common.buy 14.75 €
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 / Βιβλίο Χαρτόδετο
common.buy 18.29 €
Puzzle 500 peace collection Light blue 35116 / Παιχνίδι/Επιτραπέζιο παιχνίδι Παζλ
common.buy 7.07 €
Cómo tener sexo en el trabajo MATS & ENZO / Βιβλίο Χαρτόδετο
common.buy 7.88 €
Leuchtfeuer Corina Bomann / Βιβλίο Χαρτόδετο
common.buy 11.42 €
Wo samstags immer Sonntag ist Markus Flohr / Βιβλίο Χαρτόδετο
common.buy 12.63 €
Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth / Βιβλίο Χαρτόδετο
common.buy 33.96 €
Energie der Poesie Nick Living / Βιβλίο Χαρτόδετο
common.buy 13.54 €
HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay / Βιβλίο Χαρτόδετο
common.buy 7.67 €
La rodilla de Lucy : los primeros pasos hacia la humanidad Yves Coppens / Βιβλίο Χαρτόδετο
common.buy 19.00 €
Stedinger H a Schumacher / Βιβλίο Χαρτόδετο
common.buy 19.71 €
Little Dragon Sitting on the Top of the Story Bridge. Simplified Chinese MS Suet Fan Regina Wong / Βιβλίο Χαρτόδετο
common.buy 14.05 €
Προετοιμαζουμε
Hamburgs dunkle Seiten Kathrin Hanke / Βιβλίο Σκληρόδετο
common.buy 18.60 €
Ergenus Cumhuriyeti Dilek Erdem / Βιβλίο Χαρτόδετο
common.buy 8.18 €
Das afrikanische Gewerbe Heinrich Schurtz / Βιβλίο Χαρτόδετο
common.buy 14.65 €
Les Anti-Inflammatoires Naturels Jennifer Louissa / Βιβλίο Χαρτόδετο
common.buy 16.67 €
Lovkyně Kate Quinn / Βιβλίο Σκληρόδετο
common.buy 15.56 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Συγγραφέας Holger Hermanns, Roberto Segala
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2002
Αριθμός σελίδων 222
EAN 9783540439134
ISBN 3540439137
Κωδικός Libristo 01564460
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 730
Διαστάσεις 155 x 235 x 13

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Dynamic Systems and Dynamic Classification Problems in Geophysical Applications Alexej Gvishiani / Βιβλίο Χαρτόδετο
common.buy 51.66 €
CRISPR-Cas Systems Rodolphe Barrangou / Βιβλίο Χαρτόδετο
common.buy 205.66 €
Frederica Quartet: The Virgin in the Garden, Still Life, Babel Tower & A Whistling Woman A. S. Byatt / Ακουστικό βιβλίο MP3
common.buy 11.72 €
Last Man Who Knew Everything Hockney Mike Hockney / ebook Adobe ePub DRM
common.buy 11.01 €
Images of Life Michael D. Fritz / Βιβλίο Χαρτόδετο
common.buy 29.62 €
Rapid City Indian School, 1898-1933 Scott Riney / Βιβλίο Χαρτόδετο
common.buy 27.59 €
Retribution Jeanne C. Stein / Βιβλίο Χαρτόδετο
common.buy 8.69 €
Fifteen Candles: 15 Tales of Taffeta, Hairspray, Drunk Uncles, and Other Quinceanera Stories Adriana Lopez / Βιβλίο Χαρτόδετο
common.buy 19.00 €
Intercultural Application Guide for Work and Studies in the USA Michael B. Hinner / Βιβλίο Χαρτόδετο
common.buy 23.15 €
Monetary Policy Alternatives at the Zero Bound Brian P Sack / Βιβλίο Χαρτόδετο
common.buy 12.83 €
Science in the Pulpit Jerry L Artrip / Βιβλίο Χαρτόδετο
common.buy 8.89 €
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 / Βιβλίο Χαρτόδετο
common.buy 29.92 €
Great Porter Square B L Farjeon / Βιβλίο Χαρτόδετο
common.buy 23.55 €
Hero Tales James Baldwin / Βιβλίο Χαρτόδετο
common.buy 10.81 €
Here & There: A Poetry Collection by Alan Riley / Βιβλίο Χαρτόδετο
common.buy 10.81 €
Cultural and Linguistic Issues in Translation ( Nr 46) Osadnik Wacław M. / Βιβλίο Χαρτόδετο
common.buy 5.65 €
Oxford History of the Reformation Peter Marshall / Βιβλίο Χαρτόδετο
common.buy 18.09 €
Exploring Xenakis: Performance, Practice, Philosophy ALFIA NAKIPBEKOVA / Βιβλίο Σκληρόδετο
common.buy 51.05 €
Four Streets Nadine Dorries / Βιβλίο Χαρτόδετο
common.buy 11.11 €
Your Word Is Truth: The Doctrine of Scripture Rick Muchewicz / Βιβλίο Χαρτόδετο
common.buy 7.07 €
Between Here and There: Words and Such Christine S Curtis / Βιβλίο Χαρτόδετο
common.buy 15.56 €
Flexibility in Adaptation Planning Radhakrishnan / Βιβλίο Χαρτόδετο
common.buy 132.55 €
Community Jean Spenst / Βιβλίο Χαρτόδετο
common.buy 9.70 €
Beginning Mental Training Skills for Curling Shannon L McDougall / Βιβλίο Χαρτόδετο
common.buy 16.47 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;