Choix d'un sujet lié
Algèbre abstraite Logique Mathématiques -- Fondements Mathématiques à rebours
Choix de relance de recherche
Les bibliothèques de la ville de Paris Les bibliothèques universitaires La BnF L'encyclopédie Wikipédia L'Encyclopædia Universalis La bibliothèque du film La médiathèque de la Philharmonie de Paris

Recherche simple :

  •    Tous les mots : Logique informatique
  • Aide
  • Eurêkoi Eurêkoi
Choix du tri des documents
Titre A-Z Titre Z-A Auteur A-Z Auteur Z-A Les plus récents Les moins récents
Sélectionner le nombre de résultat par colonne
10 résultats par colonne 25 résultats par colonne

Documents en rayon : 102

Voir tout les documents en rayons
Livre Informatique mathématique : une photographie en 2022

par Bournez, Olivier ; Chetrite, Raphaël (1981-....) ; Riva, Sara ; Martin, Bruno (1967-....) ; Fijalkow, Nathanaël (19..-....)

CNRS Edition

2022 -

  • Disponible - A partir du 25 août 2025 - 519.8 INF

Livre Logique pour l'informatique

Ellipses

2020 -

  • Disponible - A partir du 25 août 2025 - 681.21 LOG

Livre La logique : le vrai, le faux et l'incertain

POLE

2005 -

  • Disponible - A partir du 25 août 2025 - 510.1 LOG

Livre Informatique MP2I, MPI : tout-en-un

Dunod

2024 -

  • Disponible - A partir du 25 août 2025 - 681.21(07) INF

Livre Informatique MP2I : cours, programmes en C et OCaml : exercices corrigés

par Mallet, Olivier

Ellipses

2023 -

  • Disponible - A partir du 25 août 2025 - 681.229(07) MAL

Livre Calcul différentiel pour les langues de la logique : théorie et applications

par Thayse, André (1940-....)

Hermès science publications

2004 -

  • Disponible - A partir du 25 août 2025 - 510.1 THA

Livre Le microprocesseur. Volume 3 , Aspects matériels

par Darche, Philippe

Iste éditions

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 DAR 3

Livre Le microprocesseur. Volume 5 , Aspects logiciels et matériels du développement, du débogage et du test

par Darche, Philippe

Iste éditions

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 DAR 5

Livre Le microprocesseur. Volume 1 , Fonctions de calcul et de mémorisation, modèles de calcul et architecture des ordinateurs

par Darche, Philippe

Iste éditions

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 DAR 1

Livre Mathématiques de l'informatique : cours et exercices corrigés

par Dehornoy, Patrick (1952-2019)

Dunod

2000

  • Disponible - A partir du 25 août 2025 - 519.8 DEH

Livre Algorithmique : techniques fondamentales de programmation, exemples en C# : nombreux exercices corrigés : BTS, DUT informatique

par Putier, Sébastien ; Rohaut, Sébastien

Éditions ENI

2016 -

  • Disponible - A partir du 25 août 2025 - 681.21(07) PUT

Livre Le microprocesseur. Volume 2 , Communication dans un système numérique

par Darche, Philippe

Iste éditions

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 DAR 2

Livre L'analyse syntaxique des langues naturelles : problèmes et méthodes

par Wehrli, Éric (1951-....)

Masson

1997 -

  • Disponible - A partir du 25 août 2025 - 803.7 WEH

Livre Logique pour le traitement de la langue naturelle : application à la langue française

par Delsarte, Philippe ; Thayse, André (1940-....)

Hermès science

2001 -

  • Disponible - A partir du 25 août 2025 - 803.7 DEL

Livre Le microprocesseur. Volume 4 , Aspects logiciels

par Darche, Philippe

Iste éditions

2021 -

  • Indisponible - En traitement

Livre Tests d'évaluation en sciences : mathématiques, informatique, logique, physique, chimie, biologie

par Canesi, Gérard ; Simaan, Jalila

Ellipses-Marketing

2001 -

  • Disponible - A partir du 25 août 2025 - 5(07) CAN

Livre Logique : fondements et applications

par Le Barbenchon, Pierre

Dunod

2022 -

  • Disponible - A partir du 25 août 2025 - 510.1 LEB

Livre Le logiciel, entre l'esprit et la matière

par Leroy, Xavier (1968-....)

Collège de France

2024 -

  • Indisponible - En traitement

Livre Information, complexité et hasard

par Delahaye, Jean-Paul (1952-....)

Hermès science publ.

1999

  • Disponible - A partir du 25 août 2025 - 510.1 DEL

Livre Calcul formel : mode d'emploi : exemples en Maple

