Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Jean-Pierre Finance
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la rechercheThéorie des programmes / C. Livercy
Titre : Théorie des programmes : schémas, preuves, sémantique Type de document : texte imprimé Auteurs : C. Livercy, Auteur ; Jean-Pierre Finance, Collaborateur ; C. Pair, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 1978 Collection : Dunod informatique Sous-collection : Phase formation Importance : XII-328 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010516-7 Note générale : Bibliogr. p. [315]-322. Index Langues : Français (fre) Mots-clés : Informatique
Ordinateurs -- Programmation
Electronic digital computers -- ProgrammingIndex. décimale : 681.3.06 Logiciels. Software Résumé :
La construction des programmes s'accommode de moins en moins d'empirisme et d'imprécision, et il devient vital pour l'analyste et le programmeur d'avoir un certain recul par rapport à cette technique qu'est la programmation. Cet ouvrage, le premier en langue française traitant de ce sujet, répond à ce souci en donnant une présentation synthétique et approfondie des principaux aspects de la théorie des programmes.Note de contenu : Au sommaire :
1. Problèmes, algorithmes et programmes.
2. Problèmes récursifs et théorie du point fixe.
3. Schémas de programmes.
4. Vérification et conception de programmes.
5. Sémantique d'un langage de programmation.Théorie des programmes : schémas, preuves, sémantique [texte imprimé] / C. Livercy, Auteur ; Jean-Pierre Finance, Collaborateur ; C. Pair, Préfacier, etc. . - Dunod, 1978 . - XII-328 p. : ill. ; 24 cm. - (Dunod informatique. Phase formation) .
ISBN : 978-2-04-010516-7
Bibliogr. p. [315]-322. Index
Langues : Français (fre)
Mots-clés : Informatique
Ordinateurs -- Programmation
Electronic digital computers -- ProgrammingIndex. décimale : 681.3.06 Logiciels. Software Résumé :
La construction des programmes s'accommode de moins en moins d'empirisme et d'imprécision, et il devient vital pour l'analyste et le programmeur d'avoir un certain recul par rapport à cette technique qu'est la programmation. Cet ouvrage, le premier en langue française traitant de ce sujet, répond à ce souci en donnant une présentation synthétique et approfondie des principaux aspects de la théorie des programmes.Note de contenu : Au sommaire :
1. Problèmes, algorithmes et programmes.
2. Problèmes récursifs et théorie du point fixe.
3. Schémas de programmes.
4. Vérification et conception de programmes.
5. Sémantique d'un langage de programmation.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 020593 681.3.06 LIV Papier Bibliothèque Centrale Informatique Disponible En bon état 019122 681.3.06 LIV Papier Bibliothèque Centrale Informatique Disponible Consultation sur place Thermodynamique optimale en dimensions physiques finies / Michel Feidt
Titre : Thermodynamique optimale en dimensions physiques finies Type de document : texte imprimé Auteurs : Michel Feidt, Auteur ; Jean-Pierre Finance, Préfacier, etc. Editeur : Paris : Hermès Science Année de publication : 2013 Autre Editeur : Paris : Lavoisier Collection : Collection Thermique, ISSN 1956-6891 Importance : 427 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-4542-6 Note générale : Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Thermodynamique
Moteurs thermiques
Équilibre thermodynamique
Moteurs à combustion interneIndex. décimale : 536.7 Thermodynamique. Énergétique Résumé :
La thermodynamique doit aujourd’hui s'adapter à une problématique plus large, le développement durable. Par le biais d'une approche originale utilisant des outils renouvelés, cet ouvrage apporte des réponses à ce challenge sous deux aspects : - un aspect applicatif, par la méthodologie d'optimisation sous contrainte, qui conduit à des solutions optimales faciles à comparer à l'existant, et dessine les voies et potentiels d'amélioration encore disponibles ; - un aspect fondamental, qui correspond à une vision nouvelle de la thermodynamique des machines et des systèmes. Le livre s'écarte de l'approche classique de thermodynamique de l'équilibre, développée par Carnot, pour adopter une méthode qui allie les descriptions des phénomènes dynamiques de transfert et de conversion. À ces aspects pratiques de la vie courante, s'ajoute une vision plus profonde et fondamentale du monde, en particulier la notion d'évolution, intimement liée au second principe de thermodynamique.Note de contenu : Au sommaire :
1. De la thermostatique à la thermodynamique de l'équilibre
2. Les échangeurs de chaleur
3. Du cycle de Carnot à la machine de Carnot, un cas d'école
4. Les moteurs à combustion interne revisités
5. Les turbines à combustion et autres moteurs thermiques
6. Les machines à cycles inverses
7. Thermodynamique en dimensions finies de systèmes autres que thermomécaniques
8. Des machines vers les systèmes : les machines complexes
9. Vers l’intégration des systèmes
10. EE, E exposant EThermodynamique optimale en dimensions physiques finies [texte imprimé] / Michel Feidt, Auteur ; Jean-Pierre Finance, Préfacier, etc. . - Hermès Science : Paris : Lavoisier, 2013 . - 427 p. : ill. ; 24 cm. - (Collection Thermique, ISSN 1956-6891) .
ISBN : 978-2-7462-4542-6
Bibliogr. en fin de chapitres. - Index
Langues : Français (fre)
Mots-clés : Thermodynamique
Moteurs thermiques
Équilibre thermodynamique
Moteurs à combustion interneIndex. décimale : 536.7 Thermodynamique. Énergétique Résumé :
La thermodynamique doit aujourd’hui s'adapter à une problématique plus large, le développement durable. Par le biais d'une approche originale utilisant des outils renouvelés, cet ouvrage apporte des réponses à ce challenge sous deux aspects : - un aspect applicatif, par la méthodologie d'optimisation sous contrainte, qui conduit à des solutions optimales faciles à comparer à l'existant, et dessine les voies et potentiels d'amélioration encore disponibles ; - un aspect fondamental, qui correspond à une vision nouvelle de la thermodynamique des machines et des systèmes. Le livre s'écarte de l'approche classique de thermodynamique de l'équilibre, développée par Carnot, pour adopter une méthode qui allie les descriptions des phénomènes dynamiques de transfert et de conversion. À ces aspects pratiques de la vie courante, s'ajoute une vision plus profonde et fondamentale du monde, en particulier la notion d'évolution, intimement liée au second principe de thermodynamique.Note de contenu : Au sommaire :
1. De la thermostatique à la thermodynamique de l'équilibre
2. Les échangeurs de chaleur
3. Du cycle de Carnot à la machine de Carnot, un cas d'école
4. Les moteurs à combustion interne revisités
5. Les turbines à combustion et autres moteurs thermiques
6. Les machines à cycles inverses
7. Thermodynamique en dimensions finies de systèmes autres que thermomécaniques
8. Des machines vers les systèmes : les machines complexes
9. Vers l’intégration des systèmes
10. EE, E exposant EExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 055491 536.7 FEI Papier Bibliothèque Centrale Physique Disponible Consultation sur place