Les bibliothèques HELMo

Documents disponibles chez cet éditeur

Emploi des éléments finis en génie civil., 1. La modélisation des ouvrages / Association française pour la construction

Public ISBD Titre de série : Emploi des éléments finis en génie civil., 1 Titre : La modélisation des ouvrages Type de document : Livres, articles, périodiques Auteurs : Association française pour la construction, Auteur ; Michel Prat (1944-....), Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Année de publication : 1995 Collection : Emploi des éléments finis en génie civil. num. 1 Importance : 770 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-480-3 Prix : 320 F Note générale : AFPC = Association française pour la construction Bibliogr. p. 743-757. Index Langues : Français (fre) Mots-clés : Génie civil  Modèles mathématiques  Éléments finis, Méthode des  Applications industrielles  Constructions, Théorie des  Constructions -- Calcul  Constructions -- Modèles mathématiques  Ouvrages d'art -- Modèles mathématiques Index. décimale : 624 Génie civil et infrastructures en général Emploi des éléments finis en génie civil., 1. La modélisation des ouvrages [Livres, articles, périodiques] / Association française pour la construction, Auteur ; Michel Prat (1944-....), Directeur de publication, rédacteur en chef . - Paris : Hermès, 1995 . - 770 p. : ill., couv. ill. en coul. ; 24 cm. - (Emploi des éléments finis en génie civil.; 1) . ISBN : 978-2-86601-480-3 : 320 F AFPC = Association française pour la construction Bibliogr. p. 743-757. Index Langues : Français (fre) Mots-clés : Génie civil  Modèles mathématiques  Éléments finis, Méthode des  Applications industrielles  Constructions, Théorie des  Constructions -- Calcul  Constructions -- Modèles mathématiques  Ouvrages d'art -- Modèles mathématiques Index. décimale : 624 Génie civil et infrastructures en général

Réservation

Réserver ce document

Exemplaires

Rangé sous l'étiquette	Support	Localisation	Section	Disponibilité	Code-barres
624 ASS	Livres	Bibliothèque HELMo Campus de l'Ourthe	Libre-Accès	Disponible	CO0429

Les réseaux de neurones / Jean-François Jodouin

