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.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Theoretical Computer Science Format Broché - Livre Informatique

Note : 0 0 avis sur Theoretical Computer Science Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Theoretical Computer Science Format Broché
- Livre Informatique

Livre Informatique - 01/08/2012 - Broché - Langue : Anglais

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/08/2012

Format : Moyen, de 350g à 1kg

Nombre de pages : 400

Expédition : 604

Dimensions : 23.5 x 15.5 x 2.2

ISBN : 9783642334740

Résumé :
This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.

Sommaire:

Computability and Non-computability Issues in Amorphous Computing.- Static Single Information Form for Abstract Compilation.-?Input-Driven Stack Automata.-?Probabilistic Inference and Monadic Second Order Logic.-?Cinderella versus the Wicked Stepmother.-?Worst- and Average-Case Privacy Breaches in Randomization Mechanisms.-?Weak Bisimulations for Coalgebras over Ordered Functors.-?A Context-Free Linear Ordering with an Undecidable First-Order Theory.-?Open Bisimulation for Quantum Processes.-?A Modular LTS for Open Reactive Systems.-?Unidirectional Channel Systems Can Be Tested.-?On Properties and State Complexity of Deterministic State-Partition Automata.-?On Union-Free and Deterministic Union-Free Languages.-?A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.-?Formal Verification of Distributed Algorithms: From Pseudo Code to CheckedProofs.-?A Temporal Logic for Multi-threaded Programs.-?The Algorithmic Complexity of k-Domatic Partition of Graphs.-?Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics.-?Modal Interface Automata.-?Proofs as Executions.-?Efficient Algorithms for the max k-vertex cover Problem.-?A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words..-?Compositional Abstraction Techniques for Probabilistic Automata.- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks.-?An Intersection Type System for Deterministic Pushdown Automata.-?An Output-Based Semantics of?? with Explicit Substitution in the ?-Calculus: Extended Abstract.

Static Single Information Form for Abstract Compilation.-?Input-Driven Stack Automata.-?Probabilistic Inference and Monadic Second Order Logic.-?Cinderella versus the Wicked Stepmother.-?Worst- and Average-Case Privacy Breaches in Randomization Mechanisms.-?Weak Bisimulations for Coalgebras over Ordered Functors.-?A Context-Free Linear Ordering with an Undecidable First-Order Theory.-?Open Bisimulation for Quantum Processes.-?A Modular LTS for Open Reactive Systems.-?Unidirectional Channel Systems Can Be Tested.-?On Properties and State Complexity of Deterministic State-Partition Automata.-?On Union-Free and Deterministic Union-Free Languages.-?A Characterisation ofLanguages on Infinite Alphabets with Nominal Regular Expressions.-?Formal Verification of Distributed Algorithms: From Pseudo Code to Checked Proofs.-?A Temporal Logic for Multi-threaded Programs.-?The Algorithmic Complexity of k-Domatic Partition of Graphs.-?Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics.-?Modal Interface Automata.-?Proofs as Executions.-?Efficient Algorithms for the max k-vertex cover Problem.-?A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words..-?Compositional Abstraction Techniques for Probabilistic Automata.- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks.-?An Intersection Type System for Deterministic Pushdown Automata.-?An Output-Based Semantics of ?? with Explicit Substitution in the ?-Calculus: Extended Abstract.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Theoretical Computer Science -

Avis sur Theoretical Computer Science Format Broché - Livre Informatique

Présentation Theoretical Computer Science Format Broché - Livre Informatique

Présentation Theoretical Computer Science Format Broché
- Livre Informatique