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

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

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

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

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

Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz Ernst Paasch / Βιβλίο Χαρτόδετο
common.buy 52.94 €
Spider-Man 2099 : Dark Genesis / Βιβλίο Χαρτόδετο
common.buy 24.10 €
Jak jsem jezdil do nebe Michal Třetina / Έντυπα Χάρτης
common.buy 12.30 €
Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie BEAUDUCEL / Video DVD
common.buy 27.53 €
Impacto de la erosión en las infraestructuras O. E Inyang / Βιβλίο Χαρτόδετο
common.buy 24.10 €
Ces Messieurs de St-Malo T02 Temps Des Carbec B. Simiot / Βιβλίο Χαρτόδετο
common.buy 14.82 €
LONELY PLANET Reiseführer Indien Süden & Kerala Joe Bindloss / Βιβλίο Χαρτόδετο
common.buy 22.68 €
Von Tripolis nach Alexandrien Gerhard Rohlfs / Βιβλίο Χαρτόδετο
common.buy 15.12 €
L'Heliotherapie Sur Le Littoral Mediterraneen Francais Faure-M / Βιβλίο Χαρτόδετο
common.buy 16.23 €
Homo asapiens Rado Ondřejíček / Βιβλίο Σκληρόδετο
common.buy 9.98 €
Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2 Felix Rigot / Βιβλίο Χαρτόδετο
common.buy 30.45 €
Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1 Lefevre-A / Βιβλίο Χαρτόδετο
common.buy 14.31 €
Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier / Βιβλίο Χαρτόδετο
common.buy 74.33 €
IGI ARABA - Il sogno inizia Luigi Carlo De Micco / Βιβλίο Σκληρόδετο
common.buy 22.28 €
Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck / Βιβλίο Χαρτόδετο
common.buy 16.13 €
Staré lásky Isaac Bashevis Singer / Βιβλίο Βιβλίο
common.buy 8.56 €

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

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

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

Πλήρες όνομα Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Συγγραφέας Luca de Alfaro, Stephen Gilmore
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2001
Αριθμός σελίδων 224
EAN 9783540425564
ISBN 354042556X
Κωδικός Libristo 01563754
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 750
Διαστάσεις 155 x 235 x 13

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Applied mathematics > Stochastics
Mathematics & Science > Mathematics > Algebra
Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Breeding for Resistance to Diseases and Insect Pests Dhan P. Singh / Βιβλίο Χαρτόδετο
common.buy 82.20 €
Back Against the Wall Tamera Denise Kelly / Βιβλίο Χαρτόδετο
common.buy 15.52 €
Dedham Park. a Tale of Saltshire. Bradshaw / Βιβλίο Χαρτόδετο
common.buy 27.43 €
Colorectal Surgery Sue Clark / Βιβλίο Σκληρόδετο
common.buy 115.28 €
The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy Andrew Potter / Βιβλίο Χαρτόδετο
common.buy 13.61 €
World War II in Atlanta Paul Crater / Βιβλίο Χαρτόδετο
common.buy 20.77 €
Socratic Method and Critical Philosophy: Selected Essays Leonard 1882-1927 Nelson / Βιβλίο Χαρτόδετο
common.buy 22.18 €
Sieur de la Salle: An Explorer of the Great West Amie Hazleton / Βιβλίο Χαρτόδετο
common.buy 8.16 €
Steck-Vaughn Science: Life, Physical, Earth & Spac: Student Book Grade 1 Various / Βιβλίο Χαρτόδετο
common.buy 15.52 €
Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.] S Middleton Fox / Βιβλίο Χαρτόδετο
common.buy 23.49 €
A Fresh Start: She wants a new life, he needs a wife Ellie Etienne / Βιβλίο Χαρτόδετο
common.buy 11.69 €
Colorful Creatures: Exotic Ocean Fish Adult Coloring Book Jordan Biggio / Βιβλίο Χαρτόδετο
common.buy 10.78 €
Easy to Medium 300 Sudoku Puzzle Book: Volume 5 Enoch Darmody / Βιβλίο Χαρτόδετο
common.buy 17.64 €
The Reunion: An Adopted Child's Letters to a Missing Mother Grace Ann Neuharth / Βιβλίο Χαρτόδετο
common.buy 10.78 €
Sundown Towns James W. Loewen / Βιβλίο Σκληρόδετο
common.buy 42.15 €
Camilla And Gertrude And Other Poems (1884) Florence H. Hayllar / Βιβλίο Χαρτόδετο
common.buy 23.19 €
Learning to Love Amy Mia Marconi / Βιβλίο Χαρτόδετο
common.buy 10.18 €
Sweeney Todd the Graphic Novel Original Text Clive Bryant / Βιβλίο Χαρτόδετο
common.buy 10.78 €
Murphy's Revenge Colin Bateman / Βιβλίο Χαρτόδετο
common.buy 9.17 €
Gunner Aboard the Yankee. from the Diary of Number Five of the After Port Gun. the Yarn of the Cruise and Fights of the Naval Reserves in the Spanish- H H Lewis / Βιβλίο Χαρτόδετο
common.buy 31.06 €
Foundation Discrete Mathematics for Computing DEXTER J. BOOTH / Βιβλίο Χαρτόδετο
common.buy 51.53 €
Political Theory and the Displacement of Politics Bonnie Honig / Βιβλίο Χαρτόδετο
common.buy 45.08 €
Animal Models in Cardiovascular Research David Gross / Βιβλίο Σκληρόδετο
common.buy 175.19 €
Counter-Narrative Goodall / Βιβλίο Χαρτόδετο
common.buy 57.69 €

Είσοδος

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

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

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

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

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