Chargement...
Chargement...

Livres Marc Guyomard

Auteur

Support

Série
Disponibilité

1
Éditeur(s) : Eyrolles
Manuel de conception raisonnée des algorithmes présentant les bases théoriques et techniques illustrées par des exemples. Après des rappels sur le raisonnement, les structures de données et la complexité, les grandes méthodes de construction d'algorithmes sont présen...
49,00 €
Chargement...
Éditeur(s) : Springer
L'ouvrage établit un lien avec la discipline des méthodes formelles pour le génie logiciel. Il montre comment calculer les opérations qui accompagnent une structure de données à partir d'une spécification rigoureuse. Après une présentation des bases, l'auteur focalis...
87,00 €
Chargement...
Éditeur(s) : Eyrolles
Recueil d'exercices d'algorithmique avancée où sont essentiellement abordées les méthodes de construction formelle des algorithmes itératifs. ©Electre 2025
49,00 €
Chargement...
Éditeur(s) : Eyrolles
Recueil d'exercices d'algorithmique avancée qui traite essentiellement des méthodes de construction formelle des algorithmes itératifs. ©Electre 2025
49,00 €
Chargement...
1