140,87 €
Produit Neuf
Ou 35,22 € /mois
- Livraison : 25,00 €
- Livré entre le 6 et le 12 octobre
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Semantics Of Probabilistic Processes Format Broché - Livre Informatique
0 avis sur Semantics Of Probabilistic Processes Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Catafalque
Neuf dès 86,94 €
-
I Want To Spend The Rest Of My Life Everywhere, With Everyone, One To One, Always, Forever, Now
Occasion dès 96,88 €
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 71,99 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Harald Szeemann
Neuf dès 87,99 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 93,23 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Common Sense
Occasion dès 115,00 €
-
Writing Compilers & Inter
Occasion dès 77,18 €
-
Götz Von Berlichingen
2 avis
Occasion dès 85,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
Produits similaires
Présentation Semantics Of Probabilistic Processes Format Broché
- Livre Informatique
Biographie:
Yuxin Deng got his BEng (1999) and MSc (2002) from Shanghai Jiao Tong University, China, and PhD (2005) from Ecole des Mines de Paris, France. He was a research associate at University of New South Wales, Australia (2005-2006). Since 2006 he has joined Shanghai Jiao Tong University and is now an associate professor in Department of Computer Science and Engineering. In 2011 he was a visiting research fellow at Carnegie Mellon University. During 2012-2013 he was a loaned expert at UNESCO Headquarters on secondment from the Ministry of Education of China. Dr. Deng's research interests include concurrency theory, especially about process calculi, and formal semantics of programming languages, as well as formal verification of security protocols and distributed algorithms. His recent research focus is probabilistic concurrency theory for which he has contributed to the development of probabilistic testing semantics and (bi)simulation semantics. Dr. Deng has published 50 papers in international journals and conferences. He served as PC members for a number of conferences such as FORTE 2014, ICALP 2013, QEST 2013 etc. and as reviewers for many journals and conferences such as ACM Transactions on Computational Logic, Theoretical Computer Science, Information and Computation, Logical Methods in Computer Science, Formal Aspect of Computing, ICALP, LICS, CONCUR, FOSSACS, etc.
Détails de conformité du produit
Personne responsable dans l'UE