Montant total (1 article articles) :
Destination de la commande :
laroussinie francois (9 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (9)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (6)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (5)
- Sans impressions à la demande (9)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Lecture Notes in Computer Science, 6269)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 103,03
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
CONCUR 2010 - Concurrency Theory (Paperback)
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642153747 ISBN 13 : 9783642153747
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 124,14
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit'eDenis Diderot, August 31-September 3, 2010. CONCUR 2010 was organized by CNRS, INRIA, ENS Cachan and the Universit'eDenisDiderot. The purpose of the CONCUR conference is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. The principal topics include basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets; logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collabo- tive systems, multi-core processors, probabilistic systems, real-time s- tems, service-oriented computing, and synchronous systems; veri?cation and analysis techniques for concurrent systems such as abstract int- pretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time veri?cation, state-space exploration, static analysis, synthesis, testing, theorem proving, and type systems; - lated programming models such as distributed, component-based, obje- oriented, and Web services.This edition of the conference attracted 107 submissions. We wish to thank all their authors for their interest in CONCUR 2010. After careful discussions, the Program Committee selected 35 papers for presentation at the conference. Each submission was refereed by three reviewers, who delivered detailed and insightful comments and suggestions. Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Systems and Software Verification : Model-Checking Techniques and Tools
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 149,04
EUR 2,25 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Systems and Software Verification : Model-Checking Techniques and Tools
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 147,89
EUR 17,33 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Concur 2010 - Concurrency Theory: 21Th International Conference, Concur 2010, Paris, France, August 31-September 3, 2010, Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 157,14
EUR 14,44 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 613 pages. 9.50x6.25x1.25 inches. In Stock.
-
CONCUR 2010 - Concurrency Theory
Langue: anglais
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642153747 ISBN 13 : 9783642153747
EUR 118,64
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. Up to date resultsFast conference proceedingsState-of-the-art reportDating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.- Applications of Shellable Complexes to Distributed Computing.- Concurrency and Composition in a Stochastic Wo.
-
EUR 104,72
EUR 105 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 600 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Systems and Software Verification : Model-Checking Techniques and Tools
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 245,10
EUR 17,33 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Systems and Software Verification : Model-Checking Techniques and Tools
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 268,19
EUR 2,25 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
