Biblio
Numérique
Accueil
Catalogue
S'inscrire
Connexion
Catalogue des ressources
Titre, auteur, mot-clé…
A Brief History of Time
A Discipline of Programming
A Mathematical Theory of Communication
absurde;roman;Algérie
Alan Turing
Albert Camus
Albert Einstein
algorithmes;structures;programmation
Amartya Sen
anthropologie;ethnologie;Amazonie
Apprentissage automatique appliqué au diagnostic médical
archétypes;alchimie;inconscient
Architecture logicielle et patterns de conception
architecture;ordinateur;mémoire
Article 58
Article 59
Article 60
Bases de données et systèmes d'information
Biodiversité marine en Caraïbe : état des lieux 2023
biodiversité;Caraïbe;réchauffement;marine
capitalisme;travail;valeur
Carl G. Jung
Changement climatique et vulnérabilité des petits États insulaires
Charles Darwin
Claude Lévi-Strauss
Claude Shannon
climat;PEID;Caraïbe;vulnérabilité
Computing Machinery and Intelligence
contrat;social;souveraineté
cosmologie;temps;univers
Critique de la raison pure
Cybersécurité et protection des données personnelles
cybersécurité;données;RGPD;protection
De l'esprit des lois
De la grammatologie
déconstruction;écriture;langage
design patterns;architecture;logiciel;SOLID
Development as Freedom
développement;liberté;capabilités
Discours de la méthode
distribué;consensus;cloud;architecture
Donald E. Knuth
données;souveraineté;réglementation;numérique
Droits fondamentaux à l'ère numérique
droits;numérique;CEDH;protection
Du contrat social
Économie circulaire et développement durable
économie circulaire;durabilité;développement
Edsger W. Dijkstra
Émile Durkheim
Émile Zola
Emmanuel Kant
épidémiologie;santé publique;tropiques;Haïti
épistémologie;obstacles;science
évolution;sélection;espèces
existentialisme;conscience;liberté
falsifiabilité;science;méthode
féminisme;genre;liberté
First Draft of a Report on the EDVAC
Free Software, Free Society
Gaston Bachelard
Germinal
Globalization and Its Discontents
Gouvernance numérique et souveraineté des données
grammaire;syntaxe;linguistique
graphes;algorithmes;réseaux;mathématiques
graphes;logique;combinatoire;informatique
Gregor Mendel
hérédité;gènes;hybridation
IA;éducation;LLM;université
IA;Turing;intelligence
inégalités;capital;économie
information;entropie;communication
Intelligence artificielle et éducation supérieure
Introduction aux systèmes distribués
Jacques Derrida
Jacques Voltaire
Jean-Jacques Rousseau
Jean-Paul Sartre
John Rawls
John Von Neumann
Joseph Stiglitz
Just for Fun: The Story of an Accidental Revolutionary
justice;équité;libéralisme
Karl Marx
Karl Popper
L'Éthique protestante et l'esprit du capitalisme
L'Étranger
L'Être et le Néant
L'Interprétation des rêves
La Distinction
La Formation de l'esprit scientifique
La Logique de la découverte scientifique
La Structure des révolutions scientifiques
Le Capital
Le Capital au XXIe siècle
Le Deuxième Sexe
Les Misérables
Les Règles de la méthode sociologique
Linux;open source;noyau
Rechercher
Recherche avancée
Langue (toutes)
Allemand
Anglais
Français
Année (toutes)
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
Appliquer
Filtres
Réinitialiser
Type de ressource
Article
Livre
Rapport
Thèse
Discipline
Architecture et urbanisme
(0)
Arts et humanités
(2)
Droit et sciences juridiques
(3)
Informatique et numérique
(13)
Lettres et langues
(3)
Mathématiques pures et appliquées
(2)
Psychologie et neurosciences
Sciences de l'éducation
Sciences de l'environnement
Sciences de l'ingénieur
Sciences économiques et de gestion
Sciences exactes et naturelles
Sciences humaines et sociales
Sciences médicales et de la santé
Sciences politiques et relations internationales
+ Voir plus
Catégorie
Anthropologie
(1)
Architecture
(0)
Arts et Culture
(1)
Biologie
(6)
Droit
(5)
Disponibilité
Disponible maintenant
Note minimum
★★★★☆
et plus
★★★☆☆
et plus
1
résultat pour
"formel"
Trier par
Pertinence
Plus récent
Titre A→Z
Mieux notés
formel
A Discipline of Programming
Edsger W. Dijkstra
· Oxford University Press
, 1976
Livre
Anglais
PDF
Disponible
Emprunter
Développement formel de programmes corrects par raffinement.
#programmation
#correction
#formel