Résultat de la recherche
9 recherche sur le mot-clé
'Computer interfaces'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Faire une suggestion
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 : Le calcul à découvert Type de document : texte imprimé Auteurs : Mokrane Bouzeghoub, Auteur ; Michel Daydé, Auteur ; Christian Jutten, Auteur Editeur : Paris : CNRS Année de publication : 2025 Importance : 304 P. Présentation : Broche. Couv. ill. en coul., fig., ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-271-15373-9 Langues : Français (fre) Catégories : (01.65) Histoire et philosophie des sciences Mots-clés : History of science Computer hardware Computer interfaces Computer aided diagnosis Computer modeling and simulation Index. décimale : 01.65 Résumé : Au commencement était le caillou, en latin calculus, utilisé, en plus des doigts, pour les premiers dénombrements humains. Puis vint le boulier chinois, au XIIe siècle, suivi en 1642 par la machine de Pascal, calculatrice arithmétique mécanique, précurseur de nombreuses autres conçues durant la révolution industrielle, avant de céder la place au début du XXe siècle aux machines mécanographiques. Avec le développement de l’électronique et des mémoires de masse, l’ordinateur moderne, inspiré de la machine de Turing (1936), a couronné cette évolution avec des capacités de calcul faramineuses inaugurant l’ère de la société numérique. L’avenir sera bouleversé par des machines fondées sur des technologies émergentes comme les nanotubes, l’ADN, les réseaux neuronaux ou le quantique, conduisant à des applications encore insoupçonnables.
Cet ouvrage explore l’histoire fascinante du calcul et de l’ordinateur, au travers d’articles accessibles retraçant leur évolution et évoquant les personnalités qui l’ont façonnée ou accompagnée. Toutes les disciplines scientifiques y sont convoquées, ainsi que les résultats emblématiques qui n’auraient pu être atteints sans la science informatique. Des questions cruciales telles que la consommation énergétique, la mutation des métiers, la protection de la vie privée et la sécurité y sont également abordées.Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité PQ004678 01.65.BOU texte imprimé Bibli FERMI 3R4 Recherche Disponible PermalinkPermalinkPermalinkPermalink
