m

Documents  Le Charlier, Baudouin | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 463p.
ISBN 978-3-540-58485-8

Lecture notes in computer science , 0864

Localisation : Collection 1er étage

informatique # algorithme générique pour la méthode de point fix # technique de programmation par contraintes # optimisation # transformation # vérification # analyse de dépendance # domaine abstrait

00B25 ; 68-06 ; 68W40 ; 68N17 ; 68W10 ; 68Q85

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z