Université Sétif 1 Faculté des Sciences
A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Catégories
Ajouter le résultat dans votre panier Affiner la rechercheThe engineering design of systems / Dennis M. Buede
Titre : The engineering design of systems : Models and methods / Type de document : texte imprimé Auteurs : Dennis M. Buede ; William D. Miller Mention d'édition : 3e éd. Année de publication : 2016 Importance : 1 vol (560 p.) Format : 24 cm ISBN/ISSN/EAN : 978-1-119-02790-4 Catégories : Informatique Mots-clés : Ingénierie des systèmes Index. décimale : 620 Ingénierie et activités connexes Résumé :
Le livre adopte une approche basée sur un modèle pour les principales activités de conception d'ingénierie des systèmes et introduit des méthodes et des modèles utilisés dans le monde réel. Ce livre est divisé en trois parties principales: (1) Introduction, Aperçu et connaissances de base, (2) Thèmes de conception et d'intégration, (3) Sujets supplémentaires. La première partie fournit une introduction aux problèmes associés à l'ingénierie d'un système. La deuxième partie couvre le matériel essentiel requis pour comprendre les principaux éléments nécessaires à la conception technique de tout système: exigences, architectures (fonctionnelles, physiques et allouées), interfaces et qualification. La dernière partie passe en revue les méthodes de modélisation des données, des processus et des comportements, l'analyse des décisions, la science et l'analyse des systèmes, et la valeur de l'ingénierie des systèmes. Le chapitre 1 a été réécrit pour intégrer les nouveaux chapitres et des mises à jour ont été faites tout au long des chapitres originaux.
Fournit une vue d'ensemble de la modélisation, des méthodes de modélisation associées à SysML et IDEF0
Comprend un nouveau chapitre 12 qui fournit un examen complet des sujets discutés dans les chapitres 6 à 11 via un système simple - une machine à soda automatisée
Comprend un nouveau chapitre 15 qui passe en revue la théorie générale des systèmes, la science des systèmes, les systèmes naturels, la cybernétique, la pensée systémique, la caractérisation quantitative des systèmes, la dynamique des systèmes, la théorie des contraintes et les problèmes de Fermi.
Comprend un nouveau chapitre 16 sur la valeur de l'ingénierie des systèmes avec cinq propositions de valeur: systèmes comme système de recherche d'objectifs, ingénierie des systèmes comme interface de communication, ingénierie des systèmes pour éviter les problèmes, ingénierie des systèmes pour trouver et corriger les erreurs atténuation des risques
La conception technique des systèmes: modèles et méthodes, troisième édition, est conçue pour être une référence d'introduction pour les professionnels ainsi qu'un manuel pour les étudiants de premier cycle et des cycles supérieurs en ingénierie des systèmes.Note de contenu :
Sommaire
Preface
About the Companion Website xv
Part 1 Introduction, Overview, and Basic Knowledge 1
Chapter 1 Introduction to Systems Engineering 3
Chapter 2 Overview of the Systems Engineering Design Process 46
Chapter 3 Modeling and SysML Modeling 68
Chapter 4 Discrete Mathematics: Sets, Relations, and Functions 100
Chapter 5 Graphs and Directed Graphs (Digraphs) 117
Part 2 Design and Integration 143
Chapter 6 Requirements and Defining the Design Problem 145
Chapter 7 Functional Architecture Development 202
Chapter 8 Physical Architecture Development 241
Chapter 9 Allocated Architecture Development 274
Chapter 10 Interface Design 307
Chapter 11 Integration and Qualification 327
Chapter 12 A Complete Exercise of the Systems Engineering Process 357
Part 3 Supplemental Topics 373
Chapter 13 Graphical Modeling Techniques 375
Chapter 14 Decision Analysis for Design Trades 398
Chapter 15 The Science and Analysis of Systems 445
Chapter 16 The Value of Systems Engineering 471
Appendix A: Outline of Systems Engineering Documents 489
Appendix B: IDEF0 Model of the Engineering of a System 493
Glossary 513
References 526
Historical References 540
Index 543Côte titre : Fs/19748 The engineering design of systems : Models and methods / [texte imprimé] / Dennis M. Buede ; William D. Miller . - 3e éd. . - 2016 . - 1 vol (560 p.) ; 24 cm.
ISBN : 978-1-119-02790-4
Catégories : Informatique Mots-clés : Ingénierie des systèmes Index. décimale : 620 Ingénierie et activités connexes Résumé :
Le livre adopte une approche basée sur un modèle pour les principales activités de conception d'ingénierie des systèmes et introduit des méthodes et des modèles utilisés dans le monde réel. Ce livre est divisé en trois parties principales: (1) Introduction, Aperçu et connaissances de base, (2) Thèmes de conception et d'intégration, (3) Sujets supplémentaires. La première partie fournit une introduction aux problèmes associés à l'ingénierie d'un système. La deuxième partie couvre le matériel essentiel requis pour comprendre les principaux éléments nécessaires à la conception technique de tout système: exigences, architectures (fonctionnelles, physiques et allouées), interfaces et qualification. La dernière partie passe en revue les méthodes de modélisation des données, des processus et des comportements, l'analyse des décisions, la science et l'analyse des systèmes, et la valeur de l'ingénierie des systèmes. Le chapitre 1 a été réécrit pour intégrer les nouveaux chapitres et des mises à jour ont été faites tout au long des chapitres originaux.
Fournit une vue d'ensemble de la modélisation, des méthodes de modélisation associées à SysML et IDEF0
Comprend un nouveau chapitre 12 qui fournit un examen complet des sujets discutés dans les chapitres 6 à 11 via un système simple - une machine à soda automatisée
Comprend un nouveau chapitre 15 qui passe en revue la théorie générale des systèmes, la science des systèmes, les systèmes naturels, la cybernétique, la pensée systémique, la caractérisation quantitative des systèmes, la dynamique des systèmes, la théorie des contraintes et les problèmes de Fermi.
Comprend un nouveau chapitre 16 sur la valeur de l'ingénierie des systèmes avec cinq propositions de valeur: systèmes comme système de recherche d'objectifs, ingénierie des systèmes comme interface de communication, ingénierie des systèmes pour éviter les problèmes, ingénierie des systèmes pour trouver et corriger les erreurs atténuation des risques
La conception technique des systèmes: modèles et méthodes, troisième édition, est conçue pour être une référence d'introduction pour les professionnels ainsi qu'un manuel pour les étudiants de premier cycle et des cycles supérieurs en ingénierie des systèmes.Note de contenu :
Sommaire
Preface
About the Companion Website xv
Part 1 Introduction, Overview, and Basic Knowledge 1
Chapter 1 Introduction to Systems Engineering 3
Chapter 2 Overview of the Systems Engineering Design Process 46
Chapter 3 Modeling and SysML Modeling 68
Chapter 4 Discrete Mathematics: Sets, Relations, and Functions 100
Chapter 5 Graphs and Directed Graphs (Digraphs) 117
Part 2 Design and Integration 143
Chapter 6 Requirements and Defining the Design Problem 145
Chapter 7 Functional Architecture Development 202
Chapter 8 Physical Architecture Development 241
Chapter 9 Allocated Architecture Development 274
Chapter 10 Interface Design 307
Chapter 11 Integration and Qualification 327
Chapter 12 A Complete Exercise of the Systems Engineering Process 357
Part 3 Supplemental Topics 373
Chapter 13 Graphical Modeling Techniques 375
Chapter 14 Decision Analysis for Design Trades 398
Chapter 15 The Science and Analysis of Systems 445
Chapter 16 The Value of Systems Engineering 471
Appendix A: Outline of Systems Engineering Documents 489
Appendix B: IDEF0 Model of the Engineering of a System 493
Glossary 513
References 526
Historical References 540
Index 543Côte titre : Fs/19748 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Fs/19748 Fs/19748 Livre Bibliothéque des sciences Français Disponible
Titre : The essence of compilers Type de document : texte imprimé Auteurs : Robin Hunter Editeur : London : Prentice Hall Année de publication : 1999 Importance : 237 p Présentation : ill Format : 24 cm ISBN/ISSN/EAN : 978-0-13-727835-0 Catégories : Informatique Mots-clés : Compilateurs
Processus de compilationIndex. décimale : 005.4 Programmation informatique et des systèmes Résumé :
Les outils du compilateur couverts par ce texte sont Lex et YACC, dont les utilisations sont illustrées par des exemples de construction de compilateurs et d'exemples concernant d'autres outils syntaxiques, tels que des outils de mesure simples pour évaluer les métriques de code source.Note de contenu :
Sommaire
The Compilation Process.
Language Definition.
Lexical Analysis.
Top-Down Parsing.
Bottom-up Parsing.
Semantic Analysis.
Storage Allocation.
Code Generation.
Solutions to Exercises.
Glossary.
IndexCôte titre : Fs/19749 The essence of compilers [texte imprimé] / Robin Hunter . - London : Prentice Hall, 1999 . - 237 p : ill ; 24 cm.
ISBN : 978-0-13-727835-0
Catégories : Informatique Mots-clés : Compilateurs
Processus de compilationIndex. décimale : 005.4 Programmation informatique et des systèmes Résumé :
Les outils du compilateur couverts par ce texte sont Lex et YACC, dont les utilisations sont illustrées par des exemples de construction de compilateurs et d'exemples concernant d'autres outils syntaxiques, tels que des outils de mesure simples pour évaluer les métriques de code source.Note de contenu :
Sommaire
The Compilation Process.
Language Definition.
Lexical Analysis.
Top-Down Parsing.
Bottom-up Parsing.
Semantic Analysis.
Storage Allocation.
Code Generation.
Solutions to Exercises.
Glossary.
IndexCôte titre : Fs/19749 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Fs/19749 Fs/19749 Livre Bibliothéque des sciences Français Disponible
Titre : The formal semantics of programming languages : An introduction Type de document : texte imprimé Auteurs : G. Winskel Editeur : Cambridge, Mass : MIT Press Année de publication : 1993 Importance : xviii, 361 p Format : 24 cm ISBN/ISSN/EAN : 978-0-262-23169-5 Catégories : Informatique Mots-clés : Langages de programmation : Sémantique
Méthodes formelles (informatique)Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
La sémantique formelle des langages de programmation fournit les techniques mathématiques de base nécessaires pour ceux qui commencent une étude de la sémantique et des logiques des langages de programmation. Ces techniques permettront aux élèves d'inventer, de formaliser et de justifier des règles permettant de raisonner sur une variété de langages de programmation. Bien que le traitement soit élémentaire, plusieurs des sujets abordés proviennent de recherches récentes, y compris le domaine vital de la simultanéité. Le livre contient de nombreux exercices allant du simple au miniprojet.
À partir de la théorie des ensembles de base, la sémantique opérationnelle structurelle est présentée comme un moyen de définir la signification des langages de programmation ainsi que les techniques de preuve associées. la sémantique dénotationnelle et axiomatiques sont illustrés sur un langage simple while-programmes, et à l'automne preuves sont données de l'équivalence de la sémantique opérationnelle et denotational et la solidité et l'exhaustivité relative de la sémantique axiomatique. Une preuve du théorème d'incomplétude de Gödel, qui souligne l'impossibilité d'obtenir une sémantique axiomatique complète, est incluse. Il est soutenu par une annexe fournissant une introduction à la théorie de la calculabilité basée sur while-programs.
Après une présentation de la théorie des domaines, la sémantique et les méthodes de preuve de plusieurs langages fonctionnels sont évaluées. Le langage le plus simple est celui des équations de récursion avec évaluation à la fois appel par valeur et appel par nom. Ce travail est étendu aux langues avec des types plus élevés et récursifs, y compris un traitement des lambda-calculi désireux et paresseux. Tout au long de la relation entre la sémantique dénotationnelle et opérationnel est souligné et les preuves de thecorrespondence entre l'opération et la sémantique dénotationnelle sont fournis. Le traitement des types récursifs - l'une des parties les plus avancées du livre - repose sur l'utilisation de systèmes d'information pour représenter les domaines. Le livre se termine par un chapitre sur les langages de programmation parallèles, accompagné d'une discussion sur les méthodes de spécification et de vérification des programmes non déterministes et parallèles.Note de contenu :
Sommaire :
1. Basic set theory
2. Introduction to operational semantics
3. Some principles of induction
4. Inductive definitions
5. The denotational semantics of IMP
6. The axiomatic semantics of IMP
7. Completeness of the Hoare rules
8. Introduction to domain theory
9. Recursion equations
10. Techniques for recursion
11. Languages with higher types
12. Information systems
13. Recursive types
14. Nondeterminism and parallelism
Appendix A. Incompleteness and undecidability
Côte titre : Fs/19752 The formal semantics of programming languages : An introduction [texte imprimé] / G. Winskel . - Cambridge, Mass : MIT Press, 1993 . - xviii, 361 p ; 24 cm.
ISBN : 978-0-262-23169-5
Catégories : Informatique Mots-clés : Langages de programmation : Sémantique
Méthodes formelles (informatique)Index. décimale : 005.13 Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des programmes, générateurs d'application ; langages déclaratifs, non procéduraux) Résumé :
La sémantique formelle des langages de programmation fournit les techniques mathématiques de base nécessaires pour ceux qui commencent une étude de la sémantique et des logiques des langages de programmation. Ces techniques permettront aux élèves d'inventer, de formaliser et de justifier des règles permettant de raisonner sur une variété de langages de programmation. Bien que le traitement soit élémentaire, plusieurs des sujets abordés proviennent de recherches récentes, y compris le domaine vital de la simultanéité. Le livre contient de nombreux exercices allant du simple au miniprojet.
À partir de la théorie des ensembles de base, la sémantique opérationnelle structurelle est présentée comme un moyen de définir la signification des langages de programmation ainsi que les techniques de preuve associées. la sémantique dénotationnelle et axiomatiques sont illustrés sur un langage simple while-programmes, et à l'automne preuves sont données de l'équivalence de la sémantique opérationnelle et denotational et la solidité et l'exhaustivité relative de la sémantique axiomatique. Une preuve du théorème d'incomplétude de Gödel, qui souligne l'impossibilité d'obtenir une sémantique axiomatique complète, est incluse. Il est soutenu par une annexe fournissant une introduction à la théorie de la calculabilité basée sur while-programs.
Après une présentation de la théorie des domaines, la sémantique et les méthodes de preuve de plusieurs langages fonctionnels sont évaluées. Le langage le plus simple est celui des équations de récursion avec évaluation à la fois appel par valeur et appel par nom. Ce travail est étendu aux langues avec des types plus élevés et récursifs, y compris un traitement des lambda-calculi désireux et paresseux. Tout au long de la relation entre la sémantique dénotationnelle et opérationnel est souligné et les preuves de thecorrespondence entre l'opération et la sémantique dénotationnelle sont fournis. Le traitement des types récursifs - l'une des parties les plus avancées du livre - repose sur l'utilisation de systèmes d'information pour représenter les domaines. Le livre se termine par un chapitre sur les langages de programmation parallèles, accompagné d'une discussion sur les méthodes de spécification et de vérification des programmes non déterministes et parallèles.Note de contenu :
Sommaire :
1. Basic set theory
2. Introduction to operational semantics
3. Some principles of induction
4. Inductive definitions
5. The denotational semantics of IMP
6. The axiomatic semantics of IMP
7. Completeness of the Hoare rules
8. Introduction to domain theory
9. Recursion equations
10. Techniques for recursion
11. Languages with higher types
12. Information systems
13. Recursive types
14. Nondeterminism and parallelism
Appendix A. Incompleteness and undecidability
Côte titre : Fs/19752 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Fs/19752 Fs/19752 Livre Bibliothéque des sciences Français Disponible
Titre : The functional art : An introduction to information graphics and visualization Type de document : texte imprimé Auteurs : Alberto Cairo Editeur : Berkeley : New Riders Année de publication : 2013 Importance : 1 vol. (363 p.) Présentation : ill Format : 23 cm Accompagnement : 1 computer disc (16 cm ISBN/ISSN/EAN : 978-0-321-83473-7 Note générale : "Includes a complete introductory information graphics video course"--Cover. Catégories : Informatique Mots-clés : Infographie
Art numérique
Arts graphiques
Information :Méthodes graphiquesIndex. décimale : 006.6 Infographie Résumé :
Contrairement à n'importe quelle période antérieure de notre vie, nous avons accès à de vastes quantités d'informations gratuites. Avec les bons outils, nous pouvons commencer à donner un sens à toutes ces données pour voir les tendances et les tendances qui nous seraient autrement invisibles. En transformant les nombres en formes graphiques, nous permettons aux lecteurs de comprendre les histoires que ces chiffres cachent. Dans cette introduction pratique à la compréhension et à l'utilisation des graphiques d'information, vous apprendrez à utiliser les visualisations de données comme outils pour voir au-delà des listes de nombres et de variables et pour obtenir de nouvelles informations sur le monde complexe qui nous entoure. Indépendamment du type de données avec lesquelles vous travaillez (business, science, politique, sport ou même finances personnelles), ce livre vous montrera comment utiliser des tableaux statistiques, des cartes et des diagrammes d'explication pour repérer les histoires dans les données. et apprendre de nouvelles choses de
Le premier livre à offrir une introduction pratique et complète à l'information graphique et à la visualisation, The Functional Art se réjouit:
• Pourquoi la visualisation de données doit-elle être considérée comme un «art fonctionnel» plutôt que comme un art?
• Comment utiliser la couleur, le type et d'autres outils graphiques pour rendre vos graphiques d'information plus efficaces, et pas seulement plus beaux
• La science de la façon dont nos cerveaux perçoivent et se souviennent de l'information
• Meilleures pratiques pour la création de graphiques d'informations interactifs
• Un regard complet sur le processus de création derrière des graphiques d'information réussis
• Une vaste galerie d'œuvres inspirantes des meilleurs designers et artistes visuels du mondeNote de contenu :
Sommaire
Introduction.
- Part I. Foundations.
- 1. Why visualize: from information to wisdom. - 2. Forms and functions: visualization as a technology. - 3. The beauty paradox: art and communication. - 4. The complexity challenge: presentation and exploration.
- Part II. Cognition.
- 5. The eye and the visual brain. - 6. Visualizing for the mind. - 7. Images in the head.
- Part III. Practice.
- 8. Creating information graphics. - 9. The rise of interactive graphics. -
Part IV. Profiles.
- 1. The infographics gentleman: John Grimwade (Condé nast traveler magazine). - 2. Information art: Juan Velaso and Fernando Baptista (National geographic magazine). - 3. All the infographics that are fit to print: Steve Duenes and Xaquín G.V. (New York times). - 4. Capital infographics: Hannah Fairfield (Washington post). - 5. Germanic precision: Jan Schwochow (Golden Section Graphics). - 6. Visualization in academia: Geoff McGhee (Stanford University). - 7. Quantitative humanism: Hans Rosling (Gapminder Foundation). - 8. Truth and beauty operator: Moritz Stefaner (moritz.stefaner.eu). - 9. The rising stars: Gregor Aisch (driven-by-data.net) and Jan Willem Tulp (TULP interactive). - 10. Visualizing literature: Stefanie Posavec (itsbeenreal.co.uk)Côte titre : Fs/19758 The functional art : An introduction to information graphics and visualization [texte imprimé] / Alberto Cairo . - [S.l.] : Berkeley : New Riders, 2013 . - 1 vol. (363 p.) : ill ; 23 cm + 1 computer disc (16 cm.
ISBN : 978-0-321-83473-7
"Includes a complete introductory information graphics video course"--Cover.
Catégories : Informatique Mots-clés : Infographie
Art numérique
Arts graphiques
Information :Méthodes graphiquesIndex. décimale : 006.6 Infographie Résumé :
Contrairement à n'importe quelle période antérieure de notre vie, nous avons accès à de vastes quantités d'informations gratuites. Avec les bons outils, nous pouvons commencer à donner un sens à toutes ces données pour voir les tendances et les tendances qui nous seraient autrement invisibles. En transformant les nombres en formes graphiques, nous permettons aux lecteurs de comprendre les histoires que ces chiffres cachent. Dans cette introduction pratique à la compréhension et à l'utilisation des graphiques d'information, vous apprendrez à utiliser les visualisations de données comme outils pour voir au-delà des listes de nombres et de variables et pour obtenir de nouvelles informations sur le monde complexe qui nous entoure. Indépendamment du type de données avec lesquelles vous travaillez (business, science, politique, sport ou même finances personnelles), ce livre vous montrera comment utiliser des tableaux statistiques, des cartes et des diagrammes d'explication pour repérer les histoires dans les données. et apprendre de nouvelles choses de
Le premier livre à offrir une introduction pratique et complète à l'information graphique et à la visualisation, The Functional Art se réjouit:
• Pourquoi la visualisation de données doit-elle être considérée comme un «art fonctionnel» plutôt que comme un art?
• Comment utiliser la couleur, le type et d'autres outils graphiques pour rendre vos graphiques d'information plus efficaces, et pas seulement plus beaux
• La science de la façon dont nos cerveaux perçoivent et se souviennent de l'information
• Meilleures pratiques pour la création de graphiques d'informations interactifs
• Un regard complet sur le processus de création derrière des graphiques d'information réussis
• Une vaste galerie d'œuvres inspirantes des meilleurs designers et artistes visuels du mondeNote de contenu :
Sommaire
Introduction.
- Part I. Foundations.
- 1. Why visualize: from information to wisdom. - 2. Forms and functions: visualization as a technology. - 3. The beauty paradox: art and communication. - 4. The complexity challenge: presentation and exploration.
- Part II. Cognition.
- 5. The eye and the visual brain. - 6. Visualizing for the mind. - 7. Images in the head.
- Part III. Practice.
- 8. Creating information graphics. - 9. The rise of interactive graphics. -
Part IV. Profiles.
- 1. The infographics gentleman: John Grimwade (Condé nast traveler magazine). - 2. Information art: Juan Velaso and Fernando Baptista (National geographic magazine). - 3. All the infographics that are fit to print: Steve Duenes and Xaquín G.V. (New York times). - 4. Capital infographics: Hannah Fairfield (Washington post). - 5. Germanic precision: Jan Schwochow (Golden Section Graphics). - 6. Visualization in academia: Geoff McGhee (Stanford University). - 7. Quantitative humanism: Hans Rosling (Gapminder Foundation). - 8. Truth and beauty operator: Moritz Stefaner (moritz.stefaner.eu). - 9. The rising stars: Gregor Aisch (driven-by-data.net) and Jan Willem Tulp (TULP interactive). - 10. Visualizing literature: Stefanie Posavec (itsbeenreal.co.uk)Côte titre : Fs/19758 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Fs/19758 Fs/19758 Livre Bibliothéque des sciences Français Disponible
Titre : The Linux programming interface : a Linux and UNIX system programming handbook / Type de document : texte imprimé Auteurs : Michael Kerrisk Editeur : San Francisco : No Starch Press Année de publication : 2010 Importance : 1 vol (1506 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-1-59327-220-3 Catégories : Informatique Mots-clés : Linux (système d'exploitation des ordinateurs)
UNIX (système d'exploitation des ordinateurs)
Langages de programmation
Systèmes d'exploitation (ordinateurs)Index. décimale : 005.4 Programmation informatique et des systèmes Résumé :
l'interface de programmation Linux décrit l'API Linux (interface de programmation d'application) les appels système, les fonctions de bibliothèque et d'autres interfaces de bas niveau qui sont utilisées, directement ou indirectement, par chaque programme qui s'exécute sous Linux. Les programmes qui utilisent explicitement ces interfaces sont communément appelés programmes système et incluent des applications telles que shells, éditeurs, systèmes de fenêtrage, émulateurs de terminal, gestionnaires de fichiers, compilateurs, systèmes de gestion de bases de données, machines virtuelles, serveurs réseau et une grande partie des autres logiciels. employé quotidiennement sur les systèmes Linux. Largement indexé et fortement référencé, l'interface de programmation Linux est à la fois un guide d'introduction pour les lecteurs novices en matière de programmation système et une référence complète pour les programmeurs expérimentés. Bien que ce livre aborde en détail une multitude de fonctionnalités spécifiques à Linux, il accorde une attention particulière aux normes de programmation Unix contemporaines et aux problèmes de portabilité. - ÉditeurNote de contenu :
Sommaire
History and standards
Fundamental concepts
System programming concepts
File I/O : the universal I/O model
File I/O : further details
Processes
Memory allocation
Users and groups
Process credentials
Time
System limits and options
System and process information
File I/O buffering
File systems
File attributes
Extended attributes
Access control lists
Directories and links
Monitoring file events
Signals : fundamental concepts
Signals : signal handlers
Signals : advanced features
Timers and sleeping
Process creation
Process termination
Monitoring child processes
Program execution
Process creation and program execution in more detail
Threads : introduction
Threads : thread synchronization
Threads : thread safety and per-thread storage
Threads : thread cancellation
Threads : further details
Process groups, sessions, and job control
Process priorities and scheduling
Process resources
Daemons
Writing secure privileged programs
Capabilities
Login accounting
Fundamentals of shared libraries
Advanced features of shared libraries
Interprocess communication overview
Pipes and FIFOs
Introduction to System V IPC
System V message queues
System V semaphores
System V shared memory
Memory mappings
Virtual memory operations
Introduction to POSIX IPC
POSIX message queues
POSIX semaphores
POSIX shared memory
File locking
Sockets : introduction
Sockets : UNIX domain
Sockets : fundamentals of TCP/IP networks
Sockets : Internet domains
Sockets : server design
Sockets : advanced topics
Terminals
Alternative I/O models
Pseudoterminals
Appendixes. Tracing system calls
Parsing command-line options
Casting the NULL pointer
Kernel configuration
Further sources of information
Solutions to selected exercises
Côte titre : fs/19790 The Linux programming interface : a Linux and UNIX system programming handbook / [texte imprimé] / Michael Kerrisk . - San Francisco : No Starch Press, 2010 . - 1 vol (1506 p.) : ill. ; 25 cm.
ISBN : 978-1-59327-220-3
Catégories : Informatique Mots-clés : Linux (système d'exploitation des ordinateurs)
UNIX (système d'exploitation des ordinateurs)
Langages de programmation
Systèmes d'exploitation (ordinateurs)Index. décimale : 005.4 Programmation informatique et des systèmes Résumé :
l'interface de programmation Linux décrit l'API Linux (interface de programmation d'application) les appels système, les fonctions de bibliothèque et d'autres interfaces de bas niveau qui sont utilisées, directement ou indirectement, par chaque programme qui s'exécute sous Linux. Les programmes qui utilisent explicitement ces interfaces sont communément appelés programmes système et incluent des applications telles que shells, éditeurs, systèmes de fenêtrage, émulateurs de terminal, gestionnaires de fichiers, compilateurs, systèmes de gestion de bases de données, machines virtuelles, serveurs réseau et une grande partie des autres logiciels. employé quotidiennement sur les systèmes Linux. Largement indexé et fortement référencé, l'interface de programmation Linux est à la fois un guide d'introduction pour les lecteurs novices en matière de programmation système et une référence complète pour les programmeurs expérimentés. Bien que ce livre aborde en détail une multitude de fonctionnalités spécifiques à Linux, il accorde une attention particulière aux normes de programmation Unix contemporaines et aux problèmes de portabilité. - ÉditeurNote de contenu :
Sommaire
History and standards
Fundamental concepts
System programming concepts
File I/O : the universal I/O model
File I/O : further details
Processes
Memory allocation
Users and groups
Process credentials
Time
System limits and options
System and process information
File I/O buffering
File systems
File attributes
Extended attributes
Access control lists
Directories and links
Monitoring file events
Signals : fundamental concepts
Signals : signal handlers
Signals : advanced features
Timers and sleeping
Process creation
Process termination
Monitoring child processes
Program execution
Process creation and program execution in more detail
Threads : introduction
Threads : thread synchronization
Threads : thread safety and per-thread storage
Threads : thread cancellation
Threads : further details
Process groups, sessions, and job control
Process priorities and scheduling
Process resources
Daemons
Writing secure privileged programs
Capabilities
Login accounting
Fundamentals of shared libraries
Advanced features of shared libraries
Interprocess communication overview
Pipes and FIFOs
Introduction to System V IPC
System V message queues
System V semaphores
System V shared memory
Memory mappings
Virtual memory operations
Introduction to POSIX IPC
POSIX message queues
POSIX semaphores
POSIX shared memory
File locking
Sockets : introduction
Sockets : UNIX domain
Sockets : fundamentals of TCP/IP networks
Sockets : Internet domains
Sockets : server design
Sockets : advanced topics
Terminals
Alternative I/O models
Pseudoterminals
Appendixes. Tracing system calls
Parsing command-line options
Casting the NULL pointer
Kernel configuration
Further sources of information
Solutions to selected exercises
Côte titre : fs/19790 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Fs/19790 Fs/19790 Livre Bibliothéque des sciences Français Disponible
PermalinkThe student edition of matlab / Hanselman, Duane C
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
