University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Programmation concurrente / André Schiper
Titre : Programmation concurrente : Illustrée par des exemples en Portal, Modula-2 et Ada Type de document : texte imprimé Auteurs : André Schiper, Auteur Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 1986 Collection : Informatique Importance : 1 vol (295 p .) Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-093-1 Note générale : 978-2-88074-093-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Programmation parallèle (informatique)
Temps réel (informatique)Index. décimale : 005.1 Programmation Note de contenu :
Sommaire
Entrées sorties et interruptions
Concept de processus
Exclusion mutuelle
Coopération entre processus
Portal et les moniteurs
Modula2 et lécriture de noyaux
Ada et les rendezvous
Exemple de conception dun programme concurrent
Notation utilisée pour exprimer les algorithmes
Solution du problème de la montre et du chronomètre exprimée
Index
Bibliographie
Côte titre : Fs/8624 Programmation concurrente : Illustrée par des exemples en Portal, Modula-2 et Ada [texte imprimé] / André Schiper, Auteur . - Lausanne : Presses polytechniques et universitaires romandes, 1986 . - 1 vol (295 p .) ; 24 cm. - (Informatique) .
ISBN : 978-2-88074-093-1
978-2-88074-093-1
Langues : Français (fre)
Catégories : Informatique Mots-clés : Programmation parallèle (informatique)
Temps réel (informatique)Index. décimale : 005.1 Programmation Note de contenu :
Sommaire
Entrées sorties et interruptions
Concept de processus
Exclusion mutuelle
Coopération entre processus
Portal et les moniteurs
Modula2 et lécriture de noyaux
Ada et les rendezvous
Exemple de conception dun programme concurrent
Notation utilisée pour exprimer les algorithmes
Solution du problème de la montre et du chronomètre exprimée
Index
Bibliographie
Côte titre : Fs/8624 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8624 Fs/8624 livre Bibliothéque des sciences Français Disponible
DisponibleProgrammation concurrente et temps réel avec Java / Luigi Zaffalon
Titre : Programmation concurrente et temps réel avec Java : langages et programmation Type de document : texte imprimé Auteurs : Luigi Zaffalon, Auteur Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 2007 Collection : Collection Informatique (Lausanne) Importance : 1 vol. (599 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-698-8 Note générale : 978-2-88074-698-8
Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Programmation en temps réel
Programmation parallèle (informatique)
Java (langage de programmation)Index. décimale : 005.1 Programmation Résumé :
Si le langage Java s'est avantageusement répandu dans le domaine des systèmes d'information et d'internet, sa pénétration dans celui des systèmes temps-réel et des applications critiques est bien plus récente, voire confidentielle. Cet ouvrage cible prioritairement ces nouveaux domaines en procédant par étapes, selon une approche descriptive didactique. Il constitue d'abord une introduction à la programmation concurrente avec le support du langage Java comme outil de description d'algorithmes concurrents. Il décrit ensuite les mécanismes de synchronisation et de communication intrinsèques à Java, parfois dans un esprit critique. Enfin, il aborde des aspects propres au développement des systèmes embarqués, notamment par une sensibilisation aux problématiques du temps réel en relation avec les propositions de la spécification RTSJ dédiées au développement d'applications temps réel en JavaNote de contenu :
Sommaire
Introduction
Threads Java
Mécanisme d'exclusion mutuelle par attente active
Verrous et sémaphores
Producteurs-consommateurs
Lecteurs-rédacteurs
Exclusion mutuelle Java
Moniteurs Java
Processus séquentiels communicants
Horloges et minuteries
Ordonnancement et threads temps réel
Asynchronisme
Gestion mémoire
Programmation systèmeCôte titre : Fs/8625,Fs/17719-17721,Fs/13403 Programmation concurrente et temps réel avec Java : langages et programmation [texte imprimé] / Luigi Zaffalon, Auteur . - Lausanne : Presses polytechniques et universitaires romandes, 2007 . - 1 vol. (599 p.) : ill., couv. ill. en coul. ; 24 cm. - (Collection Informatique (Lausanne)) .
ISBN : 978-2-88074-698-8
978-2-88074-698-8
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Programmation en temps réel
Programmation parallèle (informatique)
Java (langage de programmation)Index. décimale : 005.1 Programmation Résumé :
Si le langage Java s'est avantageusement répandu dans le domaine des systèmes d'information et d'internet, sa pénétration dans celui des systèmes temps-réel et des applications critiques est bien plus récente, voire confidentielle. Cet ouvrage cible prioritairement ces nouveaux domaines en procédant par étapes, selon une approche descriptive didactique. Il constitue d'abord une introduction à la programmation concurrente avec le support du langage Java comme outil de description d'algorithmes concurrents. Il décrit ensuite les mécanismes de synchronisation et de communication intrinsèques à Java, parfois dans un esprit critique. Enfin, il aborde des aspects propres au développement des systèmes embarqués, notamment par une sensibilisation aux problématiques du temps réel en relation avec les propositions de la spécification RTSJ dédiées au développement d'applications temps réel en JavaNote de contenu :
Sommaire
Introduction
Threads Java
Mécanisme d'exclusion mutuelle par attente active
Verrous et sémaphores
Producteurs-consommateurs
Lecteurs-rédacteurs
Exclusion mutuelle Java
Moniteurs Java
Processus séquentiels communicants
Horloges et minuteries
Ordonnancement et threads temps réel
Asynchronisme
Gestion mémoire
Programmation systèmeCôte titre : Fs/8625,Fs/17719-17721,Fs/13403 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/13403 Fs/13403 livre Bibliothéque des sciences Français Disponible
DisponibleFs/17719 Fs/17719-17721 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/17720 Fs/17719-17721 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/17721 Fs/17719-17721 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/8625 Fs/8625 livre Bibliothéque des sciences Français Disponible
DisponibleProgrammer en modula-2 / Niklaus Wirth
Titre : Programmer en modula-2 : Programming in modula-2 Type de document : texte imprimé Auteurs : Niklaus Wirth ; Jacques,Trad André Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 1984 Collection : Informatique Importance : 1 vol (263 p .) Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-063-4 Note générale : 978-2-88074-063-4 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Modula(langage)Index. décimale : 005.1 Programmation Note de contenu :
Sommaire
Notions de base
Programmes, paramétrés et portées
Types de données
Modules
Primitives du bas niveau et concurrence
Définition du langage de programmation Modula
Sy-taxe de Modula
Côte titre : Fs/8646 Programmer en modula-2 : Programming in modula-2 [texte imprimé] / Niklaus Wirth ; Jacques,Trad André . - Lausanne : Presses polytechniques et universitaires romandes, 1984 . - 1 vol (263 p .) ; 24 cm. - (Informatique) .
ISBN : 978-2-88074-063-4
978-2-88074-063-4
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Modula(langage)Index. décimale : 005.1 Programmation Note de contenu :
Sommaire
Notions de base
Programmes, paramétrés et portées
Types de données
Modules
Primitives du bas niveau et concurrence
Définition du langage de programmation Modula
Sy-taxe de Modula
Côte titre : Fs/8646 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8646 Fs/8646 livre Bibliothéque des sciences Français Disponible
DisponiblePropriétés acoustiques des matériaux / Parviz Navi
Titre : Propriétés acoustiques des matériaux : Propagation des ondes planes harmoniques Type de document : texte imprimé Auteurs : Parviz Navi, Auteur ; Gregory Tornare, Collaborateur Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 2006 Autre Editeur : [Paris] : diff. Géodif Collection : Collection dirigée par Michel Rappaz Importance : 1 vol. (260 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-691-9 Note générale : Bibliogr. p. 253-255. Index Langues : Français (fre) Catégories : Physique Mots-clés : Matériaux : Propriétés acoustiques
Son : PropagationIndex. décimale : 620.1 Matériaux, mécanique de l'ingénieur Résumé :
Cet ouvrage présente tout d'abord les principaux éléments de l'acoustique physique et les bases analytiques nécessaires à la description du phénomène de propagation des ondes planes harmoniques. Sont traités les cas des fluides et des solides, qu'ils soient homogènes ou hétérogènes, purement élastiques ou viscoélastiques. A partir des modèles développés, des méthodes de caractérisation non-destructive des propriétés effectives des milieux précités ont été établies. Ces modèles, appliqués à la formule générale du transfert, constituent un puissant outil permettant de traiter la quasi-totalité des problèmes d'absorption et d'isolation rencontrés dans les matériaux de construction. En marge des préoccupations liées à notre environnement sonore, cette problématique concerne également les phénomènes vibratoires liés aux manifestations sismiques, les techniques émergentes de microscopie acoustique ou encore de contrôle de qualité in-situ.Note de contenu :
Sommaire
Avant-propos
Ondes élastiques dans un milieu fluide ou solide unidimensionnel
Propagation des ondes planes harmoniques dans un milieu élastique anisotrope
Propagation des ondes planes harmoniques dans un milieu élastique hétérogène
Mesure des vitesses de phases
Propagation des ondes planes harmoniques dans un milieu viscoélastique
Emission acoustique
Phénomènes acoustiques et vibratoires dans les milieux stratifiés indéfinis
Propriétés d'absorption acoustique
Propriétés d'isolation acoustique des parois simples et complexes
Annexe A : liste des symboles
Annexe B : formules mathématiques
Annexe C : élasticité linéaire
équations de comportement
Annexe D : propagation des ondes dans un solide élastique isotrope illimité
Bibliographie
IndexCôte titre : Fs/2534-2545 Propriétés acoustiques des matériaux : Propagation des ondes planes harmoniques [texte imprimé] / Parviz Navi, Auteur ; Gregory Tornare, Collaborateur . - Lausanne : Presses polytechniques et universitaires romandes : [Paris] : diff. Géodif, 2006 . - 1 vol. (260 p.) : ill., couv. ill. ; 24 cm. - (Collection dirigée par Michel Rappaz) .
ISBN : 978-2-88074-691-9
Bibliogr. p. 253-255. Index
Langues : Français (fre)
Catégories : Physique Mots-clés : Matériaux : Propriétés acoustiques
Son : PropagationIndex. décimale : 620.1 Matériaux, mécanique de l'ingénieur Résumé :
Cet ouvrage présente tout d'abord les principaux éléments de l'acoustique physique et les bases analytiques nécessaires à la description du phénomène de propagation des ondes planes harmoniques. Sont traités les cas des fluides et des solides, qu'ils soient homogènes ou hétérogènes, purement élastiques ou viscoélastiques. A partir des modèles développés, des méthodes de caractérisation non-destructive des propriétés effectives des milieux précités ont été établies. Ces modèles, appliqués à la formule générale du transfert, constituent un puissant outil permettant de traiter la quasi-totalité des problèmes d'absorption et d'isolation rencontrés dans les matériaux de construction. En marge des préoccupations liées à notre environnement sonore, cette problématique concerne également les phénomènes vibratoires liés aux manifestations sismiques, les techniques émergentes de microscopie acoustique ou encore de contrôle de qualité in-situ.Note de contenu :
Sommaire
Avant-propos
Ondes élastiques dans un milieu fluide ou solide unidimensionnel
Propagation des ondes planes harmoniques dans un milieu élastique anisotrope
Propagation des ondes planes harmoniques dans un milieu élastique hétérogène
Mesure des vitesses de phases
Propagation des ondes planes harmoniques dans un milieu viscoélastique
Emission acoustique
Phénomènes acoustiques et vibratoires dans les milieux stratifiés indéfinis
Propriétés d'absorption acoustique
Propriétés d'isolation acoustique des parois simples et complexes
Annexe A : liste des symboles
Annexe B : formules mathématiques
Annexe C : élasticité linéaire
équations de comportement
Annexe D : propagation des ondes dans un solide élastique isotrope illimité
Bibliographie
IndexCôte titre : Fs/2534-2545 Exemplaires (12)
Code-barres Cote Support Localisation Section Disponibilité Fs/2539 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2540 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2536 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2537 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2534 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2538 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2535 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2541 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2542 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2543 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2544 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2545 Fs/2534-2545 Livre Bibliothéque des sciences Français Disponible
DisponibleRecherche opérationnelle pour ingénieurs Tome 1 / Dominique de Werra
Titre : Recherche opérationnelle pour ingénieurs Tome 1 Type de document : texte imprimé Auteurs : Dominique de Werra, Auteur ; Thomas M. Liebling, Auteur ; Jean-François Hêche, Auteur Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 2003 Autre Editeur : [Paris] : diff. Géodif Collection : Mathématiques (Lausanne) Importance : 1 vol. (385 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-446-5 Note générale : Bibliogr. p. 321-322 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématiques appliquées Index. décimale : 519 Mathématiques appliquées, probabilités (statistiques mathématiques) Résumé :
Permettant la conception et l'entretien de systèmes logistiques et techniques toujours plus complexes, la recherche opérationnelle fait aujourd'hui partie du bagage essentiel à tout ingénieur. Avec un formalism
mathématique réduit, ce livre offre une introduction aux principaux outils de modélisation et de résolution des problèmes de recherche opérationnelle, ainsi qu'aux méthodes d'optimisation et de simulation. Le
concepts introduits sont motivés par de nombreux exemples et exercices, illustrant diverses applications aux sciences de l'ingénieur et à la gestion. Cet ouvrage s'adresse aux étudiants en sciences de l'ingénieur, mathématiques et gestion ; enseignants, chercheurs et ingénieurs intéressés par les modèles de base et les applications de la recherche opérationnelleNote de contenu :
Sommaire
Introduction
Convexité et optimisation linéaire
Dualité
Résolution du problème de programmation linéaire
Compléments sur l'algorithme du simplexe
Variations sur la simplexe
Autres algorithmes pour la programmation linéaire
Eléments de théorie des graphes
La méthode du simplexe dans les réseaux
Flot de valeur maximum
Flots à coût minimum et flots compatibles
Arbres optimaux et matroïdes
Eléments d'optimisation non linéaire
Quelques méthodes de programmation linéaire en nombres entiers
Méthodes de points intérieurs
Quelques problèmes d'ordonnancement
Solutions de quelques exercices
Bibliographie
IndexCôte titre : Fs/1747-1755 Recherche opérationnelle pour ingénieurs Tome 1 [texte imprimé] / Dominique de Werra, Auteur ; Thomas M. Liebling, Auteur ; Jean-François Hêche, Auteur . - Lausanne : Presses polytechniques et universitaires romandes : [Paris] : diff. Géodif, 2003 . - 1 vol. (385 p.) : ill., couv. ill. ; 24 cm. - (Mathématiques (Lausanne)) .
ISBN : 978-2-88074-446-5
Bibliogr. p. 321-322
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématiques appliquées Index. décimale : 519 Mathématiques appliquées, probabilités (statistiques mathématiques) Résumé :
Permettant la conception et l'entretien de systèmes logistiques et techniques toujours plus complexes, la recherche opérationnelle fait aujourd'hui partie du bagage essentiel à tout ingénieur. Avec un formalism
mathématique réduit, ce livre offre une introduction aux principaux outils de modélisation et de résolution des problèmes de recherche opérationnelle, ainsi qu'aux méthodes d'optimisation et de simulation. Le
concepts introduits sont motivés par de nombreux exemples et exercices, illustrant diverses applications aux sciences de l'ingénieur et à la gestion. Cet ouvrage s'adresse aux étudiants en sciences de l'ingénieur, mathématiques et gestion ; enseignants, chercheurs et ingénieurs intéressés par les modèles de base et les applications de la recherche opérationnelleNote de contenu :
Sommaire
Introduction
Convexité et optimisation linéaire
Dualité
Résolution du problème de programmation linéaire
Compléments sur l'algorithme du simplexe
Variations sur la simplexe
Autres algorithmes pour la programmation linéaire
Eléments de théorie des graphes
La méthode du simplexe dans les réseaux
Flot de valeur maximum
Flots à coût minimum et flots compatibles
Arbres optimaux et matroïdes
Eléments d'optimisation non linéaire
Quelques méthodes de programmation linéaire en nombres entiers
Méthodes de points intérieurs
Quelques problèmes d'ordonnancement
Solutions de quelques exercices
Bibliographie
IndexCôte titre : Fs/1747-1755 Exemplaires (9)
Code-barres Cote Support Localisation Section Disponibilité Fs/1747 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1748 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1749 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1750 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1751 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1752 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1753 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1754 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1755 Fs/1747-1755 Livre Bibliothéque des sciences Français Disponible
DisponibleRecherche opérationnelle pour ingénieurs Tome 2 / Dominique de Werra
PermalinkRéglage d'état / Hansruedi Bühler
PermalinkLe Sol vivant / Jean-Michel Gobat
PermalinkSystèmes complexes / Philippe Collard
PermalinkThéorie des probabilités / Pfister, Charles-Édouard
PermalinkThéorie quantique des champs / Jean-Pierre Derendinger
PermalinkThermodynamique / Jean-Philippe Ansermet
PermalinkPermalinkTraité des matériaux, 1. Traité des matériaux / Jean-Pierre Mercier
PermalinkTraité des matériaux, 16. Céramiques et verres
PermalinkTraité des matériaux, 18. Physique et technologie des semiconducteurs / Francis Lévy
PermalinkTraité des matériaux, 4. Traité des matériaux / Hans Jörg Mathieu
PermalinkTraité des matériaux, 8. Physique des matériaux / Maurice Gerl
PermalinkTransferts thermiques / Ana-Maria Bianchi
PermalinkWavelets and their application / GOEDECKER,Stefan
Permalink