Des services pour PMB
Accueil
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 004.415 (2)
Faire une suggestion Affiner la recherche
Titre : PROGRAMMATION LOGIQUE PAR CONTRAINTES. Type de document : texte imprimé Auteurs : Francois Fages Editeur : Paris : Ellipses Année de publication : 1996 Importance : 183p. Présentation : couv.coul.photos. Format : 24cm ISBN/ISSN/EAN : 978-2-7298-4613-8 Note générale : Biblio.173p-183p Langues : Français (fre) Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme:004.41 ingénierie du logiciel Tags : Programmation logique Programmation par contraintes Programmation déclarative Méthodes de programmation Intelligence artificielle Résolution de contraintes. Index. décimale : 004.415 Par generation de code Résumé : L'enseignement d'Informatique à l'Ecole polytechnique est constitué d'un cours de tronc commun en première année et de cours optionnels en première et seconde années. Le cours de seconde année de François Fages traite d'un sujet en pleine effervescence à la fois dans le domaine de la recherche et dans l'industrie : la programmation par contraintes. L'ouvrage présente les fondements mathématiques de cette approche de la programmation.
Les différents concepts sont introduits suivant un plan implacable partant d'un principe très général de programmation en logique et allant vers des réalisations précises en conception de langages de programmation, démonstration automatique, optimisation combinatoire. Le cours est illustré par une quarantaine de programmes qui sont disponibles sur le WEB par Internet. Au-delà du sujet qu'il traite, cet ouvrage de 2e et 3e cycle pourra servir d'introduction attrayante et originale à la logique mathématique pour des étudiants informaticiens.
Il s'adresse également aux ingénieurs curieux de connaître un traité scientifique sur un domaine technique d'actualité afin d'en apprécier sa généralité et ses perspectives futures.PROGRAMMATION LOGIQUE PAR CONTRAINTES. [texte imprimé] / Francois Fages . - Paris : Ellipses, 1996 . - 183p. : couv.coul.photos. ; 24cm.
ISBN : 978-2-7298-4613-8
Biblio.173p-183p
Langues : Français (fre)
Catégories : 004 Informatique. Science et technologie de l'informatique.:004.4 Logiciel. Programme:004.41 ingénierie du logiciel Tags : Programmation logique Programmation par contraintes Programmation déclarative Méthodes de programmation Intelligence artificielle Résolution de contraintes. Index. décimale : 004.415 Par generation de code Résumé : L'enseignement d'Informatique à l'Ecole polytechnique est constitué d'un cours de tronc commun en première année et de cours optionnels en première et seconde années. Le cours de seconde année de François Fages traite d'un sujet en pleine effervescence à la fois dans le domaine de la recherche et dans l'industrie : la programmation par contraintes. L'ouvrage présente les fondements mathématiques de cette approche de la programmation.
Les différents concepts sont introduits suivant un plan implacable partant d'un principe très général de programmation en logique et allant vers des réalisations précises en conception de langages de programmation, démonstration automatique, optimisation combinatoire. Le cours est illustré par une quarantaine de programmes qui sont disponibles sur le WEB par Internet. Au-delà du sujet qu'il traite, cet ouvrage de 2e et 3e cycle pourra servir d'introduction attrayante et originale à la logique mathématique pour des étudiants informaticiens.
Il s'adresse également aux ingénieurs curieux de connaître un traité scientifique sur un domaine technique d'actualité afin d'en apprécier sa généralité et ses perspectives futures.Exemplaires(0)
Disponibilité aucun exemplaire
Titre : SCRUM : Le guide pratique de la méthode agile la plus populaire. Type de document : texte imprimé Auteurs : Claude Aubry (1968-....), Auteur ; François Beauregard, Auteur Mention d'édition : 3éme ed. Editeur : Paris : Dunod Année de publication : 2013 Collection : ÉTUDES, DÉVELOPPEMENT & INTÉGRATION Importance : 1 vol. (XXV-302 p.) Présentation : couv. ill. en coul.photos. Format : 25 cm ISBN/ISSN/EAN : 978-2-10-059446-7 Prix : 30 EUR Note générale :
SCRUM = computer software development
Le livre contient une adresse internet permettant l'acc?s ? un contenu compl?mentaire
Bibliogr. et webliogr. p. 299-300. IndexLangues : Français (fre) Tags : Scrum Méthodes agiles Génie logiciel Développement logiciel Product Owner ScrumMaster Sprint Backlog Stories utilisateur Gestion de projet logiciel. Index. décimale : 004.415 Par generation de code Résumé :
Cet ouvrage présente la méthode agile Scrum et ses pratiques de gestion du développement logiciel. Il décrit les rôles des acteurs, les cérémonies Scrum, la gestion du backlog, la planification des sprints, les stories utilisateur, les tests d’acceptation et les outils associés, tout en abordant l’adaptation de Scrum aux différents contextes et son déploiement à grande échelle.SCRUM : Le guide pratique de la méthode agile la plus populaire. [texte imprimé] / Claude Aubry (1968-....), Auteur ; François Beauregard, Auteur . - 3éme ed. . - Paris : Dunod, 2013 . - 1 vol. (XXV-302 p.) : couv. ill. en coul.photos. ; 25 cm. - (ÉTUDES, DÉVELOPPEMENT & INTÉGRATION) .
ISBN : 978-2-10-059446-7 : 30 EUR
SCRUM = computer software development
Le livre contient une adresse internet permettant l'acc?s ? un contenu compl?mentaire
Bibliogr. et webliogr. p. 299-300. Index
Langues : Français (fre)
Tags : Scrum Méthodes agiles Génie logiciel Développement logiciel Product Owner ScrumMaster Sprint Backlog Stories utilisateur Gestion de projet logiciel. Index. décimale : 004.415 Par generation de code Résumé :
Cet ouvrage présente la méthode agile Scrum et ses pratiques de gestion du développement logiciel. Il décrit les rôles des acteurs, les cérémonies Scrum, la gestion du backlog, la planification des sprints, les stories utilisateur, les tests d’acceptation et les outils associés, tout en abordant l’adaptation de Scrum aux différents contextes et son déploiement à grande échelle.Exemplaires(0)
Disponibilité aucun exemplaire

004 Informatique

