Revue des questions scientifiques, 164. ciltSociété scientifique de Bruxelles., 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
29 sonuçtan 1-3 arası sonuçlar
Sayfa 185
... aborde la logique classique , tandis que le second traite de logiques spécifiques et particulières à certaines classes d'applications . Ce volume se compose de quatre parties : I Logique des prédicats . II Pro- grammation logique et ...
... aborde la logique classique , tandis que le second traite de logiques spécifiques et particulières à certaines classes d'applications . Ce volume se compose de quatre parties : I Logique des prédicats . II Pro- grammation logique et ...
Sayfa 186
... aborde en 150 pages le 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 ...
... aborde en 150 pages le 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 ...
Sayfa 200
... aborde des questions élémentaires de probabilités et statistiques avec clarté , avec un grand choix d'exemples et de nombreux commentaires qui en ren- dent la lecture attractive . L'auteur a pris soin de ne pas entrer dans le détail des ...
... aborde des questions élémentaires de probabilités et statistiques avec clarté , avec un grand choix d'exemples et de nombreux commentaires qui en ren- dent la lecture attractive . L'auteur a pris soin de ne pas entrer dans le détail des ...
İçindekiler
Les déchets nucléaires | 7 |
La classification et linventaire des déchets | 33 |
Conclusion | 61 |
5 diğer bölüm gösterilmiyor
Diğer baskılar - Tümünü görüntüle
Sık kullanılan terimler ve kelime öbekleri
analyse applications aspects Barsy Belgique bibliographie Big Bang biologie Broché calorique Cambridge University Press Carnot catalyseur cellulaire cellules chapitre Charles Quint chimie chimiques Clapeyron CO₂ combustible conception consacré constante cosmologique cosmologie Courtoy cycle catalytique Darville déchets demi-vie développement différents domaine dynamique électroniques éléments émissions énergie équations étoiles étudiants fonction galaxies générale globale graphique informatique introduction ISBN l'auteur l'énergie l'œuf fécondé l'ouvrage l'Univers l'utilisation Lambert lecteur Lemaître linéaire livre logicielle Malengreau manuels Masson mathématiques matière mécanique mécanique quantique médecine ment méthodes modèle Mtep neutrons niveau notions noyaux ouvrage Overmeir pages 16 particulier perception phénomènes Physics physique plutonium première présente problèmes processus produits de fission protons puissance motrice quantique question radiations radioactifs rayonnement réacteur réactions nucléaires recherche référence relativement Relié Ronveaux sciences scientifique sections efficaces sexe STOLKOWSKI stress structure surface systèmes techniques technologies température théorie thermodynamique Three Mile Island tion traitement type utilisé Vésale visuelle volume Wallonie