Filtrer
Rayons
- Littérature
- Jeunesse
- Bandes dessinées / Comics / Mangas
- Policier & Thriller
- Romance
- Fantasy & Science-fiction
- Vie pratique & Loisirs
- Tourisme & Voyages
- Arts et spectacles
- Religion & Esotérisme
- Entreprise, économie & droit
- Sciences humaines & sociales
Support
Éditeurs
Hermes Science Publications
24 produits trouvés
-
Grand format 31.00 €Épuisé
-
Technique et science informatiques rsti serie tsi volume 32 n. 6/juin-juillet 2013
Linnard
- Hermes Science Publications
- 8 Octobre 2013
- 9782746246188
Un framework pour la génération semi-automatique d'ontologies floues.
Text2FuzzyOnto, H. Ghorbel Agrebi, S. Maalej, R. Bouaziz - pp.671-698 Compilation pour cibles hétérogènes. Le cas Terapix, S.
Guelton, F. Irigoin, R. Keryell - pp.699-723 Méthodologie d'optimisation des processeurs embarqués. Une approche favorisant la réduction de la surface et de la consommation des processeurs embarqués, B. Le Gal, C. Jégo - pp.725-754 HISTOIRE DE L'INFORMATIQUE /a>, - pp.754-776
Grand format 53.00 €Épuisé
-
Algorithmique et programmation
Griffiths
- Hermes Science Publications
- 15 Septembre 1992
- 9782746235151
...
Grand format 26.00 €Épuisé
-
Réseaux de calcul
Vicat-Blanc Primet Pascale, Sébastien Soudan, Romaric Guillier, Brice Goglin
- Hermes Science Publications
- 2 Septembre 2010
- 9782746230064
Réseaux de calcul étudie le coeur de trois nouvelles architectures informatiques distribuées : les grappes, les grilles et les nuages de calcul. Il présente leur système nerveux central respectif constitué d'un réseau complexe d'interconnexion et de protocoles de communication spécifiques. Le lecteur trouvera les clés pour comprendre les contraintes et les problématiques essentielles auxquelles doit faire face un réseau de calcul : faible latence, très haut débit, haute performance, prédictibilité et sécurité. Les différents concepts et les technologies hétérogènes utilisées sont développés afin de permettre d'appréhender aussi bien les caractéristiques et les évolutions des composants physiques que les logiciels et les protocoles de communication spécifiques. Cet ouvrage met en perspective les solutions et les technologies mises en oeuvre dans les grappes, les grilles et les nuages pour guider les programmeurs et les utilisateurs d'applications de calcul distribué vers des modèles de programmation et d'utilisation efficaces adaptés à chaque besoin.
Grand format 57.00 €Épuisé
-
Algorithmique parallèle et distribuée (Coll. Traité des nouvelles technologies Série informatique)
LAVALLEE
- Hermes Science Publications
- 21 Janvier 1999
- 9782866012502
Cet ouvrage examine les problèmes fondamentaux dans les systèmes distribués (terminaison, apprentissage et détection d'états stables, routage, structuration de réseau, élection) ou sur les machines parallèles à mémoire partagée (plus court chemin, arbre couvrant,...). Il propose des algorithmes implémentables, aborde la réflexion théorique et construit un modèle permettant de mesurer l'efficacité des algorithmes parallèles et distribués. Ce modèle est ici appliqué pour trois algorithmes parallèles classiques (recherche du maximum, tri, fusion) et pour l'algorithme distribué d'élection asynchrone.
Grand format 72.00 €Épuisé
-
Informatique parallèle et systèmes multiprocesseurs (coll. Traité des nouvelle technologies Série informatique)
C. Jacquemin
- Hermes Science Publications
- 21 Juin 1993
- 9782866013660
Grand format 51.00 €Épuisé
-
Algorithmes parallèles : analyse et conception
AUTHIE
- Hermes Science Publications
- 21 Mars 1994
- 9782866014148
Ce livre offre, en plus d'un cours d'algorithmique parallèle proprement dit, une présentation des architectures de machines commercialisées, des outils d'exploitation et des solutions aux problèmes de mise en oeuvre du parallélisme, telles la distribution équilibrée du travail et la régulation dynamique de la charge des processeurs.
Grand format 62.00 €Épuisé
-
Cablage des algorithmes (coll. Informatique)
CONTENSOU
- Hermes Science Publications
- 21 Juin 1995
- 9782866014698
Cet ouvrage propose des méthodes quand la spécification fonctionnelle se présente sous forme d'un algorithme. Il s'agit de passer d'une description logicielle à une description électronique équivalente, ou en d'autres termes de câbler l'algorithme. Une méthode simple est d'abord présentée, puis elle est perfectionnée pour gagner en place et en vitesse. Sont ensuite proposées des méthodes systématiques de description VHDL, et l'utilisation de Syncirc, logiciel original disponible sous version pédagogique. Les exemples de traitement sont nombreux et doivent permettre de savoir comment glisser de façon continue depuis une solution câblée jusqu'à une solution banalisée où l'on programme un microprocesseur maison.
Grand format 67.00 €Épuisé
-
EuroPVM'95 (coll. Parallélisme, réseaux et répartition)
DONGARRA
- Hermes Science Publications
- 21 Septembre 1995
- 9782866014971
Grand format 50.00 €Épuisé
-
Parallélisme et applications irrégulières (coll. Parallélisme, réseaux et répartition)
AUTHIE
- Hermes Science Publications
- 21 Octobre 1995
- 9782866014988
Grand format 67.00 €Épuisé
-
Applications of simulation to social science
Ballot Gerard
- Hermes Science Publications
- 6 Septembre 1970
- 9781903398043
Grand format 123.65 €Épuisé
-
OPOPAC : actes des journées internationales sur les problèmes fondamentaux de l'informatique parallèle et distribuée 23-26 nov.1993 , Lacanau
LAVALLEE
- Hermes Science Publications
- 21 Novembre 1993
- 9782866013967
Grand format 89.00 €Épuisé
-
Cmgf 93 : systemes ouverts et systemes prioritaires. quelle coexistence ? 6eme congres
- Hermes Science Publications
- 21 Décembre 1993
- 9782866013974
Grand format 83.00 €Épuisé
-
Techniques du multithread du parallélisme dans les processus (CNAM Synthèses informatiques)
ZIGNIN
- Hermes Science Publications
- 21 Septembre 1996
- 9782866015626
1. Machines parallèles et multithread Machines parallèles à mémoire commune - Machines parallèles à mémoire distribuée - Ordre de grandeur des performances - Multithread concurrent - Multithread parallèle 2. Les systèmes multithread Le multithread dans SOLARIS - Light Weight Processes ou processus légers - Les threads et leurs attributs - Synchronisation entre threads - Les processus et le multithread 3. Exemples de programmes multithread Copie de fichiers - Client/serveur sur un réseau - Serveur pour un système de fenêtres - Multiplication de matrices 4. Perspectives et domaines d'applications Glossaire - Bibliographie
Grand format 18.00 €Épuisé
-
Parallélisme et répartitions (coll. Parallélisme, réseaux et répartition)
MYOUPO
- Hermes Science Publications
- 16 Avril 1998
- 9782866016869
Grand format 27.00 €Épuisé
-
Distributed computing, OPODIS'98. (proceedings of the 2nd international conference Amiens, dec 1998)
Bui Alain
- Hermes Science Publications
- 15 Janvier 1999
- 9782866017378
This book contains the proceedings of the conference on principles of distributed systems, held in Amiens, France, in December 1998.
Grand format 63.00 €Épuisé
-
Les systemes de recherche d'informations - modele conceptuels
Ihadjadene Madjid
- Hermes Science Publications
- 4 Mars 2004
- 9782746208216
Cet ouvrage présente les principaux systèmes de recherche d'information en usage tant sur les serveurs d'information classiques (où l'information est analysée et structurée) que sur le réseau internet (où l'information est originelle). Il est destiné à la présentation des principales approches et systèmes utilisés dans le domaine de la recherche d'informations. L'idée sous-jacente au système de recherche d'information, est que le degré d'appariement entre les termes de la base documentaire et ceux de la requête de l'usager permet d'indiquer la pertinence des documents retrouvés. L'objectif essentiel consiste à améliorer les performances de recherche selon deux mesures : le rappel et la précision.
Grand format 69.00 €Épuisé
-
Optimisation combinatoire 4 : problèmes paradigmatiques (Traité IC2 série informatique et systèmes d'information)
Paschos Vangelis Th.
- Hermes Science Publications
- 10 Février 2007
- 9782746211803
Grand format 93.00 €Épuisé
-
Optimisation combinatoire 5 : problèmes paradigmatiques et nouvelles problématiques
Paschos Vangelis T.
- Hermes Science Publications
- 11 Février 2007
- 9782746216969
Avant-propos -V. PASCHOS. PROBLÈMES PARADIGMATIQUES. Chapitre 1. Satisfaisabilité optimale -C. BAZGAN. Chapitre 2. Le voyageur de commerce -J. MONNOT, S. TOULOUSE. Chapitre 3. Problèmes de coloration dans les graphes -D. DE WERRA, D. KOBLER. PROBLÉMATIQUES NOUVELLES. Chapitre 4. Approximation multicritère -E. ANGEL, E. BAMPIS, L. GOURVÈS. Chapitre 5. Plus courts chemins robustes -V. GABREL, C. MURAT. Chapitre 6. Une vision algorithmique de la théorie des jeux -A. GIANNAKOS, V. PASCHOS. Chapitre 7. Résolution exacte des problèmes NP-difficiles -G.-J. WOEGINGER, traduit en français par Hadrien HUGOT. Index.
Grand format 82.00 €Épuisé
-
Optimisation combinatoire ; théorie et algorithmes
Bernhard Korte, Jens Vygen
- Hermes Science Publications
- Iris
- 3 Avril 2018
- 9782746247826
La deuxième édition du livre Optimisation combinatoire - Théorie et algorithmes - décrit de manière détaillée les résultats théoriques et les algorithmes associés aux problèmes d'optimisation combinatoire. L'ouvrage présente des démonstrations concises mais complètes de nombreux résultats dont certains n'avaient jamais été exposés auparavant.
De la théorie des graphes à la programmation linéaire, des problèmes de couplage aux théories des matroïdes et de la complexité algorithmique, le propos couvre l'ensemble des thématiques classiques et contemporaines de ce champ qui compte parmi les plus actifs des mathématiques discrètes.
Cette traduction française de la cinquième édition anglaise intègre les dernières corrections des auteurs ainsi que des développements récents sur de nombreux sujets.
Véritable référence de l'optimisation combinatoire, ce livre s'adresse principalement aux étudiants en mathématiques et en informatique des 2e et 3e cycles universitaires, ainsi qu'aux ingénieurs et aux chercheurs confrontés à des problèmes d'optimisation.Grand format 89.00 €Sur commande
-
Statistique pour la licence
Alexandre Lourme
- Hermes Science Publications
- 14 Novembre 2018
- 9782746248694
Ce manuel s'adresse à tous les étudiants de premier cycle universitaire dont le cursus comporte un enseignement de statistique : Licence, DUT, PACES, CPGE. Il s'inspire de la démarche statistique dans un contexte pratique : décrire une série, estimer un paramètre, tester une hypothèse, etc. Il traite aussi bien de séries univariées que bivariées.
Les notions abordées font l'objet de rappels de cours concis, structurés et sans démonstrations. Ces notions sont illustrées sous R, un logiciel de statistique très largement utilisé par une vaste communauté de praticiens. Enfin, de nombreuses études de cas sont proposées sous la forme de Questionnaires à Choix Multiples de difficulté variable. Les données étudiées sont diverses : biologiques, médicales, sociologiques, économiques, financières.
Ainsi, chacun trouvera dans ce manuel des applications de la statistique qui lui sont familières. Les étudiants trouveront dans ce livre :
- des références théoriques sous forme de rappels de cours succincts mais complets ;
- un point de vue original sur les notions abordées mêlant aspects descriptifs et inférentiels ;
- des QCMs corrigés permettant d'évaluer leurs connaissances en statistique;
Les enseignants trouveront dans cet ouvrage :
- une source d'inspiration pour leurs examens, leurs travaux dirigés ou leurs travaux pratiques sous R, - des QCMs sur lesquels leurs étudiants peuvent travailler directement et de façon autonome, à la maison ou en cours, - des questions inédites mettant en évidence l'intérêt d'un logiciel de statistique.Grand format 29.00 €Sur commande
-
Conflits des interprétations dans la société de l'information, éthique et politique de l'environnement : Ethique et politique de l'environnement
Bernard Reber, Cédric Gossart, Pierre-Antoine Chardel
- Hermes Science Publications
- 21 Juin 2012
- 9782746232877
La montée des préoccupations environnementales coïncide avec la facilité d'accès à des éléments de connaissance qui sont censés favoriser une perception plus aiguë des problématiques écologiques. Or, cela ne suffit pas à générer des comportements plus responsables envers la nature et les générations à venir. Il est nécessaire de reconsidérer la question environnementale à l'heure de nouvelles médiations informationnelles pour pouvoir composer un monde commun avec une pluralité de régimes d'attention. Les analyses transdisciplinaires qui composent cet ouvrage abordent ensemble les conflits interprétatifs relatifs aux problèmes environnementaux et les environnements médiatiques, dans toute leur hétérogénéité et leur nouveauté. L'analyse de l'exposition des subjectivités individuelles et collectives aux flux informationnels permet ici de mieux comprendre ce que serait une gouvernance réflexive. Conflits des interprétations dans la société de l'information permet de répondre adéquatement à une éthique et une politique de l'environnement.
Grand format 65.00 €Sur commande
-
Introduction aux méthodes formelles (2° Ed.)
Jean-François Monin
- Hermes Science Publications
- 21 Juin 1970
- 9782746201408
Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Il réalise un exposé rigoureux des théories mathématiques sous-jacentes et explique concrètement la mise en oeuvre des techniques sur des outils effectifs. Son contenu a été mis à jour et son organisation complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.
Grand format 58.00 €Sur commande
-
Logique(s) langages formels et complexité pour l'informatique
Narendra Jussien
- Hermes Science Publications
- 20 Août 2006
- 9782746213951
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.
Grand format 72.00 €Sur commande
