117,83 €
Produit Neuf
Ou 29,46 € /mois
- Livraison : 3,99 €
- Livré entre le 25 septembre et le 2 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 Programming Languages And Systems Format Broché - Livre Informatique
0 avis sur Programming Languages And Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Practical English Usage. Paperback With Online Access
Neuf dès 59,45 €
-
Complete Book Of Celtic Music For Appalachian Dulcimer
Neuf dès 69,99 €
-
Lucie Rie
Neuf dès 63,15 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Graduale Romanum - Graduale Sacrosanctae Romanae Ecclesiae De Tempore Et De Sanctis Ss. D. N. Pii X. Pontificis Maximi
1 avis
Occasion dès 59,95 €
-
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 €
-
Theory Of Ordinary Differential Equations
Occasion dès 65,99 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Last Time I Drew A Crowd: The Autobiography Of Jim Bentley
Occasion dès 60,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
Feu Vert Guitare Accompagnement Tab 2 Cd
1 avis
Occasion dès 153,12 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 71,99 €
-
Nietzsche And Zen
Neuf dès 137,34 €
-
Dictionary Of Arabic Loanwords In The Languages Of Central And East Africa
Neuf dès 88,35 €
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Götz Von Berlichingen
2 avis
Occasion dès 85,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
Produits similaires
Présentation Programming Languages And Systems Format Broché
- Livre Informatique
Résumé :
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic.
Sommaire: Analysis and Synthesis.- Scalable and Modular Robustness Analysis of Deep Neural Networks.- Function Pointer Eliminator for C Programs.- PyCT: A Python Concolic Tester.- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.- Server-Side Computation of Package Dependencies in Package-Management Systems.- Compilation and Transformation.- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly.- A Dictionary-Passing Translation of Featherweight Go.- Hybrid quantum-classical circuit simplification with the ZX-calculus.- A compilation method for dynamic typing in ML.- Language Design.- The Choice Construct in the Souffl? Language.- Latent Effects for Reusable Language Components.- Adaptable Traces for Program Explanations.- A Typed Programmatic Interface to Contracts on the Blockchain.- Verification.- Simplifying of Alternating Automata for Emptiness Testing.- Termination Analysis for the pi-Calculus byReduction to Sequential Program Termination.- Proving LTL Properties of Bitvector Programs and Decompiled Binaries.- Solving Not-Substring Constraint with Flat Abstraction.-
Détails de conformité du produit
Personne responsable dans l'UE