140,87 €
Produit Neuf
Ou 35,22 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- 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.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 129,00 €
-
Catafalque
Neuf dès 86,94 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Harald Szeemann
Neuf dès 87,99 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 82,63 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
The Rainbow
Neuf dès 105,43 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Women In The Earliest Churches
Neuf dès 71,05 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Rules, Patterns And Words
Neuf dès 80,00 €
-
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 €
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