University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Les Outils de l'étudiant sous Linux / Pierre-Alain Goupllie
Titre : Les Outils de l'étudiant sous Linux Titre original : StarOffice et OpenOffice Type de document : texte imprimé Auteurs : Pierre-Alain Goupllie Editeur : Paris : Dunod Année de publication : 2002 Collection : Sciences sup Importance : 1 vol (336 p .) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005809-9 Note générale : 978-2-10-005809-9 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Linux
Système d'exploitation
Base de donnée
Internet
StarOfficeIndex. décimale : 004 - Informatique Résumé :
L'emploi des outils bureautiques et d'Internet est indispensable à tout étudiant, quelle que soit la filière choisie. Cet ouvrage a pour objectif de familiariser les utilisateurs avec les principaux outils bureautiques, ainsi qu'avec le courrier électronique et Internet. Ils pourront ainsi rédiger un mémoire, utiliser des tableaux de calculs et en tirer des graphiques démonstratifs, échanger avec des correspondants du monde entier, consulter Internet pour y chercher des informations et des données, et enfin présenter leurs travaux.
Note de contenu :
Sommaire
Découverte de StarOffice
Démarrer une application StarOffice,
Points communs aux divers modules de la suite StarOffice
Créer un document
StarOffice Writer: Généralités
Créer un document
Sauvegarder un document
StarOffice Calc: Généralités
Les classeurs
Travailler sur un classeu
Bases de données: StarOffice Base: Généralités, Tables, Requêtes, etc.; StarOffice Impress: Généralités, Créer une présentation
Sauvegarder sur une présentation
Internet: Généralités
Utiliser le navigateur
Côte titre : Fs/8493 Les Outils de l'étudiant sous Linux = StarOffice et OpenOffice [texte imprimé] / Pierre-Alain Goupllie . - Paris : Dunod, 2002 . - 1 vol (336 p .) : ill. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-005809-9
978-2-10-005809-9
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Linux
Système d'exploitation
Base de donnée
Internet
StarOfficeIndex. décimale : 004 - Informatique Résumé :
L'emploi des outils bureautiques et d'Internet est indispensable à tout étudiant, quelle que soit la filière choisie. Cet ouvrage a pour objectif de familiariser les utilisateurs avec les principaux outils bureautiques, ainsi qu'avec le courrier électronique et Internet. Ils pourront ainsi rédiger un mémoire, utiliser des tableaux de calculs et en tirer des graphiques démonstratifs, échanger avec des correspondants du monde entier, consulter Internet pour y chercher des informations et des données, et enfin présenter leurs travaux.
Note de contenu :
Sommaire
Découverte de StarOffice
Démarrer une application StarOffice,
Points communs aux divers modules de la suite StarOffice
Créer un document
StarOffice Writer: Généralités
Créer un document
Sauvegarder un document
StarOffice Calc: Généralités
Les classeurs
Travailler sur un classeu
Bases de données: StarOffice Base: Généralités, Tables, Requêtes, etc.; StarOffice Impress: Généralités, Créer une présentation
Sauvegarder sur une présentation
Internet: Généralités
Utiliser le navigateur
Côte titre : Fs/8493 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8493 Fs/8493 livre Bibliothéque des sciences Français Disponible
DisponibleD.P. Words :Dictionnaire d'informatique et de micro-informatique:Anglais-Français / Guy Fehlmann
Titre : D.P. Words :Dictionnaire d'informatique et de micro-informatique:Anglais-Français Type de document : texte imprimé Auteurs : Guy Fehlmann Editeur : Paris : Bordas Année de publication : 1983 Importance : 1 vol. (292 p.) Format : 22 cm ISBN/ISSN/EAN : 2-04-015772-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Dictionnaire d'informatique
D.P. Words(dictionnaire)Index. décimale : 004 Informatique Côte titre : Fs/8249 D.P. Words :Dictionnaire d'informatique et de micro-informatique:Anglais-Français [texte imprimé] / Guy Fehlmann . - Paris : Bordas, 1983 . - 1 vol. (292 p.) ; 22 cm.
ISSN : 2-04-015772-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Dictionnaire d'informatique
D.P. Words(dictionnaire)Index. décimale : 004 Informatique Côte titre : Fs/8249 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8249 Fs/8249 livre Bibliothéque des sciences Français Disponible
DisponiblePageMaker 6.5 sur Macintosh / Sophie Castro
Titre : PageMaker 6.5 sur Macintosh Type de document : texte imprimé Auteurs : Sophie Castro Editeur : Paris : Simon & schuster macnillan Année de publication : 1996 Collection : Classroom in a book Importance : 1 vol. (265 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7460-0164-0 Note générale : Glossaire. Index Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Adobe pageMaker
LogicielsIndex. décimale : 004 Informatique Note de contenu :
Sommaire
1- Bulletin home review
2- En-téte d'un architecte
3- Projet architectural
4- Poster du jardin japonais
5- Brochure publicataire
6- Calendrier art deco
7- Livret d'un disque compact
8- Couverture d'un livre
9- Article de magazine
10- Catalogue multimediaCôte titre : Fs/8132 PageMaker 6.5 sur Macintosh [texte imprimé] / Sophie Castro . - Paris : Simon & schuster macnillan, 1996 . - 1 vol. (265 p.) ; 24 cm. - (Classroom in a book) .
ISBN : 978-2-7460-0164-0
Glossaire. Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Adobe pageMaker
LogicielsIndex. décimale : 004 Informatique Note de contenu :
Sommaire
1- Bulletin home review
2- En-téte d'un architecte
3- Projet architectural
4- Poster du jardin japonais
5- Brochure publicataire
6- Calendrier art deco
7- Livret d'un disque compact
8- Couverture d'un livre
9- Article de magazine
10- Catalogue multimediaCôte titre : Fs/8132 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8132 Fs/8132 Livre Bibliothéque des sciences Français Disponible
DisponibleParadigms of artificial intelligence programming / Peter Norvig
Titre : Paradigms of artificial intelligence programming : case studies in Common Lisp / Autre titre : A Type de document : texte imprimé Auteurs : Peter Norvig (1956-....) Editeur : San Francisco, Calif. : Morgan Kaufman Publishers Année de publication : 1992 Importance : xxviii, 946 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-55860-191-8 Catégories : Informatique Mots-clés : Intelligence artificielle Index. décimale : 006.3 Intelligence artificielle Résumé :
Les paradigmes de la programmation AI sont le premier texte à enseigner les techniques avancées de Lisp commun dans le contexte de la construction de systèmes d'IA majeurs. En reconstruisant des programmes AI authentiques et complexes en utilisant le Common Lisp de pointe, le livre enseigne aux étudiants et aux professionnels comment construire et déboguer des programmes pratiques robustes, tout en démontrant un style de programmation supérieur et des concepts d'IA importants. L'auteur met fortement l'accent sur les problèmes de performance pratique impliqués dans l'écriture de vrais programmes de travail de taille significative. Des chapitres sur le dépannage et l'efficacité sont inclus, ainsi qu'une discussion sur les principes fondamentaux de la programmation orientée objet et une description des principales fonctions CLOS. Ce volume est un excellent texte pour un cours sur la programmation AI, un complément utile pour les cours généraux d'IA et une référence indicative pour le programmeur professionnel.Note de contenu :
Sommaire
1 Introduction to Lisp
2 A Simple Lisp Program
3 Overview of Lisp
4 GPS: The General problem Solver
5 Eliza: Dialog with a Machine
6 Building Software Tools
7 Student: Solving Algebra Word Problems
8 Symbolic Mathematics: A Simplification Program
9 Efficiency Issues
10 Low-Level Efficiency Issues
11 Logic Programming
12 Compiling Logic programs
13 Object-Oriented Programming
14 Knowledge Representation and Reasoning
15 Symbolic Mathematics with Canonical Forms
16 Expert Systems
17 Line-Diagram Labeling by Constraint Satisfaction
18 Search and the Game of Othello
19 Introduction to Natural Language
20 Unification Grammars
21 A Grammar of English
22 Scheme: An Uncommon Lisp
23 Compiling Lisp
24 ANSI Common Lisp
25 Troubleshooting
Côte titre : Fs/19814 Paradigms of artificial intelligence programming : case studies in Common Lisp / ; A [texte imprimé] / Peter Norvig (1956-....) . - San Francisco, Calif. : Morgan Kaufman Publishers, 1992 . - xxviii, 946 p. : ill. ; 24 cm.
ISBN : 978-1-55860-191-8
Catégories : Informatique Mots-clés : Intelligence artificielle Index. décimale : 006.3 Intelligence artificielle Résumé :
Les paradigmes de la programmation AI sont le premier texte à enseigner les techniques avancées de Lisp commun dans le contexte de la construction de systèmes d'IA majeurs. En reconstruisant des programmes AI authentiques et complexes en utilisant le Common Lisp de pointe, le livre enseigne aux étudiants et aux professionnels comment construire et déboguer des programmes pratiques robustes, tout en démontrant un style de programmation supérieur et des concepts d'IA importants. L'auteur met fortement l'accent sur les problèmes de performance pratique impliqués dans l'écriture de vrais programmes de travail de taille significative. Des chapitres sur le dépannage et l'efficacité sont inclus, ainsi qu'une discussion sur les principes fondamentaux de la programmation orientée objet et une description des principales fonctions CLOS. Ce volume est un excellent texte pour un cours sur la programmation AI, un complément utile pour les cours généraux d'IA et une référence indicative pour le programmeur professionnel.Note de contenu :
Sommaire
1 Introduction to Lisp
2 A Simple Lisp Program
3 Overview of Lisp
4 GPS: The General problem Solver
5 Eliza: Dialog with a Machine
6 Building Software Tools
7 Student: Solving Algebra Word Problems
8 Symbolic Mathematics: A Simplification Program
9 Efficiency Issues
10 Low-Level Efficiency Issues
11 Logic Programming
12 Compiling Logic programs
13 Object-Oriented Programming
14 Knowledge Representation and Reasoning
15 Symbolic Mathematics with Canonical Forms
16 Expert Systems
17 Line-Diagram Labeling by Constraint Satisfaction
18 Search and the Game of Othello
19 Introduction to Natural Language
20 Unification Grammars
21 A Grammar of English
22 Scheme: An Uncommon Lisp
23 Compiling Lisp
24 ANSI Common Lisp
25 Troubleshooting
Côte titre : Fs/19814 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19814 Fs/19814 Livre Bibliothéque des sciences Français Disponible
DisponibleParameterized complexity theory / Flum
Titre : Parameterized complexity theory Type de document : texte imprimé Auteurs : Flum, Auteur ; Martin Grohe (19..-....), Auteur Editeur : Berlin : Springer Année de publication : 2006 Collection : Texts in theoretical computer science (Print), ISSN 1862-4499 Importance : 1 vol. (XIII- 493 p.) Présentation : graph. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-29952-3 Langues : Anglais (eng) Catégories : Informatique Mots-clés : Complexité informatique
Algorithmes
Complexité de calcul (Informatique)Index. décimale : 511.352 Fonctions récursives (calculabilité, complexité de calcul, fonctions calculables, problèmes NP-complet) Résumé : Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability. This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes, and it presents detailed proofs of recent advanced results that have not appeared in book form before. Several chapters each are devoted to intractability, algorithmic techniques for designing fixed-parameter tractable algorithms, and bounded fixed-parameter tractability and subexponential time complexity. The treatment is comprehensive, and the reader is supported with exercises, notes, a detailed index, and some background on complexity theory and logic. The book will be of interest to computer scientists, mathematicians and graduate students engaged with algorithms and problem complexity Note de contenu :
Sommaire
Fixed-Parameter Tractability.
- Reductions and Parameterized Intractability.
- The Class W[P].
- Logic and Complexity.
- Two Fundamental Hierarchies
.- The First Level of the Hierarchies.
- The W-Hierarchy.- The A- Hierarchy.
- Kernelization and Linear Programming Techniques.
- The Automata-Theoretic Approach.
- Tree Width.
- Planarity and Bounded Local Tree Width.-
Homomorphisms and Embeddings.
- Parameterized Counting Problems.
- Bounded Fixed-Parameter Tractability.
- Subexponential Fixed-Parameter Tractability.
- Appendix, Background from Complexity Theory.
- References.
- Notation.
- Index.Côte titre : Fs/19816 Parameterized complexity theory [texte imprimé] / Flum, Auteur ; Martin Grohe (19..-....), Auteur . - Berlin : Springer, 2006 . - 1 vol. (XIII- 493 p.) : graph. ; 24 cm. - (Texts in theoretical computer science (Print), ISSN 1862-4499) .
ISBN : 978-3-540-29952-3
Langues : Anglais (eng)
Catégories : Informatique Mots-clés : Complexité informatique
Algorithmes
Complexité de calcul (Informatique)Index. décimale : 511.352 Fonctions récursives (calculabilité, complexité de calcul, fonctions calculables, problèmes NP-complet) Résumé : Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability. This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes, and it presents detailed proofs of recent advanced results that have not appeared in book form before. Several chapters each are devoted to intractability, algorithmic techniques for designing fixed-parameter tractable algorithms, and bounded fixed-parameter tractability and subexponential time complexity. The treatment is comprehensive, and the reader is supported with exercises, notes, a detailed index, and some background on complexity theory and logic. The book will be of interest to computer scientists, mathematicians and graduate students engaged with algorithms and problem complexity Note de contenu :
Sommaire
Fixed-Parameter Tractability.
- Reductions and Parameterized Intractability.
- The Class W[P].
- Logic and Complexity.
- Two Fundamental Hierarchies
.- The First Level of the Hierarchies.
- The W-Hierarchy.- The A- Hierarchy.
- Kernelization and Linear Programming Techniques.
- The Automata-Theoretic Approach.
- Tree Width.
- Planarity and Bounded Local Tree Width.-
Homomorphisms and Embeddings.
- Parameterized Counting Problems.
- Bounded Fixed-Parameter Tractability.
- Subexponential Fixed-Parameter Tractability.
- Appendix, Background from Complexity Theory.
- References.
- Notation.
- Index.Côte titre : Fs/19816 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19816 Fs/19816 Livre Bibliothéque des sciences Anglais Disponible
DisponibleParler et faire une présentation en public en toute confiance / Marc Israel
PermalinkPascal 1 / Patrice Lignelet
PermalinkPascal 2 / Patrice Lignelet
PermalinkPascal iso / afnor / Alain Tisserant
PermalinkPascal pour programmeurs / Olivier Lecarme
PermalinkPascal et turbo pascal par la pratique / pierre Le beux
PermalinkPattern classification / Richard O. Duda
PermalinkPattern recognition and machine learning / Christopher M. Bishop
PermalinkPaysages et photographie numérique / GLEMENTS,John
PermalinkLe PC / Scott Mueller
Permalink