Public ISBD Titre : Les réseaux de neurones : principes et définitions Type de document : Livres, articles, périodiques Auteurs : Jean-François Jodouin, Auteur Editeur : Paris : Hermès Année de publication : 1994 Importance : 1 vol. (124 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 2-86601-435-9 Prix : 145 FRF Note générale : Bibliographie p. [113]-119. Index Mots-clés : Connexionnisme  Neurones -- Modèles mathématiques  Réseaux neuronaux (informatique) Index. décimale : 004.7 Communication informatique. Réseau informatique Les réseaux de neurones : principes et définitions [Livres, articles, périodiques] / Jean-François Jodouin, Auteur . - Paris : Hermès, 1994 . - 1 vol. (124 p.) : ill., couv. ill. en coul. ; 24 cm. ISBN : 2-86601-435-9 : 145 FRF Bibliographie p. [113]-119. Index Mots-clés : Connexionnisme  Neurones -- Modèles mathématiques  Réseaux neuronaux (informatique) Index. décimale : 004.7 Communication informatique. Réseau informatique

Réservation

Réserver ce document

Exemplaires

Rangé sous l'étiquette	Support	Localisation	Section	Disponibilité	Code-barres
004.7 JOD	Livres	Bibliothèque HELMo Campus de l'Ourthe	Libre-Accès	Disponible	CO3739

UNIX / Christian Pélissier

Public ISBD Titre : UNIX : utilisation, administration, réseau Internet Type de document : Livres, articles, périodiques Auteurs : Christian Pélissier, Auteur Mention d'édition : 3e édition revue et augmentée Editeur : Paris : Hermès Année de publication : 1998 Importance : 1 vol. (895 p.) Format : 24 cm ISBN/ISSN/EAN : 2-86601-707-2 Prix : 290 FRF Note générale : Bibliogr. p. [873]-877. Glossaire. Index Mots-clés : UNIX (système d'exploitation des ordinateurs)  TCP/IP (protocole de réseaux d'ordinateurs) Index. décimale : 004.7 Communication informatique. Réseau informatique UNIX : utilisation, administration, réseau Internet [Livres, articles, périodiques] / Christian Pélissier, Auteur  . -  3e édition revue et augmentée . - Paris : Hermès, 1998 . - 1 vol. (895 p.) ; 24 cm. ISBN : 2-86601-707-2 : 290 FRF Bibliogr. p. [873]-877. Glossaire. Index Mots-clés : UNIX (système d'exploitation des ordinateurs)  TCP/IP (protocole de réseaux d'ordinateurs) Index. décimale : 004.7 Communication informatique. Réseau informatique

Réservation

Réserver ce document

Exemplaires

Rangé sous l'étiquette	Support	Localisation	Section	Disponibilité	Code-barres
004.7 PEL	Livres	Bibliothèque HELMo Campus de l'Ourthe	Libre-Accès	Disponible	CO3831

Éléments de logique formelle / Gérard Chazal

Public ISBD Titre : Éléments de logique formelle Type de document : Livres, articles, périodiques Auteurs : Gérard Chazal, Auteur Editeur : Paris : Hermès Année de publication : 1996 Importance : 224 p. Présentation : tableaux Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-548-0 Prix : 27 € Mots-clés : Logique mathématique -- Exercices  Opérateurs binaires  Calcul des prédicats Index. décimale : 510.6 Logique mathématique Résumé : Gérard Chazal, professeur à l'Université de Bourgogne, propose ici une approche de la logique comme description du fonctionnement valide de notre esprit. La logique, discipline normative qui nous révèle les arcanes de notre entendement est par là même au coeur de la recherche philosophique. Elle est donc bien plus aujourd'hui qu'une technique très profondément mathématisée. Cet ouvrage qui s'adresse tant à l'étudiant qu'à l'honnête homme, présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique. Note de contenu : Table des matières Introduction - 1. Nature et brève histoire de la logique - 2. La proposition chez Aristote - 3. Le syllogisme - 4. Déduction et résolution des syllogismes - 5. L'Ecole de Mégare et les stoïciens - 6. Le calcul des propositions : conjonction et disjonction inclusive - 7. Le calcul des propositions : disjonction exclusive, implication et équivalence - 8. Le calcul des propositions : généralisation de la notion d'opérateur logique - 9. Le calcul des propositions : les formes normales - 10. Le calcul des propositions : notion de déduction - 11. L'analyse de la proposition : la notion de prédicat - 12. La quantification - 13. La quantification et les opérateurs binaires : portée d'un quantificateur - 14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles - 15. Opérateurs sur les ensembles - 16. Les relations - 17. Les propriétés des relations binaires - 18. Fonctions et applications - 19. Déduction et démonstration dans le calcul des prédicats - 20. Langage - Métalangage, Syntaxe - Sémantique, Langage formel - Système formel Conclusion Corrigé des exercices Bibliographie Éléments de logique formelle [Livres, articles, périodiques] / Gérard Chazal, Auteur . - Paris : Hermès, 1996 . - 224 p. : tableaux ; 24 cm. ISBN : 978-2-86601-548-0 : 27 € Mots-clés : Logique mathématique -- Exercices  Opérateurs binaires  Calcul des prédicats Index. décimale : 510.6 Logique mathématique Résumé : Gérard Chazal, professeur à l'Université de Bourgogne, propose ici une approche de la logique comme description du fonctionnement valide de notre esprit. La logique, discipline normative qui nous révèle les arcanes de notre entendement est par là même au coeur de la recherche philosophique. Elle est donc bien plus aujourd'hui qu'une technique très profondément mathématisée. Cet ouvrage qui s'adresse tant à l'étudiant qu'à l'honnête homme, présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique. Note de contenu : Table des matières Introduction - 1. Nature et brève histoire de la logique - 2. La proposition chez Aristote - 3. Le syllogisme - 4. Déduction et résolution des syllogismes - 5. L'Ecole de Mégare et les stoïciens - 6. Le calcul des propositions : conjonction et disjonction inclusive - 7. Le calcul des propositions : disjonction exclusive, implication et équivalence - 8. Le calcul des propositions : généralisation de la notion d'opérateur logique - 9. Le calcul des propositions : les formes normales - 10. Le calcul des propositions : notion de déduction - 11. L'analyse de la proposition : la notion de prédicat - 12. La quantification - 13. La quantification et les opérateurs binaires : portée d'un quantificateur - 14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles - 15. Opérateurs sur les ensembles - 16. Les relations - 17. Les propriétés des relations binaires - 18. Fonctions et applications - 19. Déduction et démonstration dans le calcul des prédicats - 20. Langage - Métalangage, Syntaxe - Sémantique, Langage formel - Système formel Conclusion Corrigé des exercices Bibliographie

Réservation

Réserver ce document

Exemplaires

Rangé sous l'étiquette	Support	Localisation	Section	Disponibilité	Code-barres
510 .6 CHA	Livres	Bibliothèque HELMo Campus Guillemins	Libre-Accès	Disponible	CG1801

Actionneurs intelligents / Marcel Staroswiecki

Public ISBD Titre : Actionneurs intelligents Type de document : Livres, articles, périodiques Auteurs : Marcel Staroswiecki, Auteur ; Mireille Bayart, Auteur Editeur : Paris : Hermès Année de publication : 1994 Collection : Traité des nouvelles technologies Sous-collection : Série Automatique Importance : 1 vol. (217 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-439-1 Prix : 225 F Note générale : Bibliogr. p. 211-217. Index Mots-clés : Commande automatique  Machines automatiques  Actionneurs Index. décimale : 681.5 Technologie intelligente. Systèmes de contrôles. Automation Actionneurs intelligents [Livres, articles, périodiques] / Marcel Staroswiecki, Auteur ; Mireille Bayart, Auteur . - Paris : Hermès, 1994 . - 1 vol. (217 p.) : ill. ; 24 cm. - (Traité des nouvelles technologies. Série Automatique) . ISBN : 978-2-86601-439-1 : 225 F Bibliogr. p. 211-217. Index Mots-clés : Commande automatique  Machines automatiques  Actionneurs Index. décimale : 681.5 Technologie intelligente. Systèmes de contrôles. Automation

Réservation

Réserver ce document

Exemplaires

Rangé sous l'étiquette	Support	Localisation	Section	Disponibilité	Code-barres
681.5 STA	Livres	Bibliothèque HELMo Campus de l'Ourthe	Libre-Accès	Disponible	CO4103

Les robots d'assemblage / Tony Owen

Permalink

Robotique et dynamique industrielle / Gérard Rooryck

Permalink

Les robots, Tome 3B. Téléopération / Jean Vertut

Permalink

Dispositifs de l'électronique de puissance, 1 / Jacques Arnould

Permalink

Dispositifs de l'électronique de puissance, 2 / Jacques Arnould

Permalink

Du Grafcet aux réseaux de Petri / René David

Permalink