• Aller au contenu
  • Aller à la navigation principale
  • Aller à la recherche
Connexion Aller sur la page Mon panier

4 résultats

Visualiser le document
Monographie
The B-Book : assigning programs to meanings
Cambridge University Press
  • Modifier la notice
  • Imprimer la notice
Visualiser le document
Monographie
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
Castéran Pierre, Castéran, Pierre | Springer | 2010
  • Modifier la notice
  • Imprimer la notice
Visualiser le document
Monographie
Modeling in Event-B : system and software engineering
Cambridge University Press
  • Modifier la notice
  • Imprimer la notice
Visualiser le document
Thèse
Approche spatiale pour la caractérisation du contexte d'exécution d'un système d'information ubiquitaire
Petit Mathieu, Claramunt Christophe, Ray Cyril, Arts et Métiers Sciences et Technologies, directeur de thèse Christophe Claramunt, co-encadreur Cyril Ray | [s.n.] | 2010
  • Modifier la notice
  • Imprimer la notice

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)
Logo Ministère des Armées

Rubriques

  • Actualités
  • Liste des portails
  • Kit Communication
  • Tutoriels/Manuels
  • FAQ

Informations sur le site

  • Contact
  • Mentions légales