par Gomez, Claude (1955-....) ; Salvy, Bruno ; Zimmermann, Paul (1964-....)

Masson

1995 -

  • Disponible - A partir du 25 août 2025 - 518 GOM

Livre Electronique numérique : systèmes électroniques numériques complexes : modélisation et mise en oeuvre : cours et exercices corrigés

par Nketsa, Alexandre ; Delauzun, Damien

Ellipses

2012 -

  • Disponible - A partir du 25 août 2025 - 621.4 NKE

Livre Tout sur la sécurité informatique

par Pillou, Jean-François ; Bay, Jean-Philippe

Dunod

2020 -

  • Disponible - A partir du 25 août 2025 - 681.40(076) PIL

Livre Apprendre à programmer avec la carte BBC micro:bit : de la programmation graphique au langage MicroPython

par Gadenne, Frédéric

Ellipses

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 GAD

Livre Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple

par Sérot, Jocelyn

Ellipses

2019 -

  • Disponible - A partir du 25 août 2025 - 681.32 SER

Livre La machine de Turing

par Turing, Alan Mathison (1912-1954) ; Girard, Jean-Yves (1947-....)

Seuil

1995 -

  • Disponible - A partir du 25 août 2025 - 510.1 TUR

Livre Cyberattaques et droit international public : de la négociation entre états à l'intégration des acteurs privés pour parvenir à la cyberpaix ?

par Baudin, Laura (1988-....)

l'Harmattan

2023 -

  • Disponible - A partir du 25 août 2025 - 341 BAU

Livre La sécurité informatique dans la petite entreprise : état de l'art et bonnes pratiques

par Carpentier, Jean-François

Éditions ENI

2023 -

  • Disponible - A partir du 25 août 2025 - 681.40 CAR

Livre L'intelligence artificielle par la pratique

par Faltings, Boi ; Schumacher, Michael (1969-....)

Presses polytechniques et universitaires romandes

2017 -

  • Disponible - A partir du 25 août 2025 - 681.71 FAL

Livre Mathématiques pour l'informatique

par Haddadi, Salim

Ellipses

2023 -

  • Disponible - A partir du 25 août 2025 - 519.8 HAD

Livre Donnerons-nous notre langue au chatGPT ? : l'impact de l'IA sur notre avenir

par Moyse, Gilles (1980-....)

Le Robert

2023 -

  • Disponible - A partir du 25 août 2025 - 681.71 MOY

Livre Micro:bit : programmez la carte avec Makecode et Micropython

par Quetin, Jean-Christophe

Éditions ENI

2020 -

  • Disponible - A partir du 25 août 2025 - 681.33 QUE

Livre Quand le numérique marque-t-il l'architecture ?

par Goodhouse, Andrew

Centre canadien d'architecture

2017 -

  • Disponible - A partir du 25 août 2025 - 72.26 GOO

Livre Architectures réseau d'entreprise : concevoir des infrastructures réseau évolutives

par Giusti, Luca

Éditions ENI

2024 -

  • Disponible - A partir du 25 août 2025 - 681.5 GIU

Livre L'Université en première ligne : à l'heure de la dictature numérique

par Forest, Philippe (1962-....)

Gallimard

2020 -

  • Disponible - A partir du 25 août 2025 - 378 FOR

Livre Les grammaires de propriétés : des contraintes pour le traitement automatique des langues naturelles

par Blache, Philippe (19..-.... ), photographe

Hermès

2001 -

  • Disponible - A partir du 25 août 2025 - 803.7 BLA

Livre Les clés pour l'info

par Belghiti, Ismael ; Mansuy, Roger (1977-....) ; Vie, Jill-Jênn

Calvage et Mounet

2017 -

  • Disponible - A partir du 25 août 2025 - 681(07) BEL

Livre Internet, nouvel espace citoyen ?

l'Harmattan

2003 -

  • Disponible - A partir du 25 août 2025 - 301.56 INT

Livre Cybersécurité et malwares : détection, analyse et threat intelligence

par Rascagnères, Paul ; Larinier, Sébastien

Éditions ENI

2022 -

  • Disponible - A partir du 25 août 2025 - 681.40 RAS

Livre Raisonnements sur l'espace et le temps : des modèles aux applications

par Le Ber, Florence ; Ligozat, Gérard ; Papini, Odile

Hermès science publications-Lavoisier

2007 -

  • Disponible - A partir du 25 août 2025 - 911.1 RAI

Livre Homo informatix

par De Brabandere, Luc (1948-....)

le Pommier

2017 -

  • Disponible - A partir du 25 août 2025 - 681(091) DEB

