University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Les principes des Ordinateurs / F-H Raymond
Titre : Les principes des Ordinateurs Type de document : texte imprimé Auteurs : F-H Raymond, Auteur Editeur : Paris : Presses universitaires de France Année de publication : 1969 Importance : 1 vol (319 p .) Format : 21 cm Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique:Ordinateur Index. décimale : 004 - Informatique Côte titre : Fs/8495 Les principes des Ordinateurs [texte imprimé] / F-H Raymond, Auteur . - Paris : Presses universitaires de France, 1969 . - 1 vol (319 p .) ; 21 cm.
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique:Ordinateur Index. décimale : 004 - Informatique Côte titre : Fs/8495 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8495 Fs/8495 livre Bibliothéque des sciences Français Disponible
DisponiblePrincipes des systèmes d'exploitation avec Java / Abraham Silberschatz
Titre : Principes des systèmes d'exploitation avec Java Type de document : texte imprimé Auteurs : Abraham Silberschatz, Auteur ; Peter Baer Galvin, Auteur ; Greg Gagne, Auteur ; Eddy Caron, Traducteur ; Frédéric Suter, Traducteur Editeur : Paris : Vuibert Année de publication : 2008 Importance : 1 vol. (872 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-7117-4869-3 Note générale : 978-2-7117-4869-3 Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Informatique Mots-clés : Systèmes d'exploitation (ordinateurs)
Java (langage de programmation)Index. décimale : 005.4 Programmation informatique et des systèmes Résumé :
Voici le premier ouvrage à introduire pédagogiquement les principes des systèmes d'exploitation à l'aide du langage de programmation Java. Écrit par des spécialistes du domaine, il met à profit la richesse conceptuelle de ce langage pour traduire sous forme de code réel les concepts des systèmes d'exploitation modernes.
Les fondements sont exposés, de la thérie juqu'aux réalisations effectives qui ont jalonné l'histoire des systèmes d'exploitation : gestion des processus, stockage, entrées/sorties, systèmes distribués, protection, sécurité.
Cette nouvelle édition s'applique à exposer les développements récents du domaine : réseau sans fil, communication client-serveur (RPC, RMI, sockets), Pthreads, etc. Elle utilise Java pour illustrer de nombreux concepts au coeur des systèmes actuels : ordonnancement de tâches, synchronisation et communication interprocessus, programmation réseau. Ces concepts sont largement développés et illustrés par des programmes complets en Java mais aussi en C. L'ouvrage contient une présentation du langage Java qui facilitera la prise en main par le lecteur débutant.
Des exercices et exemples spécifiques sont déclinés pour chaque famille de plateforme actuelle, permettant au lecteur de découvrir le fonctionnement interne de son propre système d'exploitation : Unix, Solaris, Windows, Mac OS X, sans oublier Linux.Note de contenu :
Sommaire
Tour d'horizon
Gestion de processus
Gestion de stockage
Systèmes d'entrée/sortie
Systèmes répartis
Protection et sécurité
Etudes de cas
Annexes
Bibliographie
Crédits
IndexCôte titre : Fs/19574-Fs/8621-Fs/9705-9708 Principes des systèmes d'exploitation avec Java [texte imprimé] / Abraham Silberschatz, Auteur ; Peter Baer Galvin, Auteur ; Greg Gagne, Auteur ; Eddy Caron, Traducteur ; Frédéric Suter, Traducteur . - Paris : Vuibert, 2008 . - 1 vol. (872 p.) : ill., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-7117-4869-3
978-2-7117-4869-3
Langues : Français (fre) Langues originales : Anglais (eng)
Catégories : Informatique Mots-clés : Systèmes d'exploitation (ordinateurs)
Java (langage de programmation)Index. décimale : 005.4 Programmation informatique et des systèmes Résumé :
Voici le premier ouvrage à introduire pédagogiquement les principes des systèmes d'exploitation à l'aide du langage de programmation Java. Écrit par des spécialistes du domaine, il met à profit la richesse conceptuelle de ce langage pour traduire sous forme de code réel les concepts des systèmes d'exploitation modernes.
Les fondements sont exposés, de la thérie juqu'aux réalisations effectives qui ont jalonné l'histoire des systèmes d'exploitation : gestion des processus, stockage, entrées/sorties, systèmes distribués, protection, sécurité.
Cette nouvelle édition s'applique à exposer les développements récents du domaine : réseau sans fil, communication client-serveur (RPC, RMI, sockets), Pthreads, etc. Elle utilise Java pour illustrer de nombreux concepts au coeur des systèmes actuels : ordonnancement de tâches, synchronisation et communication interprocessus, programmation réseau. Ces concepts sont largement développés et illustrés par des programmes complets en Java mais aussi en C. L'ouvrage contient une présentation du langage Java qui facilitera la prise en main par le lecteur débutant.
Des exercices et exemples spécifiques sont déclinés pour chaque famille de plateforme actuelle, permettant au lecteur de découvrir le fonctionnement interne de son propre système d'exploitation : Unix, Solaris, Windows, Mac OS X, sans oublier Linux.Note de contenu :
Sommaire
Tour d'horizon
Gestion de processus
Gestion de stockage
Systèmes d'entrée/sortie
Systèmes répartis
Protection et sécurité
Etudes de cas
Annexes
Bibliographie
Crédits
IndexCôte titre : Fs/19574-Fs/8621-Fs/9705-9708 Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité Fs/19574 Fs/19574 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/8621 Fs/8621 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9705 Fs/9705-9708 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9706 Fs/9705-9708 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9707 Fs/9705-9708 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9708 Fs/9705-9708 livre Bibliothéque des sciences Français Disponible
DisponiblePrinciples of model checking / Christel Baier
Titre : Principles of model checking Type de document : texte imprimé Auteurs : Christel Baier ; Joost-Pieter Katoen Editeur : Cambridge, Mass. : The MIT Press Année de publication : 2008 Importance : 1 vol. (963 p.) Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-0-262-02649-9 Catégories : Informatique Mots-clés : Logiciels : Vérification : Manuels d'enseignement supérieur : Problèmes et exercices
Ordinateurs : Fiabilité
Computer software : Vérification
Vérification du modèleIndex. décimale : 004.2 Analyse, conception et évaluation des systèmes informatiques Résumé :
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden. Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science.Note de contenu :
Sommaire :
1. System verification
2. Modelling concurrent systems
3. Linear-time properties
4. Regular properties
5. Linear temporal logic
6. Computation tree logic
7. Equivalences and abstraction
8. Partial order reduction
9. Timed automata
10. Probabilistic systemsCôte titre : Fs/19822 Principles of model checking [texte imprimé] / Christel Baier ; Joost-Pieter Katoen . - Cambridge, Mass. : The MIT Press, 2008 . - 1 vol. (963 p.) : ill. ; 26 cm.
ISBN : 978-0-262-02649-9
Catégories : Informatique Mots-clés : Logiciels : Vérification : Manuels d'enseignement supérieur : Problèmes et exercices
Ordinateurs : Fiabilité
Computer software : Vérification
Vérification du modèleIndex. décimale : 004.2 Analyse, conception et évaluation des systèmes informatiques Résumé :
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden. Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science.Note de contenu :
Sommaire :
1. System verification
2. Modelling concurrent systems
3. Linear-time properties
4. Regular properties
5. Linear temporal logic
6. Computation tree logic
7. Equivalences and abstraction
8. Partial order reduction
9. Timed automata
10. Probabilistic systemsCôte titre : Fs/19822 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19822 Fs/19822 Livre Bibliothéque des sciences Français Disponible
DisponiblePrinciples of network and system administration / Mark Burgess
Titre : Principles of network and system administration Type de document : texte imprimé Auteurs : Mark Burgess Mention d'édition : 2e éd. Editeur : Hoboken, NJ : Wiley Année de publication : 2003 Importance : 1 vol. (634 p.) Format : 24 cm ISBN/ISSN/EAN : 978-0-470-86807-2 Catégories : Informatique Mots-clés : Informatique : Gestion
Internet : GestionIndex. décimale : 005.4 Programmation informatique et des systèmes Résumé :
Principles of Network and System Administration focuses on the general principles involved in setting up, configuring and maintaining computer communities, and provides a conceptual overview of the subject. A robust discipline of System Administration is now coming of age and both academics and industry recognize the need to formalize the problems which system administrators tackle. Amongst these challenges are the need to design a network which is logical, efficient, easy to upgrade and secure. The system administrator also needs to keep track of the ever increasing amount of information, to ensure that problems are fixed quickly, and provide a comfortable environment for users. The breadth and complexity involved in adopting and integrating ever more sophisticated technology is covered in this greatly expanded new edition.
Whilst providing practical illustrations of technical specifics through examples, Burgess steers away from the overwhelming details of specific operating systems. Trainee administrators and students alike need to understand a wealth of issues relating to heterogeneous environments before understanding the quirks of any one particular system. Moreover this book teaches good practice for working in a global community of networked machines and organizations ? which extends beyond being technically savvy to being professionally and ethically responsible.
Features:
Broad coverage of Linux and other Unix versions, Windows, Macs and mainframes.
Practical - supplemented with reference section containing practical recipes and advice.
Vendor/Platform independent view of the technical, theoretical, practical and social/ethical aspects to Systems Administration.
Strong pedagogy - end of chapter exercises plus teaching guide available from Website.
New to this edition:
More exercises
Security expanded; now covers ISO 17799; fault analysis and diagnostics
Covers Java services and Ipv6Note de contenu :
Sommaire
Preface to Second Edition.
1. Introduction.
2. System Components.
3. Networked Communities.
4. Host Management.
5. User Management6. Models of Network and System Administration.
7. Configuration and Maintenance.
8. Diagnostics, Fault and Change Management.
9. Application Level Services.
10. Network Level Services.
11. Principles of Security.
12. Security Implications.
13. Analytical System Administration.
14. Summary and Outlook.
A. Some Useful Unix Commands.
B. Programming and Compiling.
C. Example Telnet Session.
D. Glossary.
E. Recommended Reading.
Bibliography.
Index.Côte titre : Fs/19823 Principles of network and system administration [texte imprimé] / Mark Burgess . - 2e éd. . - Hoboken, NJ : Wiley, 2003 . - 1 vol. (634 p.) ; 24 cm.
ISBN : 978-0-470-86807-2
Catégories : Informatique Mots-clés : Informatique : Gestion
Internet : GestionIndex. décimale : 005.4 Programmation informatique et des systèmes Résumé :
Principles of Network and System Administration focuses on the general principles involved in setting up, configuring and maintaining computer communities, and provides a conceptual overview of the subject. A robust discipline of System Administration is now coming of age and both academics and industry recognize the need to formalize the problems which system administrators tackle. Amongst these challenges are the need to design a network which is logical, efficient, easy to upgrade and secure. The system administrator also needs to keep track of the ever increasing amount of information, to ensure that problems are fixed quickly, and provide a comfortable environment for users. The breadth and complexity involved in adopting and integrating ever more sophisticated technology is covered in this greatly expanded new edition.
Whilst providing practical illustrations of technical specifics through examples, Burgess steers away from the overwhelming details of specific operating systems. Trainee administrators and students alike need to understand a wealth of issues relating to heterogeneous environments before understanding the quirks of any one particular system. Moreover this book teaches good practice for working in a global community of networked machines and organizations ? which extends beyond being technically savvy to being professionally and ethically responsible.
Features:
Broad coverage of Linux and other Unix versions, Windows, Macs and mainframes.
Practical - supplemented with reference section containing practical recipes and advice.
Vendor/Platform independent view of the technical, theoretical, practical and social/ethical aspects to Systems Administration.
Strong pedagogy - end of chapter exercises plus teaching guide available from Website.
New to this edition:
More exercises
Security expanded; now covers ISO 17799; fault analysis and diagnostics
Covers Java services and Ipv6Note de contenu :
Sommaire
Preface to Second Edition.
1. Introduction.
2. System Components.
3. Networked Communities.
4. Host Management.
5. User Management6. Models of Network and System Administration.
7. Configuration and Maintenance.
8. Diagnostics, Fault and Change Management.
9. Application Level Services.
10. Network Level Services.
11. Principles of Security.
12. Security Implications.
13. Analytical System Administration.
14. Summary and Outlook.
A. Some Useful Unix Commands.
B. Programming and Compiling.
C. Example Telnet Session.
D. Glossary.
E. Recommended Reading.
Bibliography.
Index.Côte titre : Fs/19823 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19823 Fs/19823 Livre Bibliothéque des sciences Anglais Disponible
DisponiblePro Deep Learning with TensorFlow 2.0: A Mathematical Approach to Advanced Artificial Intelligence in Python / Pattanayak Santanu
Titre : Pro Deep Learning with TensorFlow 2.0: A Mathematical Approach to Advanced Artificial Intelligence in Python Type de document : texte imprimé Auteurs : Pattanayak Santanu, Auteur Editeur : Apress Année de publication : 2023 Importance : 1 vol.(652 p.) Format : 24 cm ISBN/ISSN/EAN : 978-1-4842-8930-3 Langues : Anglais (eng) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
This book builds upon the foundations established in its first edition, with updated chapters and the latest code implementations to bring it up to date with Tensorflow 2.0.
Pro Deep Learning with TensorFlow 2.0 begins with the mathematical and core technical foundations of deep learning. Next, you will learn about convolutional neural networks, including new convolutional methods such as dilated convolution, depth-wise separable convolution, and their implementation. You’ll then gain an understanding of natural language processing in advanced network architectures such as transformers and various attention mechanisms relevant to natural language processing and neural networks in general. As you progress through the book, you’ll explore unsupervised learning frameworks that reflect the current state of deep learning methods, such as autoencoders and variational autoencoders. The final chapter covers the advanced topic of generative adversarial networks and their variants, such as cycle consistency GANs and graph neural network techniques such as graph attention networks and GraphSAGE.
Upon completing this book, you will understand the mathematical foundations and concepts of deep learning, and be able to use the prototypes demonstrated to build new deep learning applications.Côte titre : Fs/25028 Pro Deep Learning with TensorFlow 2.0: A Mathematical Approach to Advanced Artificial Intelligence in Python [texte imprimé] / Pattanayak Santanu, Auteur . - Usa : Apress, 2023 . - 1 vol.(652 p.) ; 24 cm.
ISBN : 978-1-4842-8930-3
Langues : Anglais (eng)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
This book builds upon the foundations established in its first edition, with updated chapters and the latest code implementations to bring it up to date with Tensorflow 2.0.
Pro Deep Learning with TensorFlow 2.0 begins with the mathematical and core technical foundations of deep learning. Next, you will learn about convolutional neural networks, including new convolutional methods such as dilated convolution, depth-wise separable convolution, and their implementation. You’ll then gain an understanding of natural language processing in advanced network architectures such as transformers and various attention mechanisms relevant to natural language processing and neural networks in general. As you progress through the book, you’ll explore unsupervised learning frameworks that reflect the current state of deep learning methods, such as autoencoders and variational autoencoders. The final chapter covers the advanced topic of generative adversarial networks and their variants, such as cycle consistency GANs and graph neural network techniques such as graph attention networks and GraphSAGE.
Upon completing this book, you will understand the mathematical foundations and concepts of deep learning, and be able to use the prototypes demonstrated to build new deep learning applications.Côte titre : Fs/25028 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/25028 Fs/25028 livre Bibliothéque des sciences Anglais Disponible
Sorti jusqu'au 22/04/2024Processing XML with Java / Elliotte Rusty Harold
PermalinkProgramation en pyton pour les mathématiques / Boucau,Aexandre casmayou
PermalinkProgrammation et algorithmique en VBA pour Excel
PermalinkProgrammation et analyse statistique avec R / Paroissin, Christian
PermalinkProgrammation en Assembleur 68000 / Leon Louis
PermalinkProgrammation avancée en C / Sébastien Varrette
PermalinkProgrammation avec dBASE III plus / Ashton Tate
PermalinkProgrammation avec le langage Python :Un outil commode au service de l'ingénieur / DUPRE,Xavier
PermalinkProgrammation concurrente / André Schiper
PermalinkProgrammation concurrente / André Schiper
Permalink