Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Face aux bouleversements continuels auxquels est soumis l'homme dans sa vie quotidienne par les innovations technologiques du monde numérique, l'auteur veut aider à construire un bon sens informatique. Il expose les concepts scientifiques et techniques sur lesquels repose la révolution numérique, les outils qu'elle met en oeuvre, ses impacts et ses difficultés.
Choose an application
Computer software --- Integrated circuits --- Logiciels --- Circuits intégrés --- Verification --- Congresses. --- Vérification --- Congrès --- Computer science. --- Software engineering. --- Computers. --- Computer logic. --- Mathematical logic. --- Database management. --- Artificial intelligence. --- Computer Science. --- Database Management. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Logic design. --- Circuits intégrés --- Vérification --- Congrès --- Computer software engineering --- Design, Logic --- Design of logic systems --- Informatics --- Engineering --- Science --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Cybernetics --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical
Listing 1 - 2 of 2 |
Sort by
|