Revue des questions scientifiques, 164. cilt,2. sayı1993 The March and May numbers of v. 97, 1930, combined in one issue, comprise a special series of articles on the Belgian Congo (Le Congo Belge et les sciences) published on the occasion of the centenary of Belgian independence. A separate map (Carte administrative du Congo Belge et de ses voies de communication) accompanies this combined issue, and is designated as "supplément à la Revue des questions scientifiques, mars-mai 1930." |
Kitabın içinden
16 sonuçtan 1-3 arası sonuçlar
Sayfa 178
... problème implique plus généralement de fournir des informations sélectionnées , et dans un ordre approprié , pour faciliter la résolution du problème . La réflexion sur la perception se montre donc en lien étroit avec l'analyse des ...
... problème implique plus généralement de fournir des informations sélectionnées , et dans un ordre approprié , pour faciliter la résolution du problème . La réflexion sur la perception se montre donc en lien étroit avec l'analyse des ...
Sayfa 186
... problème de la vérification de programmes ( impératifs ) . Après une présentation du problème de l'exactitude de programmes , les auteurs présentent la logique de Hoare permettant d'établir l'exactitude d'un programme . Ensuite , cette ...
... problème de la vérification de programmes ( impératifs ) . Après une présentation du problème de l'exactitude de programmes , les auteurs présentent la logique de Hoare permettant d'établir l'exactitude d'un programme . Ensuite , cette ...
Sayfa 188
... problème peut être mesurée par le temps d'exécution d'un algorithme qui le résoud ou par la quantité d'espace ... problème du voyageur de commerce , problème du sac à dos , coloriage d'un graphe , Ce livre sera très utile à l'étudiant ou ...
... problème peut être mesurée par le temps d'exécution d'un algorithme qui le résoud ou par la quantité d'espace ... problème du voyageur de commerce , problème du sac à dos , coloriage d'un graphe , Ce livre sera très utile à l'étudiant ou ...
Diğer baskılar - Tümünü görüntüle
Sık kullanılan terimler ve kelime öbekleri
adiabatique analyse applications informatiques Bertin big bang Broché calorique Cambridge University Press chaleur chapitres Clapeyron Clausius complexité algorithmique concepts corps chaud corps froid cycle de Carnot demi-vie différents documents écrits éléments étoiles facteurs faisceaux d'ions radioactifs fonction galaxies générale globale graphiques techniques introduction ISBN isotherme l'analyse l'approche l'astrophysique nucléaire l'énergie l'hélium l'hydrogène l'information l'œil l'œuvre l'ouvrage l'Univers l'utilisateur Lazare Carnot lecture livre logique de Hoare logique linéaire loi de Coulomb Louvain-la-Neuve machine à vapeur machines à feu mathématiciens mathématique mécanique ment méthodes neutrons Newton notions novae noyau noyaux radioactifs nucléons ouvrage particules perception visuelle phénomènes physiciens physique présentation principe problème processus protons puissance motrice quantique question radioactifs rayons rayons X réactions nucléaires réactions nucléaires exothermiques recherche Réflexions Relié résultats Richaudeau Ronde du CNRS Sadi Carnot sciences scientifique sections efficaces source chaude source froide structures supernovae surface syntaxe visuelle température théorie thermodynamique tion Tufte types utilise variables visuelles volume