Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Catégories



الرياضيات الاساسية للحاسب / Seymour Lipschutz
Titre : الرياضيات الاساسية للحاسب Type de document : texte imprimé Auteurs : Seymour Lipschutz, Auteur Editeur : القاهرة : دار ماكجروهيل للنشر Année de publication : 1982 Collection : سلسلة ملخصات شوم Importance : 439ص. Format : 27سم. ISBN/ISSN/EAN : 07-084260-4 Langues : Arabe Catégories : INFORMATIQUE:07.Mathématique pour l'informatique الرياضيات الاساسية للحاسب [texte imprimé] / Seymour Lipschutz, Auteur . - القاهرة : دار ماكجروهيل للنشر, 1982 . - 439ص. ; 27سم.. - (سلسلة ملخصات شوم) .
ISSN : 07-084260-4
Langues : Arabe
Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF 07.08.34 INF 07.08.34 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 519.0-23-1 519.0-23-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 519.0-23-2 519.0-23-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 519.0-23-3 519.0-23-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 519.0-23-4 519.0-23-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 519.0-23-5 519.0-23-5 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible Algorithmes et structures de données avec Ada, C et Java / Abdelali Guerid
Titre : Algorithmes et structures de données avec Ada, C et Java Type de document : texte imprimé Auteurs : Abdelali Guerid, Auteur ; Pierre Breguet, Auteur ; Henri Röthlisberger, Auteur Editeur : Lausanne [Suisse] : Presses polytechniques et universitaires romandes Année de publication : 2002 Collection : Collection Informatique Importance : 498 p Présentation : ill., couv. ill. en coul Format : 24cm ISBN/ISSN/EAN : 978-2-88074-488-5 Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Algorithmes Structures de données (informatique) Résumé : Cet ouvrage se démarque de la grande majorité des publications relatives aux algorithmes par le fait que ceux-ci sont ici présentés sous forme de pseudo-codes très proches de la langue naturelle, que chacun d'entre eux fait l'objet d'une réalisation dans trois langages de programmation importants - à savoir Ada, C++ et Java - et que l'approche est essentiellement pédagogique. La matière de ce livre est exposée de manière concise et précise, les notions traitées dans un ordre facilitant l'apprentissage, et le tout accompagné de nombreux exemples et exercices. Algorithmes et structures de données avec Ada, C et Java [texte imprimé] / Abdelali Guerid, Auteur ; Pierre Breguet, Auteur ; Henri Röthlisberger, Auteur . - Lausanne (Suisse) : Presses polytechniques et universitaires romandes, 2002 . - 498 p : ill., couv. ill. en coul ; 24cm. - (Collection Informatique) .
ISBN : 978-2-88074-488-5
Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Algorithmes Structures de données (informatique) Résumé : Cet ouvrage se démarque de la grande majorité des publications relatives aux algorithmes par le fait que ceux-ci sont ici présentés sous forme de pseudo-codes très proches de la langue naturelle, que chacun d'entre eux fait l'objet d'une réalisation dans trois langages de programmation importants - à savoir Ada, C++ et Java - et que l'approche est essentiellement pédagogique. La matière de ce livre est exposée de manière concise et précise, les notions traitées dans un ordre facilitant l'apprentissage, et le tout accompagné de nombreux exemples et exercices. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF 07.74.01 INF 07.74.01 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible Ateliers Mathematica / Robert Erra
Titre : Ateliers Mathematica Type de document : texte imprimé Auteurs : Robert Erra, Auteur Editeur : Paris : Vuibert informatique Année de publication : 2003 Importance : 527 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7117-8657-2 Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Mathematica (logiciel) Résumé : Dans l'enseignement supérieur mais aussi dans la recherche en mathématiques et en informatique, nous assistons à un changement majeur et durable dû à l'existence d'environnements de développement tel Mathematica. L'objectif de cet ouvrage n'est pas de prouver que l'on peut faire des mathématiques, de l'algorithmique ou de la programmation avec Mathematica : c'est évident aux yeux des auteurs. Il s'agit plutôt de convaincre les lecteurs que manipuler, visualiser, tester, en un mot expérimenter, permet de mieux percevoir un problème et donc de mieux comprendre ses solutions. Cet ouvrage se propose donc d'utiliser le logiciel de calcul formel Mathematica comme langage et environnement de programmation, dans une optique de résolution de problèmes. Les ateliers concernent des thèmes très variés : algorithmique, paradigmes de programmation, algorithmatique (fractions continues et égyptiennes, exponentiation rapide, etc.), algorithmique numérique, cryptologie classique, théorie algorithmique des nombres et cryptologie asymétrique, développements limités et leurs applications, géométrie des " hérissons mathématiques ", génération et calcul de diagrammes de Feynman, statistiques, filtrage et analyse de Fourier. Chaque atelier contient une présentation des problèmes, une première approche des solutions (avec souvent plusieurs solutions détaillées en Mathematica, disponibles sur le site web compagnon), des variantes et compléments, ainsi que de nombreuses références bibliographiques. Cet ouvrage s'adresse aux étudiants des 1er et 2e cycles universitaires scientifiques, aux étudiants des écoles d'ingénieurs, à ceux préparant le CAPES et l'agrégation de mathématiques, aux enseignants, ainsi qu'à tous les utilisateurs de Mathematica, ingénieurs, chercheurs ou scientifiques Ateliers Mathematica [texte imprimé] / Robert Erra, Auteur . - Paris : Vuibert informatique, 2003 . - 527 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7117-8657-2
Langues : Français
Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Mathematica (logiciel) Résumé : Dans l'enseignement supérieur mais aussi dans la recherche en mathématiques et en informatique, nous assistons à un changement majeur et durable dû à l'existence d'environnements de développement tel Mathematica. L'objectif de cet ouvrage n'est pas de prouver que l'on peut faire des mathématiques, de l'algorithmique ou de la programmation avec Mathematica : c'est évident aux yeux des auteurs. Il s'agit plutôt de convaincre les lecteurs que manipuler, visualiser, tester, en un mot expérimenter, permet de mieux percevoir un problème et donc de mieux comprendre ses solutions. Cet ouvrage se propose donc d'utiliser le logiciel de calcul formel Mathematica comme langage et environnement de programmation, dans une optique de résolution de problèmes. Les ateliers concernent des thèmes très variés : algorithmique, paradigmes de programmation, algorithmatique (fractions continues et égyptiennes, exponentiation rapide, etc.), algorithmique numérique, cryptologie classique, théorie algorithmique des nombres et cryptologie asymétrique, développements limités et leurs applications, géométrie des " hérissons mathématiques ", génération et calcul de diagrammes de Feynman, statistiques, filtrage et analyse de Fourier. Chaque atelier contient une présentation des problèmes, une première approche des solutions (avec souvent plusieurs solutions détaillées en Mathematica, disponibles sur le site web compagnon), des variantes et compléments, ainsi que de nombreuses références bibliographiques. Cet ouvrage s'adresse aux étudiants des 1er et 2e cycles universitaires scientifiques, aux étudiants des écoles d'ingénieurs, à ceux préparant le CAPES et l'agrégation de mathématiques, aux enseignants, ainsi qu'à tous les utilisateurs de Mathematica, ingénieurs, chercheurs ou scientifiques Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF 07.82.03 INF 07.82.03 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 510.2-5/2 510.2-5/2 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 510.2-19-1 510.2-19-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible Calcul formel et manipulations symboliques / Hubert Caprasse
Titre : Calcul formel et manipulations symboliques Type de document : texte imprimé Auteurs : Hubert Caprasse, Auteur Editeur : Paris : Hermès Science Publications Année de publication : 1997 Collection : Collection Informatique Importance : 190 p Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-658-6 Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel Logiciels REDUCE (logiciel) LISP (langage de programmation) Résumé : Des logiciels tels que Maple, Mathematica, Reduce... transforment un ordinateur usuel en un " assistant mathématicien ". Comment dialoguer avec cet assistant ? Que peut-il faire ? Quelles sont ses limites ? Comment l'exploiter au mieux ? Comment étendre ses possibilités de calcul ? Telles sont, parmi d'autres, les questions auxquelles Calcul formel et manipulations symboliques tente de donner des réponses claires et pratiques. Le premier chapitre donne au lecteur une bonne compréhension du fonctionnement de ces logiciels et lui permet de bien les exploiter. Il est invité à considérer les diverses facettes du calcul mathématique depuis le calcul numérique jusqu'à la résolution des équations différentielles. A chaque étape, des exemples, pour la plupart réalisés à l'intérieur du logiciel Reduce mais qui peuvent l'être dans les autres systèmes, illustrent et concrétisent le propos. Quand c'est utile, les concepts sous-jacents sont expliqués de façon simple. Le second chapitre met en évidence le fait que le calcul mathématique n'est qu'un cas particulier de manipulation de symboles dotés de propriétés. On y explique comment on peut rendre l'ordinateur " intelligent " et lui faire " comprendre " des concepts. A cette fin, on décrit les caractéristiques essentielles du langage LISP. Ensuite, on étudie le langage RLISP dans lequel le système Reduce est construit. Cette démarche permet de décrire le système en profondeur et donne au lecteur la possibilité d'acquérir la même puissance de programmation que ceux qui développent le système. Calcul formel et manipulations symboliques [texte imprimé] / Hubert Caprasse, Auteur . - Paris : Hermès Science Publications, 1997 . - 190 p ; 24 cm. - (Collection Informatique) .
ISBN : 978-2-86601-658-6
Langues : Français
Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel Logiciels REDUCE (logiciel) LISP (langage de programmation) Résumé : Des logiciels tels que Maple, Mathematica, Reduce... transforment un ordinateur usuel en un " assistant mathématicien ". Comment dialoguer avec cet assistant ? Que peut-il faire ? Quelles sont ses limites ? Comment l'exploiter au mieux ? Comment étendre ses possibilités de calcul ? Telles sont, parmi d'autres, les questions auxquelles Calcul formel et manipulations symboliques tente de donner des réponses claires et pratiques. Le premier chapitre donne au lecteur une bonne compréhension du fonctionnement de ces logiciels et lui permet de bien les exploiter. Il est invité à considérer les diverses facettes du calcul mathématique depuis le calcul numérique jusqu'à la résolution des équations différentielles. A chaque étape, des exemples, pour la plupart réalisés à l'intérieur du logiciel Reduce mais qui peuvent l'être dans les autres systèmes, illustrent et concrétisent le propos. Quand c'est utile, les concepts sous-jacents sont expliqués de façon simple. Le second chapitre met en évidence le fait que le calcul mathématique n'est qu'un cas particulier de manipulation de symboles dotés de propriétés. On y explique comment on peut rendre l'ordinateur " intelligent " et lui faire " comprendre " des concepts. A cette fin, on décrit les caractéristiques essentielles du langage LISP. Ensuite, on étudie le langage RLISP dans lequel le système Reduce est construit. Cette démarche permet de décrire le système en profondeur et donne au lecteur la possibilité d'acquérir la même puissance de programmation que ceux qui développent le système. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF 07.77.02 INF 07.77.02 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 511.3-12-1 511.3-12-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible Calcul formel / James H. Davenport
Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : James H. Davenport, Auteur ; Yvon Siret, Auteur ; Évelyne Tournier, Auteur Editeur : Paris : Masson Année de publication : 1993 Collection : Etudes et recherches en informatique Importance : X-275 p. Présentation : graph., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-84200-9 Note générale : Bibliogr. p. 255-269. Index
Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel Algorithmes Calcul formel : systèmes et algorithmes de manipulations algébriques [texte imprimé] / James H. Davenport, Auteur ; Yvon Siret, Auteur ; Évelyne Tournier, Auteur . - Paris : Masson, 1993 . - X-275 p. : graph., couv. ill. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-84200-9
Bibliogr. p. 255-269. Index
Langues : Français
Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel Algorithmes Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF 07.76.04 INF 07.76.04 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 511.3-6/2 511.3-6/2 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8-1 511.3-8-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-8-2 511.3-8-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-8-3 511.3-8-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible CONCURRENCY THEORY / Howard Bowman
PermalinkIntroduction à l'optimisation / Jean-Christophe Culioli
PermalinkLambda-calcul / Jean-Louis Krivine
PermalinkProgrammation logique par contrintes / François Fages
Permalink