Entrepôtthumb|Gestion automatisée d'un entrepôt de pièces détachées. Un entrepôt est un bâtiment logistique destiné au stockage et à la distribution de biens. Les entrepôts sont utilisés par les industriels, les entreprises d'import-export, les grossistes, les transporteurs, les douanes, etc. Ce sont de grands bâtiments, depuis quelques centaines jusqu'à plusieurs dizaines de milliers de mètres carrés. Ces bâtiments sont situés le plus souvent dans des zones péri-urbaines.
Manutentionvignette|Manutention de casettes à la manufacture nationale de Sèvres. La manutention désigne l'action de manipuler, de déplacer des marchandises, des colis ou des documents dans un lieu de production ou de stockage tel un entrepôt, une usine, un magasin, un bureau, etc. On parle aussi de levage et parfois de levageurs pour désigner les activités et métiers de ce secteur. Il existe en France une « Union française du levage », syndicat qui dit représenter en 2019 60% des acteurs du marché français. Manutenti
Warehouse management systemWMS, ou warehouse management system (système de gestion d'entrepôts), désigne une catégorie de progiciels destinés à gérer les opérations d'un entrepôt de stockage. L'objet premier du WMS n'est pas de prendre les commandes mais de les prendre en compte et d'en optimiser la préparation. Le périmètre d'un WMS est limité et ne couvre pas toute la chaîne logistique. En général l'outil s'arrête à l'entrepôt.
Magasin automatiquevignette|Transstockeur Mini Load pour le stockage automatique d’unités et de caisses Un magasin automatique ou stockage automatique consiste à automatiser totalement ou partiellement les tâches effectuées dans un magasin, qui est un espace physique pour le stockage des biens dans la chaîne d’approvisionnement. Il s’agit d’un système de stockage spécialement conçu pour des solutions logistiques qui permettent d’augmenter au maximum les ratios de productivité, de réduire l’espace nécessaire et le nombre de mouvements à réaliser.
Entrepôt de donnéesvignette|redresse=1.5|Vue d'ensemble d'une architecture entrepôt de données. Le terme entrepôt de données ou EDD (ou base de données décisionnelle ; en anglais, data warehouse ou DWH) désigne une base de données utilisée pour collecter, ordonner, journaliser et stocker des informations provenant de base de données opérationnelles et fournir ainsi un socle à l'aide à la décision en entreprise. Un entrepôt de données est une base de données regroupant une partie ou l'ensemble des données fonctionnelles d'une entreprise.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Moroccan architectureMoroccan architecture reflects Morocco's diverse geography and long history, marked by successive waves of settlers through both migration and military conquest. This architectural heritage includes ancient Roman sites, historic Islamic architecture, local vernacular architecture, 20th-century French colonial architecture, and modern architecture. Much of Morocco's traditional architecture is marked by the style that developed during the Islamic period, from the 7th century onward.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Déchet dangereuxthumb|Panneau à l'entrée d'une décharge de déchets dangereux (États-Unis, 1972). Les déchets dangereux sont une des catégories de déchets définies par la législation propre à chaque pays, qui s'oppose à la catégorie des déchets non dangereux. Ils se caractérisent par leur dangerosité pour l'environnement ou la santé à travers leurs effets directs ou indirects à court, moyen ou long terme. Pour cette raison, ils doivent être collectés, transportés et traités de manière appropriée, et plusieurs stratégies d'États, de collectivités (dont l'Union européenne) ou d'entreprises visent à réduire leur production.
