A partir de cette page vous pouvez :
category
| Retourner au premier écran avec les étagères virtuelles... |
Catégories
 > Programmation des ordinateurs, logiciels, organisation des données
Programmation des ordinateurs, logiciels, organisation des données |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesActes des 12e journée francophones de programmation en logique avec contraintes(JFPLC) (12 ; 2003 ; Amiens) / Mireille Ducassé (2003)
Titre : Actes des 12e journée francophones de programmation en logique avec contraintes(JFPLC) (12 ; 2003 ; Amiens) Type de document : texte imprime Auteurs : Mireille Ducassé ; Khelifa Ben Sassi Editeur : Lavoisier Année de publication : 2003 Autre Editeur : Hermès Science Publications Importance : 310 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0739-4 Note générale : Numéro hors série de la revue RSTI, revue des sciences et technologies de l'information
IndexLangues : Français Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Programmation logique Programmation par contraintes Actes de congrès Index. décimale : 005.115 Programmation logique Résumé :
La programmation en logique avec contraintes (PLC) est le fruit de recherches menées depuis plusieurs décennies dans les domaines de la logique, de la démonstration automatique, de la recherche opérationnelle et de l'intelligence artificielle. Les outils et langages de programmation issus de ces travaux connaissent un réel succès industriel car ils permettent de résoudre des problèmes difficiles dans des domaines aussi variés que la robotique, la planification de la production ou l'optimisation de réseaux de télécommunication. Cet ouvrage regroupe les contributions sélectionnées et présentées aux treizièmes journées francophones de programmation logique et programmation par contraintes (JFPLC 2004).
© 2017 LAVOISIER S.A.S.
Note de contenu :
-Présentations invitées. PROB : un outil de modélisation formelle -M. LEUSCHEL>/I>.
-Programmation par contraintes et composition musicale -C. TRUCHET>/I>.
-Environnements. -Un pilote de traceur pour la PLC -L. LANGEVINE, M. DUCASSE>/I>.
-Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis -G. FERRAND, W. LESAINT, A. TESSIER>/I>.
-Inférence de non-terminaison pour les programmes logiques avec contraintes -E. PAYET, F. MESNARD>/I>.
-Contraintes.
-La contrainte période -N. BELDICEANU, E. PODER>/I>.
-Une contrainte globale pour le problème de l'isomorphisme des graphes -S. SORLIN, C. SOLNON>/I>.
- Recherche de chemins contraints dans les réseaux biochimiques -G. DOOMS, Y. DEVILLE, P. DUPONT>/I>.
-Contribution aux techniques de satisfaction de contraintes par combinaisons de termes non linéaires -L. GRANDVILLIERS, M. OUABIBA>/I>.
-Extensions.
-Implantation de grammaires de propriétés en CHR -V. DAHL, P. BLACHE>/I>.
-Programmation par ensembles-réponses possibilistes -P. NICOLAS, L. GARCIA, I. STEPHAN>/I>.
-Xcerpt et visXcerpt : langages déductifs d'interrogation du web -S. BERGER, F. BRY, S. SCHAFFERT.
-Pi-calcul et LCC, une odyssée de l'espace -S. SOLIMAN.
-Contraintes.
-Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale -H. DELEAU, T. LAMBERT, E. MONFROY, F. SAUBION>/I>.
-Algorithmes complets et incomplets pour la coloration des graphes de reines -M. VASQUEZ, D. HABET.
-Recherche locale dichotomique pour la résolution du CSP continus -V. BARICHARD, J.-K. HAO>/I>.
-Une représentation déclarative des consistances de CSPs -G. FERRAND, A. LALLOUET>/I>.
-Application des techniques de CSPs pour la configuration d'un process de traitement thermique -E. VAREILLES, M. ALDANONDO, K. HADI-HAMOU, P. GABORIT>/I>.
© 2017 LAVOISIER S.A.S.
Permalink : ./index.php?lvl=notice_display&id=12090 Actes des 12e journée francophones de programmation en logique avec contraintes(JFPLC) (12 ; 2003 ; Amiens) [texte imprime] / Mireille Ducassé ; Khelifa Ben Sassi . - [S.l.] : Lavoisier : [S.l.] : Hermès Science Publications, 2003 . - 310 p. ; 24 cm.
ISBN : 978-2-7462-0739-4
Numéro hors série de la revue RSTI, revue des sciences et technologies de l'information
Index
Langues : Français
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Programmation logique Programmation par contraintes Actes de congrès Index. décimale : 005.115 Programmation logique Résumé :
La programmation en logique avec contraintes (PLC) est le fruit de recherches menées depuis plusieurs décennies dans les domaines de la logique, de la démonstration automatique, de la recherche opérationnelle et de l'intelligence artificielle. Les outils et langages de programmation issus de ces travaux connaissent un réel succès industriel car ils permettent de résoudre des problèmes difficiles dans des domaines aussi variés que la robotique, la planification de la production ou l'optimisation de réseaux de télécommunication. Cet ouvrage regroupe les contributions sélectionnées et présentées aux treizièmes journées francophones de programmation logique et programmation par contraintes (JFPLC 2004).
© 2017 LAVOISIER S.A.S.
Note de contenu :
-Présentations invitées. PROB : un outil de modélisation formelle -M. LEUSCHEL>/I>.
-Programmation par contraintes et composition musicale -C. TRUCHET>/I>.
-Environnements. -Un pilote de traceur pour la PLC -L. LANGEVINE, M. DUCASSE>/I>.
-Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis -G. FERRAND, W. LESAINT, A. TESSIER>/I>.
-Inférence de non-terminaison pour les programmes logiques avec contraintes -E. PAYET, F. MESNARD>/I>.
-Contraintes.
-La contrainte période -N. BELDICEANU, E. PODER>/I>.
-Une contrainte globale pour le problème de l'isomorphisme des graphes -S. SORLIN, C. SOLNON>/I>.
- Recherche de chemins contraints dans les réseaux biochimiques -G. DOOMS, Y. DEVILLE, P. DUPONT>/I>.
-Contribution aux techniques de satisfaction de contraintes par combinaisons de termes non linéaires -L. GRANDVILLIERS, M. OUABIBA>/I>.
-Extensions.
-Implantation de grammaires de propriétés en CHR -V. DAHL, P. BLACHE>/I>.
-Programmation par ensembles-réponses possibilistes -P. NICOLAS, L. GARCIA, I. STEPHAN>/I>.
-Xcerpt et visXcerpt : langages déductifs d'interrogation du web -S. BERGER, F. BRY, S. SCHAFFERT.
-Pi-calcul et LCC, une odyssée de l'espace -S. SOLIMAN.
-Contraintes.
-Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale -H. DELEAU, T. LAMBERT, E. MONFROY, F. SAUBION>/I>.
-Algorithmes complets et incomplets pour la coloration des graphes de reines -M. VASQUEZ, D. HABET.
-Recherche locale dichotomique pour la résolution du CSP continus -V. BARICHARD, J.-K. HAO>/I>.
-Une représentation déclarative des consistances de CSPs -G. FERRAND, A. LALLOUET>/I>.
-Application des techniques de CSPs pour la configuration d'un process de traitement thermique -E. VAREILLES, M. ALDANONDO, K. HADI-HAMOU, P. GABORIT>/I>.
© 2017 LAVOISIER S.A.S.
Permalink : ./index.php?lvl=notice_display&id=12090 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA519/1 IA519 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA519/2 IA519 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA519/3 IA519 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA519/4 IA519 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA519/5 IA519 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Ada : towards maturity Type de document : texte imprime Auteurs : L. Collingbourne Editeur : Amsterdam : IOS press Année de publication : 1993 Collection : Studies in computer and communications systems , ISSN 0927-5444 Importance : 209 p. Présentation : ill. Format : 23 cm. ISBN/ISSN/EAN : 978-90-5199-142-0 Langues : Anglais Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : ADA Index. décimale : 005.1 Résumé : Reports about recent developments of ADA, especially in the UK. It contains an introduction to ADA 9X and reports about the improved support for object-oriented programming and the tasking model. It also discusses high-integrity applications, safety critical software development and the mapping of ADA projects on the 2157A standard. Permalink : ./index.php?lvl=notice_display&id=13713 Ada : towards maturity [texte imprime] / L. Collingbourne . - Amsterdam : IOS press, 1993 . - 209 p. : ill. ; 23 cm.. - (Studies in computer and communications systems , ISSN 0927-5444) .
ISBN : 978-90-5199-142-0
Langues : Anglais
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : ADA Index. décimale : 005.1 Résumé : Reports about recent developments of ADA, especially in the UK. It contains an introduction to ADA 9X and reports about the improved support for object-oriented programming and the tasking model. It also discusses high-integrity applications, safety critical software development and the mapping of ADA projects on the 2157A standard. Permalink : ./index.php?lvl=notice_display&id=13713 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité L89/1 L89 Livre Magasin d'Ouvrages / INF Langage Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Adobe Dreamweaver CS3 : créez des sites et des applications nouvelle génération Type de document : texte imprime Auteurs : Frédéric Moitry, Auteur ; Jean-Marie Cocheteau, Auteur ; Friedmann, Emmanuel Editeur : Paris : Dunod Année de publication : DL 2007 Importance : (VIII-328 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-051545-5 Note générale : Bibliogr. p. 323-324. Liste de sites Internet. Index Langues : Français Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Adobe Dreamweaver (logiciel) Index. décimale : 005.3 LOGICIEL Résumé :
Véritable guide d'apprentissage et outil de travail, Dreamweaver CS3, pour PC et Mac, est l'ouvrage de référence qu'il vous faut pour découvrir Dreamweaver et les nouveautés de sa version CS3 et ainsi apprendre à créer des sites web aussi bien statiques que dynamiques : créez du contenu interactif ; réalisez des sites modernes et optimisés en utilisant les CSS ; donnez du piment à l'animation de vos pages web en intégrant des Rich medias et du contenu Flash ; apprenez à utiliser les nouveautés Spry pour créer d'impressionnants effets visuels ; familiarisez-vous avec la technologie Ajax. Les aspects théoriques développés dans l'ouvrage sont illustrés par de nombreux tutoriels proposant notamment une version de départ et une version finalisée accessibles en ligne sur le site www.dunod.com. Résolument pédagogique et appliqué, l'ouvrage profite pleinement de l'expérience de nos trois auteurs, créateurs de sites et formateurs, et vous permettra d'être rapidement opérationnel sous Dreamweaver CS3.Note de contenu :
L'espace de travail
Initiation au code HTML
Les feuilles de styles (CSS)
Anciennes structures : les tableaux
Nouvelles structures
Animer les interfaces
Les formulaires
Introduction à la gestion de sites dynamiques
L'atelier : le site Global TravelEn ligne : https://www.amazon.fr/Dreamweaver-CS3-applications-nouvelle-g%C3%A9n%C3%A9ration [...] Permalink : ./index.php?lvl=notice_display&id=13949 Adobe Dreamweaver CS3 : créez des sites et des applications nouvelle génération [texte imprime] / Frédéric Moitry, Auteur ; Jean-Marie Cocheteau, Auteur ; Friedmann, Emmanuel . - Paris : Dunod, DL 2007 . - (VIII-328 p.) : ill., couv. ill. ; 24 cm.
ISBN : 978-2-10-051545-5
Bibliogr. p. 323-324. Liste de sites Internet. Index
Langues : Français
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Adobe Dreamweaver (logiciel) Index. décimale : 005.3 LOGICIEL Résumé :
Véritable guide d'apprentissage et outil de travail, Dreamweaver CS3, pour PC et Mac, est l'ouvrage de référence qu'il vous faut pour découvrir Dreamweaver et les nouveautés de sa version CS3 et ainsi apprendre à créer des sites web aussi bien statiques que dynamiques : créez du contenu interactif ; réalisez des sites modernes et optimisés en utilisant les CSS ; donnez du piment à l'animation de vos pages web en intégrant des Rich medias et du contenu Flash ; apprenez à utiliser les nouveautés Spry pour créer d'impressionnants effets visuels ; familiarisez-vous avec la technologie Ajax. Les aspects théoriques développés dans l'ouvrage sont illustrés par de nombreux tutoriels proposant notamment une version de départ et une version finalisée accessibles en ligne sur le site www.dunod.com. Résolument pédagogique et appliqué, l'ouvrage profite pleinement de l'expérience de nos trois auteurs, créateurs de sites et formateurs, et vous permettra d'être rapidement opérationnel sous Dreamweaver CS3.Note de contenu :
L'espace de travail
Initiation au code HTML
Les feuilles de styles (CSS)
Anciennes structures : les tableaux
Nouvelles structures
Animer les interfaces
Les formulaires
Introduction à la gestion de sites dynamiques
L'atelier : le site Global TravelEn ligne : https://www.amazon.fr/Dreamweaver-CS3-applications-nouvelle-g%C3%A9n%C3%A9ration [...] Permalink : ./index.php?lvl=notice_display&id=13949 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité LOG122/6 LOG122 Livre Magasin d'Ouvrages / INF Logiciel Disponible LOG122/1 LOG122 Livre Magasin d'Ouvrages / INF Logiciel Consultation sur place
Exclu du prêtLOG122/2 LOG122 Livre Magasin d'Ouvrages / INF Logiciel Disponible LOG122/3 LOG122 Livre Magasin d'Ouvrages / INF Logiciel Disponible LOG122/4 LOG122 Livre Magasin d'Ouvrages / INF Logiciel Disponible LOG122/5 LOG122 Livre Magasin d'Ouvrages / INF Logiciel Disponible LOG122/7 LOG122 Livre Magasin d'Ouvrages / INF Logiciel Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Adobe Illustrator CS3 : devenez un pro du dessin vectoriel Type de document : texte imprime Auteurs : Sylvie Lesas Editeur : Paris : Dunod Année de publication : DL 2008 Importance : (IV-246 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-052026-8 Note générale : Index Langues : Français Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Adobe Illustrator (logiciel):guides pratiques et mémentos Index. décimale : 005.3 LOGICIEL Résumé : Cet ouvrage s'adresse aux amateurs éclairés et aux professionnels de la création numérique. De la conception de graphismes 2D et 3D à l'animation, en passant par la réalisation de vos interfaces web, Illustrator se révèle être bien plus qu'une application vectorielle.
Cet ouvrage présente les fonctions de base d'Illustrator et les nouveautés de sa version CS3, qui répond encore plus aux attentes de ses utilisateurs :
- de nouveaux panneaux et outils (les panneaux Couleurs dynamiques et Guide des couleurs facilitent la coloration de vos dessins, tandis que la Gomme permet à présent d'effacer intuitivement vos traits...) ;
- une plus grande compatibilité avec les logiciels de la Creative Suite facilite le travail de groupe et fait notamment gagner du temps à chacun. Désormais, utiliser Illustrator en corrélation avec Flash ou After Effects n'est plus un souci !
À travers de nombreux cas pratiques, vous aborderez les différents fonctions et outils offerts par Illustrator CS3. Le résultat final de ces cas pratiques est téléchargeable sur www.dunod.com et www.sylgraph.com.En ligne : https://www.amazon.fr/Illustrator-CS3-Devenez-dessin-vectoriel-ebook/dp/B00TEE7V [...] Permalink : ./index.php?lvl=notice_display&id=13929 Adobe Illustrator CS3 : devenez un pro du dessin vectoriel [texte imprime] / Sylvie Lesas . - Paris : Dunod, DL 2008 . - (IV-246 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-10-052026-8
Index
Langues : Français
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Adobe Illustrator (logiciel):guides pratiques et mémentos Index. décimale : 005.3 LOGICIEL Résumé : Cet ouvrage s'adresse aux amateurs éclairés et aux professionnels de la création numérique. De la conception de graphismes 2D et 3D à l'animation, en passant par la réalisation de vos interfaces web, Illustrator se révèle être bien plus qu'une application vectorielle.
Cet ouvrage présente les fonctions de base d'Illustrator et les nouveautés de sa version CS3, qui répond encore plus aux attentes de ses utilisateurs :
- de nouveaux panneaux et outils (les panneaux Couleurs dynamiques et Guide des couleurs facilitent la coloration de vos dessins, tandis que la Gomme permet à présent d'effacer intuitivement vos traits...) ;
- une plus grande compatibilité avec les logiciels de la Creative Suite facilite le travail de groupe et fait notamment gagner du temps à chacun. Désormais, utiliser Illustrator en corrélation avec Flash ou After Effects n'est plus un souci !
À travers de nombreux cas pratiques, vous aborderez les différents fonctions et outils offerts par Illustrator CS3. Le résultat final de ces cas pratiques est téléchargeable sur www.dunod.com et www.sylgraph.com.En ligne : https://www.amazon.fr/Illustrator-CS3-Devenez-dessin-vectoriel-ebook/dp/B00TEE7V [...] Permalink : ./index.php?lvl=notice_display&id=13929 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité LOG177/1 LOG177 Livre Magasin d'Ouvrages / INF Logiciel Consultation sur place
Exclu du prêtLOG177/2 LOG177 Livre Magasin d'Ouvrages / INF Logiciel Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Adobe InDesign : InDesign CS4 ; réalisez des mises en pages professionnelles - Type de document : texte imprime Auteurs : Christian Oury Mention d'édition : 2e éd Editeur : Paris : Dunod Année de publication : 2009 Collection : Coll Importance : 337 p. Présentation : ill. Format : 24cm. ISBN/ISSN/EAN : 978-2-10-052572-0 Note générale : Index Langues : Français Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Graphisme, PAO Index. décimale : 005.3 LOGICIEL Résumé :
Cet ouvrage est l'outil qu'il faut au maquettiste pour découvrir InDesign CS4, et ainsi apprendre à mettre en page tous types de documents avec un PC ou un Mac : préparer des gabarits, utiliser les calques, appliquer une mise en forme complète en un seul clic grâce aux styles, finaliser et paramétrer les documents pour l'impression…
Le livre Véritable guide d’apprentissage et outil de travail, InDesign CS4, pour PC et Mac, est l’ouvrage qu’il vous faut pour découvrir InDesign et les nouveautés de sa version CS4 :
Préparez des gabarits, appliquez-les et modifiez-les ;
Apprenez à utiliser les calques, intégrez des couleurs, des dégradés, des effets de transparence ;appliquez une mise en forme complète en un seul clic grâce aux styles (imbriqués, GREP, etc.) ;
Naviguez dans vos documents grâce à une interface améliorée et au nouveau zoom ;
Créez des index, tables des matières et utilisez la nouvelle fonction de références croisées ;
Utilisez le nouveau panneau de Liens et le Contrôle en amont dynamique pour préparer un document à l’impression.
Note de contenu :
L'environnement de travail.
L'interface.
Mise en page d'un document imprimé.
Préparer un document.
Créer des objets sur les pages.
Mettre en forme et enrichir.
Standardiser avec les styles.
Importer le texte et les images.
Finaliser et ajuster. Diffuser : imprimer, exporter.
Fonctions avancées, documents longs.
Les blocs ancrés et les tableaux.
La fonction livre. Sections, variables et texte conditionnel.
Les notes de bas de page.
Index, table des matières et références croisées.
Raccourcis clavierPermalink : ./index.php?lvl=notice_display&id=13924 Adobe InDesign : InDesign CS4 ; réalisez des mises en pages professionnelles - [texte imprime] / Christian Oury . - 2e éd . - Paris : Dunod, 2009 . - 337 p. : ill. ; 24cm.. - (Coll) .
ISBN : 978-2-10-052572-0
Index
Langues : Français
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Graphisme, PAO Index. décimale : 005.3 LOGICIEL Résumé :
Cet ouvrage est l'outil qu'il faut au maquettiste pour découvrir InDesign CS4, et ainsi apprendre à mettre en page tous types de documents avec un PC ou un Mac : préparer des gabarits, utiliser les calques, appliquer une mise en forme complète en un seul clic grâce aux styles, finaliser et paramétrer les documents pour l'impression…
Le livre Véritable guide d’apprentissage et outil de travail, InDesign CS4, pour PC et Mac, est l’ouvrage qu’il vous faut pour découvrir InDesign et les nouveautés de sa version CS4 :
Préparez des gabarits, appliquez-les et modifiez-les ;
Apprenez à utiliser les calques, intégrez des couleurs, des dégradés, des effets de transparence ;appliquez une mise en forme complète en un seul clic grâce aux styles (imbriqués, GREP, etc.) ;
Naviguez dans vos documents grâce à une interface améliorée et au nouveau zoom ;
Créez des index, tables des matières et utilisez la nouvelle fonction de références croisées ;
Utilisez le nouveau panneau de Liens et le Contrôle en amont dynamique pour préparer un document à l’impression.
Note de contenu :
L'environnement de travail.
L'interface.
Mise en page d'un document imprimé.
Préparer un document.
Créer des objets sur les pages.
Mettre en forme et enrichir.
Standardiser avec les styles.
Importer le texte et les images.
Finaliser et ajuster. Diffuser : imprimer, exporter.
Fonctions avancées, documents longs.
Les blocs ancrés et les tableaux.
La fonction livre. Sections, variables et texte conditionnel.
Les notes de bas de page.
Index, table des matières et références croisées.
Raccourcis clavierPermalink : ./index.php?lvl=notice_display&id=13924 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité LOG161/1 LOG161 Livre Magasin d'Ouvrages / INF Logiciel Consultation sur place
Exclu du prêtLOG161/2 LOG161 Livre Magasin d'Ouvrages / INF Logiciel Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
