Résultat de la recherche
8 recherche sur le mot-clé
'Computer interfaces' 




Titre : Big Practical Guide to Computer Simulations Type de document : texte imprimé Auteurs : Alexander K. Hartmann, Auteur Mention d'édition : 2nd Ed. Editeur : Singapore : World scientific publishing Année de publication : 2015 Importance : XX-462 p. Présentation : Broche. Couv. ill. en coul., ill., graph. Format : 23 cm ISBN/ISSN/EAN : 978-981-4571-77-7 Langues : Anglais (eng) Catégories : (02.60) Analyse numerique et informatique Mots-clés : Computer languages Computer interfaces Computational techniques Data management Data visualization algorithms for Index. décimale : 02.60 Résumé : 1 Programming in C. - 2 Scripts. - 3 Software engineering. - 4 Debugging and testing. - 5 Object-oriented software developement. - 6 Algorithms and data structure. -7 Libraries. - 8 Randomness and statistics. - 9 Information retrieval, publishing and presentations. - Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité PQ003730 02.60.HAR texte imprimé Bibli FERMI 3R4 Recherche Disponible
Titre : Rigorous software development : an introduction to program verification Type de document : texte imprimé Auteurs : José Bacelar Almeida, Auteur ; Maia Joao Frade, Auteur Editeur : New York : Springer Verlag Année de publication : 2011 Collection : Undergraduate topics in computer science Importance : XII-263 P. Présentation : Broche. Couv. en coul., graph. Format : 23 cm ISBN/ISSN/EAN : 978-0-85729-017-5 Langues : Anglais (eng) Catégories : (02.60) Analyse numerique et informatique Mots-clés : Computer interfaces Computational techniques Logic mathematical Index. décimale : 02.60 Résumé : 1 An Overview of Formal Methods Tools and Techniques - 2 Propositional Logic - 3 First-Order Logic - 4 Hoare Logic - 5 Generating Verification Conditions - 6 Safety Properties - 7 Procedures and Contracts - 8 Specifying C Programs - 9 Verifying C Programs - Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité PQ003772 02.60.ALM texte imprimé Bibli FERMI 3R4 Recherche Disponible
Titre : Acquisition de données : du capteur à l'ordinateur Type de document : texte imprimé Auteurs : Georges Asch, Auteur ; Louis de Neel, Préfacier, etc. Mention d'édition : 2e édition Editeur : Paris : Dunod Année de publication : 2003 Collection : EEA. Série Automatismes Importance : XI-516 p. Présentation : Broche. graph. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-006310-9 Langues : Français (fre) Catégories : 06.00 Metrology, measurements, and laboratory procedures Mots-clés : Data acquisition Computer hardware Computer interfaces Index. décimale : 06.00 Résumé : 1 La chaîne d'acquisition de données - 2 Les parasites - 3 Perturbations pa couplage galvanique - 4 Perturbations par couplage magnétique - 5 Perturbations par couplage électrique - 6 Perturbations par couplage électromagnétique - 7 Caractéristiques métrologique des dispositifs constitutifs de la chaîne - 8 Les capteurs - 9 Les conditionneurs - 10 Les amplificateurs - 11 La protection des circuits d'entrée vis à vis des parasites - 12 Le bruit de fond - 13 les filtres - 14 Le multiplexeur - 15 - L'échantilloneur bloqueur - 16 Les convertisseurs numérique - 17 L'organisation de la chaîne d'acquisition - 18 Le microprocessseur - 19 Gestion matérielle de la chaîne par microprocesseur - 20 Algorithmes d'acquisition et gestion des temps - 21 gestion métrologique de la chaîne - 22 Transmission des données - 23 Capteurs intelligents. Réseaux - 24 Réseaux de terrain - 25 L'ordinateur architecture matérielle et logicielle - 26 L'acquisition de données sur PC Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité PQ002700 06.00.55 texte imprimé Bibli FERMI 3R4 Recherche Disponible Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité PQ001281 01.30.ARPC.45 texte imprimé Bibli FERMI 3R1 RDC Recherche Disponible
Titre : Computational chemistry : An emphasis on practical calculations Type de document : texte imprimé Auteurs : M.D. Johnston, Auteur Editeur : Amsterdam : Elsevier Année de publication : 1988 Collection : Studies in physical and theoretical chemistry num. 56 Importance : XVII-680 p. Présentation : Relié. Couv. en coul, Format : 23 cm ISBN/ISSN/EAN : 978-0-444-42962-9 Langues : Anglais (eng) Catégories : (31.15) Theorie des groupes, symetries et informatique pour la chimie Mots-clés : Computational techniques electronic structure Computer interfaces Index. décimale : 31.15 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité PQ001004 31.15.32 texte imprimé Bibli FERMI 3R1 RDC Recherche Disponible PermalinkPermalinkPermalink