Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Résultat de la recherche
163 résultat(s) recherche sur le mot-clé 'Informatique'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche Faire une suggestionCours et exercices corrigés d'algorithmique / Jacques Julliand
Titre : Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant : licence et master d'informatique Type de document : texte imprimé Auteurs : Jacques Julliand, Auteur Editeur : Paris : Éditions Vuibert Année de publication : 2010 Importance : 1 vol. (VIII-264 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Algorithmes Programmation Ordinateurs Problèmes et exercices Informatique Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en œuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant : licence et master d'informatique [texte imprimé] / Jacques Julliand, Auteur . - Paris : Éditions Vuibert, 2010 . - 1 vol. (VIII-264 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-311-00020-7
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Algorithmes Programmation Ordinateurs Problèmes et exercices Informatique Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en œuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.171-1 005.1.171-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 005.1.171-2 005.1.171-2 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 005.1.171-3 005.1.171-3 Livre interne BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 005.1.171-4 005.1.171-4 Livre interne BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 005.1-359-1 005.1-359-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-10 005.1-359-10 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-2 005.1-359-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-3 005.1-359-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-4 005.1-359-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-5 005.1-359-5 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-6 005.1-359-6 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-7 005.1-359-7 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-8 005.1-359-8 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-359-9 005.1-359-9 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible
Titre : Introduction à l'informatique : cours et problèmes Type de document : texte imprimé Auteurs : Francis Scheid, Auteur ; Sylvie Molina, Traducteur Editeur : USA : McGraw-Hill Année de publication : 1985 Collection : Série Schaum Importance : 282 p. Format : 28 cm. ISBN/ISSN/EAN : 978-2-7042-0010-8 Langues : Français Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : informatique Cours et problèmes Note de contenu : La couv. porte «300 exercices résolus». _ Index Introduction à l'informatique : cours et problèmes [texte imprimé] / Francis Scheid, Auteur ; Sylvie Molina, Traducteur . - USA : McGraw-Hill, 1985 . - 282 p. ; 28 cm.. - (Série Schaum) .
ISBN : 978-2-7042-0010-8
Langues : Français
Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : informatique Cours et problèmes Note de contenu : La couv. porte «300 exercices résolus». _ Index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 004.1.19-1 004.1.19-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 004.1.19-2 004.1.19-2 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible inf 01.3-1 inf 01.3-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 004-15-1 004-15-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-2 004-15-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-3 004-15-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-4 004-15-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-5 004-15-5 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-6 004-15-6 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-7 004-15-7 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-8 004-15-8 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-15-9 004-15-9 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible
Titre : Initiation à l'informatique Type de document : texte imprimé Auteurs : Aboubaker Dib, Auteur Editeur : Alger : Office des publications universitaires Année de publication : 1985 Importance : 333 p. Format : 18 cm. Langues : Français Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : Informatique Ordinateurs Initiation à l'informatique [texte imprimé] / Aboubaker Dib, Auteur . - Alger : Office des publications universitaires, 1985 . - 333 p. ; 18 cm.
Langues : Français
Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : Informatique Ordinateurs Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 004.1.79-1 004.1.79-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 004.1.79-2 004.1.79-2 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 004-14-1 004-14-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-2 004-14-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-3 004-14-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-4 004-14-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-5 004-14-5 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-6 004-14-6 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-7 004-14-7 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-8 004-14-8 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 004-14-9 004-14-9 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible
Titre : Informatique, Inf Type de document : texte imprimé Auteurs : Joëlle Delacroix, Auteur ; François Barthélémy, Auteur ; Raphaël Fournier-S'niehotta, Auteur ; [et al.], Auteur Editeur : Paris [France] : Dunod Année de publication : 2017 Collection : Fluoresciences Importance : 1 vol. (VII-469 p.) Présentation : ill.en coul. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-076094-7 Note générale : Bibliogr. p. 464. Lexique français-anglais. Index Langues : Français Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : Informatique Résumé : En couleurs et très illustré ce manuel a été conçu pour tous ceux qui veulent acquérir les bases de l'informatique et du fonctionnement des ordinateurs. Il vous permettra de maîtriser les connaissances fondamentales en algorithmique, en architecture des machines, en réseaux et en bases de données. Tous les chapitres ont été construits pour vous garantir un apprentissage progressif, et comportent : un cours visuel très structuré, avec de nombreux exemples concrets pour introduire et illustrer les notions ou concepts clés ; des focus qui présentent des applications dans la vie courante ou des sujets de recherche ; des repères historiques ; de nombreux QCM et exercices (tous corrigés) pour tester vos acquis et vous entraîner ; un lexique français/anglais pour vous familiariser avec l'anglais de l'informatique. Informatique, Inf [texte imprimé] / Joëlle Delacroix, Auteur ; François Barthélémy, Auteur ; Raphaël Fournier-S'niehotta, Auteur ; [et al.], Auteur . - Paris (France) : Dunod, 2017 . - 1 vol. (VII-469 p.) : ill.en coul. ; 25 cm.. - (Fluoresciences) .
ISBN : 978-2-10-076094-7
Bibliogr. p. 464. Lexique français-anglais. Index
Langues : Français
Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : Informatique Résumé : En couleurs et très illustré ce manuel a été conçu pour tous ceux qui veulent acquérir les bases de l'informatique et du fonctionnement des ordinateurs. Il vous permettra de maîtriser les connaissances fondamentales en algorithmique, en architecture des machines, en réseaux et en bases de données. Tous les chapitres ont été construits pour vous garantir un apprentissage progressif, et comportent : un cours visuel très structuré, avec de nombreux exemples concrets pour introduire et illustrer les notions ou concepts clés ; des focus qui présentent des applications dans la vie courante ou des sujets de recherche ; des repères historiques ; de nombreux QCM et exercices (tous corrigés) pour tester vos acquis et vous entraîner ; un lexique français/anglais pour vous familiariser avec l'anglais de l'informatique. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 004.1.10-2 004.1.10-2 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 004.1.10-3 004.1.10-3 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 004.1.10-4 004.1.10-4 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 004.1.10-5 004.1.10-5 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 004.1.10-6 004.1.10-6 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 004.1.10-7 004.1.10-7 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible 004.1.10-8 004.1.10-8 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Informatique (afl) Disponible
Titre : Aide-mémoire d'informatique : fichiers,bases de données,Fortran,Cobol,PL1,Basic,Téléinformatique Type de document : texte imprimé Auteurs : Charles Berthet, Auteur Mention d'édition : 4e éd. mise à jour et augmentée Editeur : Paris [France] : Dunod Année de publication : 1983 Collection : Dunod informatique Importance : 283 p Format : 18 cm ISBN/ISSN/EAN : 978-2-04-015605-3 Langues : Français Mots-clés : Informatique Aide-mémoire d'informatique : fichiers,bases de données,Fortran,Cobol,PL1,Basic,Téléinformatique [texte imprimé] / Charles Berthet, Auteur . - 4e éd. mise à jour et augmentée . - Paris (France) : Dunod, 1983 . - 283 p ; 18 cm. - (Dunod informatique) .
ISBN : 978-2-04-015605-3
Langues : Français
Mots-clés : Informatique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF 09-04-7 INF 09-04-7 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 005.7-24-1 005.7-24-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.7-24-2 005.7-24-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.7-24-3 005.7-24-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.7-24-4 005.7-24-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.7-24-5 005.7-24-5 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.7-24-6 005.7-24-6 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.7-24-7 005.7-24-7 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible
Permalink
Permalink
Permalink
Permalink
Permalink
