Nos Abonnements
Ressources Électroniques
Détail de l'éditeur
Edition des itineraires scientifiques
localisé à :
Alger
Collections rattachées :
|
Documents disponibles chez cet éditeur (19)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Titre : Construction de programmes Type de document : texte imprimé Auteurs : Walid Khaled Hidouci, Auteur ; Djamel Eddine Zegour, Auteur Editeur : Alger : Edition des itineraires scientifiques Année de publication : 2022 Importance : 320 p. Présentation : ill. Format : 25 cm. ISBN/ISSN/EAN : 978-9931-825-70-8 Langues : Français (fre) Mots-clés : Langage fonctionnel Langage logique Index. décimale : 004.2 Ordinateur. Configuration. Architecture d'ordinateur Résumé : Ce livre traite de la construction de programmes montrant les différents paradigmes de programmation:
-La programmation procédurale aborde les différents schémas, les transformations entre schémas et les différents formes de preuve.
-La programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction.
Elle traite aussi des preuves des langages fonctionnels.
-La programmation logique rappelle la logique des prédicats du premier ordre et le principe des démonstrateurs automatiques de théorèmes.
-La programmation objet présente les concepts de base et montre leurs illustrations.
Des exemples sont donnés offrant aux utilisateurs des menus tout préparés prêts à être paramétrés pour les intégrer dans les applications.
-La spécification exhibe un moyen rigoureux et moderne pour l'écriture automatique des compilateurs et des systèmes.
LISP (langage fonctionnel) et PROLOG (langage logique) sont introduits avec des exemples. Les fonctionnements des interpréteurs logiques et fonctionnels sont également exposés avec des exemples.
Ce livre couvre le cours 'Construction de programmes' tel qu'il est assuré à l’École Supérieure d'Informatique (ESI, Alger) pour les étudiants de graduation. Il rappelle comme prérequis, la théorie du point fixe et les systèmes formels. Enfin, une bonne partie de ce livre est consacrée aux exercices avec des corrigés types.Note de contenu : Au sommaire :
1. Système formel.
2. Théorie du point fixe.
3. Programmation procédurale.
4. Programmation procédurale. / Types de schémas.
5. Programmation procédurale. / Transformation.
6. Programmation procédurale. / Preuves.
7. Programmation procédurale. / Le projet "CONCORDE".
8. Programmation fonctionnelle.
9. Programmation fonctionnelle. / Lambda-calcul.
...Construction de programmes [texte imprimé] / Walid Khaled Hidouci, Auteur ; Djamel Eddine Zegour, Auteur . - Alger : Edition des itineraires scientifiques, 2022 . - 320 p. : ill. ; 25 cm.
ISBN : 978-9931-825-70-8
Langues : Français (fre)
Mots-clés : Langage fonctionnel Langage logique Index. décimale : 004.2 Ordinateur. Configuration. Architecture d'ordinateur Résumé : Ce livre traite de la construction de programmes montrant les différents paradigmes de programmation:
-La programmation procédurale aborde les différents schémas, les transformations entre schémas et les différents formes de preuve.
-La programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction.
Elle traite aussi des preuves des langages fonctionnels.
-La programmation logique rappelle la logique des prédicats du premier ordre et le principe des démonstrateurs automatiques de théorèmes.
-La programmation objet présente les concepts de base et montre leurs illustrations.
Des exemples sont donnés offrant aux utilisateurs des menus tout préparés prêts à être paramétrés pour les intégrer dans les applications.
-La spécification exhibe un moyen rigoureux et moderne pour l'écriture automatique des compilateurs et des systèmes.
LISP (langage fonctionnel) et PROLOG (langage logique) sont introduits avec des exemples. Les fonctionnements des interpréteurs logiques et fonctionnels sont également exposés avec des exemples.
Ce livre couvre le cours 'Construction de programmes' tel qu'il est assuré à l’École Supérieure d'Informatique (ESI, Alger) pour les étudiants de graduation. Il rappelle comme prérequis, la théorie du point fixe et les systèmes formels. Enfin, une bonne partie de ce livre est consacrée aux exercices avec des corrigés types.Note de contenu : Au sommaire :
1. Système formel.
2. Théorie du point fixe.
3. Programmation procédurale.
4. Programmation procédurale. / Types de schémas.
5. Programmation procédurale. / Transformation.
6. Programmation procédurale. / Preuves.
7. Programmation procédurale. / Le projet "CONCORDE".
8. Programmation fonctionnelle.
9. Programmation fonctionnelle. / Lambda-calcul.
...Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 059866 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059865 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059864 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059863 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059862 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059861 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059860 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059867 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Exclu du prêt Contribution à l'étude des transferts couplés dans une pile à combustible à basse température / Bilal Abderezzak (2021)
Titre : Contribution à l'étude des transferts couplés dans une pile à combustible à basse température Type de document : texte imprimé Auteurs : Bilal Abderezzak, Auteur Editeur : Alger : Edition des itineraires scientifiques Année de publication : 2021 Importance : 150 p. Présentation : ill. Format : 25 cm. ISBN/ISSN/EAN : 978-9931-825-16-6 Note générale : Bibliogr. p. 140 - 149 Langues : Français (fre) Mots-clés : Hydrogène PEMFC Transferts couplés Simulation numérique par CFD Piles à combustible à hydrogène Index. décimale : 621.352 Production d'énergies électrique par des méthodes électrochimiques. Piles et batteries voltaïques (galvaniques) primaires Note de contenu : Au sommaire:
1. L'hydrogène et les piles à combustibles.
2. Les phénomènes de transfert de charges.
3. Les phénomènes de transfert de masse.
4. Les phénomènes de transfert de chaleur.
5. Le couplage des phénomènes de transfert.Contribution à l'étude des transferts couplés dans une pile à combustible à basse température [texte imprimé] / Bilal Abderezzak, Auteur . - Alger : Edition des itineraires scientifiques, 2021 . - 150 p. : ill. ; 25 cm.
ISBN : 978-9931-825-16-6
Bibliogr. p. 140 - 149
Langues : Français (fre)
Mots-clés : Hydrogène PEMFC Transferts couplés Simulation numérique par CFD Piles à combustible à hydrogène Index. décimale : 621.352 Production d'énergies électrique par des méthodes électrochimiques. Piles et batteries voltaïques (galvaniques) primaires Note de contenu : Au sommaire:
1. L'hydrogène et les piles à combustibles.
2. Les phénomènes de transfert de charges.
3. Les phénomènes de transfert de masse.
4. Les phénomènes de transfert de chaleur.
5. Le couplage des phénomènes de transfert.Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 059940 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059942 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059941 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059945 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059944 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059943 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059949 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059948 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059947 621.352 ABD Papier Bibliothèque Centrale Energie Disponible En bon état 059946 621.352 ABD Papier Bibliothèque Centrale Energie Disponible Consultation sur place
Titre de série : Cours d'électricité, 1 Titre : Fondaments, exercices & méthodes : cours et exercices corrigés Type de document : texte imprimé Auteurs : Mohamed Akbi, Auteur Mention d'édition : 3 éd. Editeur : Alger : Edition des itineraires scientifiques Année de publication : 2021 Collection : Sciences fondamentales Sous-collection : Licence 1-SM, ST, MI & ENS Importance : 369 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-9931-825-00-5 Note générale : La page de couv. porte en plus : Physique 2- cours- LMD . - Lexique scientifique Français-Arabe p. [361] - 369 Langues : Français (fre) Mots-clés : Électricité -- Manuels d'enseignement supérieur Électrostatique Index. décimale : 537 Électricité. Magnétisme. Électromagnétisme Résumé : Cet ouvrage, destiné aux étudiants de licence 1-SM, ST, MI & ENS et élèves des classe préparatoires. Élevés des établissements de formation professionnelle. Formation continue. Note de contenu : Au sommaire :
1. Charges électrique.
2. Champs électrostatique.
3. Potentiel électrostatique.
4. Flux électrostatique - Théorème de gauss.
5. Dipôle électrostatique.
6. Conducteur en équilibre.
7. Systèmes de conducteurs en équilibre.Cours d'électricité, 1. Fondaments, exercices & méthodes : cours et exercices corrigés [texte imprimé] / Mohamed Akbi, Auteur . - 3 éd. . - Alger : Edition des itineraires scientifiques, 2021 . - 369 p. : ill. ; 24 cm.. - (Sciences fondamentales. Licence 1-SM, ST, MI & ENS) .
ISBN : 978-9931-825-00-5
La page de couv. porte en plus : Physique 2- cours- LMD . - Lexique scientifique Français-Arabe p. [361] - 369
Langues : Français (fre)
Mots-clés : Électricité -- Manuels d'enseignement supérieur Électrostatique Index. décimale : 537 Électricité. Magnétisme. Électromagnétisme Résumé : Cet ouvrage, destiné aux étudiants de licence 1-SM, ST, MI & ENS et élèves des classe préparatoires. Élevés des établissements de formation professionnelle. Formation continue. Note de contenu : Au sommaire :
1. Charges électrique.
2. Champs électrostatique.
3. Potentiel électrostatique.
4. Flux électrostatique - Théorème de gauss.
5. Dipôle électrostatique.
6. Conducteur en équilibre.
7. Systèmes de conducteurs en équilibre.Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 059972 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059973 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059978 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059975 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059974 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059976 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059977 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059979 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059971 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059970 537 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible Consultation sur place
Titre : Echangeur de chaleur : cours et exercices corrigés Type de document : texte imprimé Auteurs : Bilal Abderezzak, Auteur Editeur : Alger : Edition des itineraires scientifiques Année de publication : 2022 Importance : 131 p. Présentation : ill. Format : 25 cm. ISBN/ISSN/EAN : 978-9931-27-108-6 Note générale : La page de couv. porte en plus : Master2-faculte des sciences et technique - Génie mécanique - Énergétique Langues : Français (fre) Mots-clés : Échangeurs de chaleur Index. décimale : 621.565 Installations de refroidissement. Échangeur de chaleur Note de contenu : Au sommaire :
1. Classification des échangeurs de chaleur.
2. Méthodes de calcules des échangeurs de chaleur.
3. Coefficient d'échange convectif sans changement de phase dans les échangeurs.
4. Coefficient d'échange convectif avec changement de phase dans les échangeurs.
5. Coefficient d'échange global et conductance globale d'un échangeur.
6. Performances et calcul des échangeurs de chaleur.
7. Technologie des échangeurs de chaleur.
8. Optimisation et intégration énergétique des flux de chaleur dans les réseaux d'échangeurs.Echangeur de chaleur : cours et exercices corrigés [texte imprimé] / Bilal Abderezzak, Auteur . - Alger : Edition des itineraires scientifiques, 2022 . - 131 p. : ill. ; 25 cm.
ISBN : 978-9931-27-108-6
La page de couv. porte en plus : Master2-faculte des sciences et technique - Génie mécanique - Énergétique
Langues : Français (fre)
Mots-clés : Échangeurs de chaleur Index. décimale : 621.565 Installations de refroidissement. Échangeur de chaleur Note de contenu : Au sommaire :
1. Classification des échangeurs de chaleur.
2. Méthodes de calcules des échangeurs de chaleur.
3. Coefficient d'échange convectif sans changement de phase dans les échangeurs.
4. Coefficient d'échange convectif avec changement de phase dans les échangeurs.
5. Coefficient d'échange global et conductance globale d'un échangeur.
6. Performances et calcul des échangeurs de chaleur.
7. Technologie des échangeurs de chaleur.
8. Optimisation et intégration énergétique des flux de chaleur dans les réseaux d'échangeurs.Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 059958 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059959 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059957 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059956 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059955 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059954 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059953 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059952 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059951 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible En bon état 059950 621.565 ABD Papier Bibliothèque Centrale Génie Mécanique Disponible Consultation sur place
Titre de série : Electricité, 1 Titre : Electrostatique du vide : exercices et problèmes résolus Type de document : texte imprimé Auteurs : Mohamed Akbi, Auteur Mention d'édition : 2 éd. Editeur : Alger : Edition des itineraires scientifiques Année de publication : 2021 Collection : Sciences fondamentales Sous-collection : Licence 1-SM, ST, MI & ENS Importance : 83 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-9931-825-09-8 Note générale : La page de couv. porte en plus : Physique 2 - Exos - LMD Langues : Français (fre) Mots-clés : Charge électriques Électrostatique -- Théorème de Gauss Conducteurs Champs électrique Index. décimale : 537.2 Electricité statique. Electrostatique Résumé : Cet ouvrage, destiné au étudiants qui débutent un cursus scientifique universitaire, ce recueil de 25 exercices et problèmes d'électrostatique complète parfaitement le livre de cours d'ELECTRICITE 1.
Cet ouvrage est le premier d'une série qui couvre l'ensemble du cours d'électricité du niveau de 1 ère année de licence. Il offre à l'étudiant un outil efficace d'entraînement et de révision. Pour bien utiliser cet ouvrage, l'étudiant doit :
- Maîtriser parfaitement les bases du cours.
- Acquérir progressivement une méthode pour analyser et résoudre les exercices.
- Chercher par lui-même chaque solution et la comparer avec celle proposée dans cet ouvrage.
Ainsi, l'étudiant pourra s'auto-évaluer et profiter pleinement de ce recueil.Note de contenu : Au sommaire :
1. Charge électriques.
2. Champs électrique.
3. Potentiel et énergies électrostatiques.
4. Flux électrostatique- Théorème de gauss.
5. Dipôle électrostatique.
6. Conducteur en équilibre.Electricité, 1. Electrostatique du vide : exercices et problèmes résolus [texte imprimé] / Mohamed Akbi, Auteur . - 2 éd. . - Alger : Edition des itineraires scientifiques, 2021 . - 83 p. : ill. ; 24 cm.. - (Sciences fondamentales. Licence 1-SM, ST, MI & ENS) .
ISBN : 978-9931-825-09-8
La page de couv. porte en plus : Physique 2 - Exos - LMD
Langues : Français (fre)
Mots-clés : Charge électriques Électrostatique -- Théorème de Gauss Conducteurs Champs électrique Index. décimale : 537.2 Electricité statique. Electrostatique Résumé : Cet ouvrage, destiné au étudiants qui débutent un cursus scientifique universitaire, ce recueil de 25 exercices et problèmes d'électrostatique complète parfaitement le livre de cours d'ELECTRICITE 1.
Cet ouvrage est le premier d'une série qui couvre l'ensemble du cours d'électricité du niveau de 1 ère année de licence. Il offre à l'étudiant un outil efficace d'entraînement et de révision. Pour bien utiliser cet ouvrage, l'étudiant doit :
- Maîtriser parfaitement les bases du cours.
- Acquérir progressivement une méthode pour analyser et résoudre les exercices.
- Chercher par lui-même chaque solution et la comparer avec celle proposée dans cet ouvrage.
Ainsi, l'étudiant pourra s'auto-évaluer et profiter pleinement de ce recueil.Note de contenu : Au sommaire :
1. Charge électriques.
2. Champs électrique.
3. Potentiel et énergies électrostatiques.
4. Flux électrostatique- Théorème de gauss.
5. Dipôle électrostatique.
6. Conducteur en équilibre.Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 059969 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059968 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059967 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059966 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059965 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059964 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059963 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059962 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059961 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible En bon état 059960 537.2 AKB Papier Bibliothèque Centrale R.D.C Physique Disponible Exclu du prêt PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
