Vous avez cherché: vimes (Anglais - Français)

*z-vimes alternate source of vimes.
*z-vimes, sources alternatives pour vimes.

*vimes a real project developed using nuweb.
*vimes, un vrai projet développé avec nuweb.

vimes is a type-checker for z notation which shows the use of nuweb in a practical application.
vimes est un vérificateur de types pour la notation z qui montre l'usage de nuweb dans une application pratique.

the commander of the night watch, sam vimes, is sent back in his past, and must catch a murderer without meddling too much with time.
le commandant de la garde de nuit sam vimes est renvoyé dans son passé, et doit attraper un meurtrier sans trop perturber le fil du temps.

this time the discworld series focuses on sam vimes, who has to become a diplomat (!) to attend a coronation of a dwarf king, among unrest between dwarves, werewolves and vampires.
cette fois-ci la série du disque-monde se centre sur sam vimes, qui doit devenir diplomate (!) pour assister au couronnement d’un roi nain, au milieu de tensions entre les nains, les loups-garous et les vampires.

meanwhile, captain samuel vimes, captain of the ankh-morpork city watch, prepares for his imminent wedding to sybil ramkin, the richest woman in ankh-morpork.
== résumé ==samuel vimaire, le capitaine du guet de nuit va démissionner et se marier avec sybil ramkin, la femme la plus riche de tout ankh-morpork.

vime
vimes