247,59 €
Produit Neuf
Ou 61,90 € /mois
- Livraison : 3,99 €
- Livré entre le 24 septembre et le 1 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 Concurrency, Specification And Programming Format Relié - Livre Informatique
0 avis sur Concurrency, Specification And Programming Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Xl-Redoute. Selection Of The Most Beautiful Flowers - Italien - Espagnol - Portugais
Occasion dès 219,70 €
-
Nietzsche And Zen
Neuf dès 137,34 €
-
Thinking Is Form: The Drawings Of Joseph Beuys
Occasion dès 255,99 €
-
Pierre Bayle
Neuf dès 222,62 €
-
The Sichuan Frontier And Tibet: Imperial Strategy In The Early Qing
Neuf dès 169,27 €
-
Diego Rivera. The Complete Murals
Neuf dès 217,00 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,71 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 223,99 €
-
Art Of Sea Of Thieves
1 avis
Neuf dès 127,99 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Invisible Loyalties
Neuf dès 195,60 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
The Lord Of The Rings
Neuf dès 190,12 €
-
Function And Meaning In Buddhist Art
Occasion dès 128,99 €
-
The New Munsell Student Color Set
Neuf dès 157,10 €
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 229,67 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
Produits similaires
Présentation Concurrency, Specification And Programming Format Relié
- Livre Informatique
Résumé :
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.
Sommaire:
Natural Language Processing for Requirements Formalization: How to Derive New Approaches?.- Left Recursion by Recursive Ascent.- An Example of Computation in Interactive Granular Computing.- Extended Future in Testing Semantics for Time Petri Nets.- Toward Recommender Systems Scalability and Efficacy.
Détails de conformité du produit
Personne responsable dans l'UE