Livre Technologie des ordinateurs et des réseaux

par Goupille, Pierre-Alain

2020 -

  • Disponible - A partir du 25 août 2025 - 681.3 GOU

Livre Eléments de mathématiques discrètes

par Frécon, Louis (1940-....)

Presses polytechniques et universitaires romandes

2002 -

  • Disponible - A partir du 25 août 2025 - 518 FRE

Livre Les arts moyens aujourd'hui. 1 : Albi 2006, actes du colloque international d'Albi, 30-31 mars, 1er avril 2006

L'Harmattan

2008 -

  • Disponible - A partir du 25 août 2025 - 305.7 ART

Livre Faire parler les ordinateurs : la révolution ChatGPT

par Wisniewski, Guillaume

Dunod

2024 -

  • Disponible - A partir du 25 août 2025 - 681.71 WIS

Livre Les arts moyens aujourd'hui : Albi 2006, actes du colloque international d'Albi, 30-31 mars, 1er avril 2006. 2

L'Harmattan

2008 -

  • Disponible - A partir du 25 août 2025 - 305.7 ART

Livre Algorithmique en C, C++, Java, Python et PHP

par Léry, Jean-Michel

Ellipses

2022 -

  • Disponible - A partir du 25 août 2025 - 681.21 LER

Livre Google Data Studio : créer des rapports intuitifs grâce à la datavisualisation

par Jlidi, Youssef

Éditions ENI

2022 -

  • Disponible - A partir du 25 août 2025 - 681.51 JLI

Livre Morphologie structurale et systémique de la médina de Tunis : un modèle topologique de re-connaissance

par Fendri, Sendra

L'Harmattan

2019 -

  • Disponible - A partir du 25 août 2025 - 913.39(613) FEN

Livre Les groupes professionnels et l'Internet

par Convert, Bernard (1951-....) ; Demailly, Lise

l'Harmattan

2007 -

  • Disponible - A partir du 25 août 2025 - 301.56 CON

Livre Data analytics automatisées : combiner la créativité humaine et la puissance de l'IA avec ChatGPT

par Sedkaoui, Soraya

Iste éditions

2024 -

  • Disponible - A partir du 25 août 2025 - 681.71 SED

Documents en ligne : 13

Voir tout les documents en ligne
Article L'informatique face à la logique du vivant

Dans MONDE (LE)

MONDE (LE)

2001

  • Consultable à la Bpi

Livre numérique Sciences des données : de la logique du premier ordre à la Toile

par Abiteboul, Serge

Collège de France ; Fayard

2013-01-24

Résultat de OpenEdition : Books

Article Premières réflexions sur les rapports entre la logique symbolique et l’informatique

Dans Éditions Kimé

par Bozzi, R.

Philosophia Scientiæ

2011-06-10

Résultat de OpenEdition : Journals

Livre numérique Éloge du flou

par Sangalli, Arturo

Presses de l’Université de Montréal

2018-07-06

Résultat de OpenEdition : Books

Article Sciences du logiciel

Dans Collège de France

par Leroy, Xavier

Annuaire du Collège de France

2022-03-18

Résultat de OpenEdition : Journals

Article Sciences du logiciel

Dans Collège de France

par Leroy, Xavier

Annuaire du Collège de France

2023-02-28

Résultat de OpenEdition : Journals

Article Les conditions de l’analyse qualitative

Dans Association internationale des sociologues de langue française (AISLF)

par Paillé, Pierre

SociologieS

2021-06-01

Résultat de OpenEdition : Journals

Article Les logiques politiques des TIC, les TIC, entre impensé, glissement de la prérogative politique et gestionnarisation

Dans Société Française de Sciences de l’Information et de la Communication

par Robert, Pascal

Revue française des sciences de l’information et de la communication

2014-07-31

Résultat de OpenEdition : Journals

Article Jacques Perriault (1938-2019). Un humaniste du XXe siècle 

Dans CNED-Centre national d'enseignement à distance

par Fouquet, Annie

Distances et médiations des savoirs

2022-03-27

Résultat de OpenEdition : Journals

Article De la spécificité du projet en design : une démonstration

Dans Presses universitaires de Bordeaux

par Vial, Stéphane

Communication et organisation

2015-03-16

Résultat de OpenEdition : Journals

Formation Coursera

-

Formation GERIP Compétences

par Révy, Philippe

-

  • Consultable à la Bpi

Formation Formation OnlineFormapro

OnlineFormapro

2008 -

  • Consultable à la Bpi

Explorer les sujets liés :

Manuels d'enseignement supérieur

Manuels d'enseignement supérieur

  • Type d'autorité
    • Concept
Haut de page