University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 004 - Informatique
Ajouter le résultat dans votre panier Affiner la recherche
Langage PL / 1:Initiation. Perfectionnement / René-Pierre Balme
Titre : Langage PL / 1:Initiation. Perfectionnement Type de document : texte imprimé Auteurs : René-Pierre Balme Editeur : Paris : Masson Année de publication : 1983 Collection : Manuels informatiques masson Importance : 1 vol. (232 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-225-80051-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langage PLIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Eléments de base du langage
2- Instructions de base
3- Pour une programmation efficaceCôte titre : Fs/8434 Langage PL / 1:Initiation. Perfectionnement [texte imprimé] / René-Pierre Balme . - Paris : Masson, 1983 . - 1 vol. (232 p.) ; 24 cm. - (Manuels informatiques masson) .
ISBN : 978-2-225-80051-1
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langage PLIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Eléments de base du langage
2- Instructions de base
3- Pour une programmation efficaceCôte titre : Fs/8434 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8434 Fs/8434 livre Bibliothéque des sciences Français Disponible
DisponibleLE Langage VHDL / Jacques Weber
Titre : LE Langage VHDL Type de document : texte imprimé Auteurs : Jacques Weber ; Maurice Meaudre Mention d'édition : 2e ed Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup Importance : 1 vol (232 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-004755-0 Note générale : 978-2-10-004755-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langage VHDL
Circuits programmationIndex. décimale : 004 - Informatique Résumé :
La seconde édition de ce manuel sur l'utilisation du langage VHDL s'adresse aux électroniciens et aux informaticiens, ainsi qu'aux étudiants de ces disciplines qui souhaitent maîtriser la modélisation et la réalisation des circuits numériques. Le langage VHDL est devenu un véritable outil de conception des circuits numériques. il permet d'autre part de concevoir et de vérifier un système électronique complexe. Cet ouvrage expose en trois parties les étapes qui conduisent de la simulation au circuit opérationnel. La première partie aborde rapidement le contexte de la conception assistée par ordinateur des circuits numériques. La deuxième développe la structure et les possibilités du langage VHDL, tant en synthèse qu'en vérification. De nombreux exemples permettent au lecteur de valider sa compréhension. La dernière partie est une présentation synthétique des circuits programmables. Des énoncés d'exercices sont proposés à la fin du cours. En complément à l'utilisation de ce manuel, des liens vers les fournisseurs de logiciels de simulations, des fichiers de programmes, les solutions des exercices et des énoncés d'exercices supplémentaires sont disponibles et téléchargeables sur le site Web des auteurs.Note de contenu :
Sommaire
Modélisation et synthèse : le même langage.
VHDL.
Les circuits programmables.Côte titre : Fs/8466 LE Langage VHDL [texte imprimé] / Jacques Weber ; Maurice Meaudre . - 2e ed . - Paris : Dunod, 2001 . - 1 vol (232 p.) : ill. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-004755-0
978-2-10-004755-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langage VHDL
Circuits programmationIndex. décimale : 004 - Informatique Résumé :
La seconde édition de ce manuel sur l'utilisation du langage VHDL s'adresse aux électroniciens et aux informaticiens, ainsi qu'aux étudiants de ces disciplines qui souhaitent maîtriser la modélisation et la réalisation des circuits numériques. Le langage VHDL est devenu un véritable outil de conception des circuits numériques. il permet d'autre part de concevoir et de vérifier un système électronique complexe. Cet ouvrage expose en trois parties les étapes qui conduisent de la simulation au circuit opérationnel. La première partie aborde rapidement le contexte de la conception assistée par ordinateur des circuits numériques. La deuxième développe la structure et les possibilités du langage VHDL, tant en synthèse qu'en vérification. De nombreux exemples permettent au lecteur de valider sa compréhension. La dernière partie est une présentation synthétique des circuits programmables. Des énoncés d'exercices sont proposés à la fin du cours. En complément à l'utilisation de ce manuel, des liens vers les fournisseurs de logiciels de simulations, des fichiers de programmes, les solutions des exercices et des énoncés d'exercices supplémentaires sont disponibles et téléchargeables sur le site Web des auteurs.Note de contenu :
Sommaire
Modélisation et synthèse : le même langage.
VHDL.
Les circuits programmables.Côte titre : Fs/8466 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8466 Fs/8466 livre Bibliothéque des sciences Français Disponible
DisponibleLangages et méthodes de programmation des robots industriels:Séminaire international 27-29 juin 1979
Titre : Langages et méthodes de programmation des robots industriels:Séminaire international 27-29 juin 1979 Type de document : texte imprimé Editeur : Chesnay : IRIA Année de publication : 1979 Importance : 1 vol. (212 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7261-0226-8 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Robots
Automates
Technologie robotiqueIndex. décimale : 004 - Informatique Côte titre : Fs/8435 Langages et méthodes de programmation des robots industriels:Séminaire international 27-29 juin 1979 [texte imprimé] . - Chesnay : IRIA, 1979 . - 1 vol. (212 p.) ; 24 cm.
ISBN : 978-2-7261-0226-8
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Robots
Automates
Technologie robotiqueIndex. décimale : 004 - Informatique Côte titre : Fs/8435 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8435 Fs/8435 livre Bibliothéque des sciences Français Disponible
DisponibleLe Langue ADA / Dominique Verrand
Titre : Le Langue ADA : Manuel dévaluation Type de document : texte imprimé Auteurs : Dominique Verrand Editeur : Bruxelles : Bordas Année de publication : 1982 Importance : 1 vol (266 p.) Format : 24 cm. ISBN/ISSN/EAN : 2-04-0154-499-x Note générale : 2-04-0154-499-x Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langue ADAIndex. décimale : 004 - Informatique Côte titre : Fs/8460,Fs/8442 Le Langue ADA : Manuel dévaluation [texte imprimé] / Dominique Verrand . - Bruxelles : Bordas, 1982 . - 1 vol (266 p.) ; 24 cm.
ISSN : 2-04-0154-499-x
2-04-0154-499-x
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langue ADAIndex. décimale : 004 - Informatique Côte titre : Fs/8460,Fs/8442 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/8442 Fs/8442 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8460 Fs/8460 livre Bibliothéque des sciences Français Disponible
DisponibleLaTex / Vincent Granet
Titre : LaTex Type de document : texte imprimé Auteurs : Vincent Granet ; Jean-Pierre Regourd Editeur : Paris : Masson Année de publication : 1995 Collection : Objectif /Quaggetto,Michel Importance : 1 vol (303 p.) Format : 25 cm ISBN/ISSN/EAN : 978-2-225-84993-0 Note générale : 978-2-225-84993-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
LaTex(logiciel)Index. décimale : 004 - Informatique Résumé :
LATEX, conçu et élaboré par D. Knuth, est devenu le standard de fait des systèmes de composition de textes, que ce soit dans l'industrie, les instituts de recherche ou les institutions académiques. Cet ouvrage est destiné aussi bien aux débutants qu'aux utilisateurs avertis qui y trouveront, pour les uns, une démarche progressive les amenant à la maîtrise de cet outil, pour les autres une description complète des nouveautés apportées par la dernière version LATEX 2e. L'ambition d'objectif LATEX est donc d'être, conformément à la philosophie de la collection, un ouvrage d'initiation, mais aussi un livre de référence pour toute personne désirant passer de LATEX 2.09 à LATEX 2e.Note de contenu :
Sommaire
Prise en main
Classe d'un document
Les caractères
Eléments de présentation
Le mode mathématique
Eléments mobiles
Adaptation
Math++
Modules d'extension
Applications
CorrectionsCôte titre : Fs/8579 LaTex [texte imprimé] / Vincent Granet ; Jean-Pierre Regourd . - Paris : Masson, 1995 . - 1 vol (303 p.) ; 25 cm. - (Objectif /Quaggetto,Michel) .
ISBN : 978-2-225-84993-0
978-2-225-84993-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
LaTex(logiciel)Index. décimale : 004 - Informatique Résumé :
LATEX, conçu et élaboré par D. Knuth, est devenu le standard de fait des systèmes de composition de textes, que ce soit dans l'industrie, les instituts de recherche ou les institutions académiques. Cet ouvrage est destiné aussi bien aux débutants qu'aux utilisateurs avertis qui y trouveront, pour les uns, une démarche progressive les amenant à la maîtrise de cet outil, pour les autres une description complète des nouveautés apportées par la dernière version LATEX 2e. L'ambition d'objectif LATEX est donc d'être, conformément à la philosophie de la collection, un ouvrage d'initiation, mais aussi un livre de référence pour toute personne désirant passer de LATEX 2.09 à LATEX 2e.Note de contenu :
Sommaire
Prise en main
Classe d'un document
Les caractères
Eléments de présentation
Le mode mathématique
Eléments mobiles
Adaptation
Math++
Modules d'extension
Applications
CorrectionsCôte titre : Fs/8579 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8579 Fs/8579 livre Bibliothéque des sciences Français Disponible
DisponibleLaTex / Denis Bitouzé
PermalinkLaTex :Apprentissage, guide et référence / Bernard Desgraupes
PermalinkLEebretor,Berenger. Sachez choisir votre micro-ordinateur de gestion / Som Edwards
PermalinkLet's talk D-P / Jean-Pierre Beall
PermalinkLexique basic / Eddie Adamis
PermalinkLexique BASIC de l'ordinateur personnel IBM / Eddie Adamms
PermalinkLexique de l'informatique / Jean GuIlhaumou
PermalinkLightwave 3D / Bernard Jolivat
PermalinkLinux / Jack Tackett
PermalinkLinux / Jack Tackette
PermalinkLinux administration T.2:Administration système avancée / Jean-François Bouchaudy
PermalinkLinux administration T.3 / Jean-François Bopuchaudy
PermalinkLinux administration / Abdelmadjid Berlat
PermalinkLinux / John Goerzen
PermalinkLinux / Jean Paul Armspach
PermalinkLinux pour les nuls 8e éd. / Dee-Ann Leblanc
PermalinkLinux / Pons, Nicolas
PermalinkLISP / Tony Hasemer
PermalinkLe livre de Java premier langage : avec 109 exercices corrigés / Anne Tasso
PermalinkLogiciel de simulation analogique PSPICE 5.30 / Alain Rivat
PermalinkLogique binaire et ordinateurs 2 / Michel Aumiaux
PermalinkDe la logique câblée aux microprocesseurs T.1 / M.J Bernard
PermalinkLogique pour l'informatique / Serenella Cerrito
PermalinkLogique pour l'informatique et pour l'intelligence artificielle / Ricardo Caferra
PermalinkLongévité de l'information numérique:Les Données que nous voulons garder vont-elles s'effacer ? : rapport du groupe PSN (pérennité des supports numériques) commun à l'Académie des sciences et à l'Académie des technologies / Jean-Charles Hourcade
PermalinkPermalinkPermalinkA Machine Learning-Based Lightweight Intrusion Detection System for the Internet of Things / Bellilita ,Boutheïna Kharfia
PermalinkPermalinkPermalinkLe Macintosh / Lisa Lee
PermalinkMaintenance et dépannage d'un PC en réseau / Jean-Nöel Anderruthy
PermalinkMaintenance et dépannage d'un PC en réseau / Sylvain Gaumé
PermalinkMaîtriser Joomla ! : guide professionnel du développement d'applications / Vincent Perdereau
PermalinkMathématiques &Informatique / Mohamed Gaci
PermalinkUn mécanisme de réplication pour optimiser la recherche dans les peer-to-peer mobiles. / Brrouchi, Imen
PermalinkPermalinkMerise / Arnold Rochfeld
PermalinkMerise et UML pour la modélisation des systèmes d'information / Joseph Gabay
PermalinkPermalinkMéthode générale d'analyse d'une application informatique T.1 / Xavier Castellani
PermalinkLa Méthode informatique / Robert A Mallet
PermalinkLa méthode PERT / Charles Voraz
PermalinkMéthodes explicites de l'optimisation / AUBIN,Jean-Pierre
PermalinkMéthodologie de la programmation et management des informations / Philippe Trigano
PermalinkMicro-informatique de gestion / Guérin,G
PermalinkMicro-ordinateurs / Mcglynn,Daniel R
PermalinkMicrocomputer-based design / John B Peatman
PermalinkUn microprocesseur pas a pas / André Villdr
PermalinkMicrosoft office 97 / Barbara Schutte
PermalinkMicrosoft office 97 / Aitken, Peter
PermalinkMicrosoft office 97 / Udo Bretschneider
PermalinkMicrosoft office Access / John L Viescas
PermalinkMicrosoft Windows 95 / Ron Pearson
PermalinkMini manuel réseaux informatique :Cours+ exos corrigés / Stéphane Cateloin
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkModèle de déduction commune des graphes des aptitudes Pré-requises et Modèle de l’apprenant / Bouzidi, Hasna
PermalinkPermalinkPermalinkModéles d'apprentissage automatique pour l'analyse des sentiments sur Twitter / Firane, Ahmed Khalil
PermalinkPermalinkPermalinkPermalinkModélisation et simulation de la propagation des fake- News sur un social-média par le paradigme des SMA / Metarfi,Romaissa
PermalinkPermalinkPermalinkA Modified Black Widow Optimization Algorithm for Multilevel Thresholding Image Segmentation / Hocine Seif Eddine Lakhal
PermalinkPermalinkLes Mots clés du basic / Eddie Adamis
PermalinkMS-DOS
PermalinkMS-DOS et PC-DOS :Sur votre IBM PC / Peter Norton
PermalinkPermalinkPermalinkMySQL 5.6 / Stéphane Combaudon
PermalinkMySQL Database Service Revealed: Running MySQL as a Service in the Oracle Cloud Infrastructure / Bell Charles
PermalinkLes NFT en 40 questions / Jean-Guillaume Dumas
PermalinkNon deterministic algorithms for solving the dynamic QoS-aware web service composition under ambigious QoS parameters / Haddad,Saad
PermalinkNouveau dictionnaire de la micro-informatique / Virga
PermalinkUn nouvel algorithme auto-stabilisant pour le calcul d'un ensemble dominant capacitif / Rouaa ,Chaima
PermalinkNouvelle approche d’extraction de connaissance par la méthode des règles d’association / Mohand Arezki Omari
PermalinkNovell intranet Ware / Karanjits Siyan
PermalinkNumerical methods for complementarity problems, and optimal control problems under complementarity constraints / El Hassene Osmani
PermalinkNumerical Methods Using Java / Haksun Li
PermalinkObjectif cloud : une démarche pratique orientée services / Jean-Louis Caire
PermalinkObjective-C pour le développeur avancé :Le Langage iPhone/iPad et Mac OS X pour les développeurs C++/Java/C# / CHATELIER,Pierre Y
PermalinkODMG-93 / Cattell,Rick G.G
PermalinkOnline Virtual Experimentation in Educational Facilities: Development of a Cross-Platform application. / Sanaa Ardjane
PermalinkOpen Data / Jean-Philippe Gouigoux
PermalinkPermalink