1326 résultats  enregistrer la recherche


halshs-01559848v1  Ouvrage (y compris édition critique et traduction)
Claude ChampaudL'entreprise et le droit commercial
Armand Colin, 1970
hal-01517960v1  Article dans une revue
Johan Van GriensvenPierre GallianXavier De LamballerieConvalescent Plasma and the Dose of Ebola Virus Antibodies.
New England Journal of Medicine, Massachusetts Medical Society, 1970, pp.1297. <10.1056/NEJMc1700090.>
...
hal-01512931v1  Rapport
Richard A VollenweiderLes bases scientifiques de l'eutrophisation des lacs et des eaux courantes sous l'aspect particulier du phsophore et de l'azote comme facteurs d'eutrophisation
[Rapport de recherche] Organisation de coopération et de développement économiques (OCDE). 1970, 217 p., figures, cartes, bibliographie
...
hal-01512579v1  Rapport
Organisation de Coopération Et de Développement Économiques (ocde)L'innovation dans les transports urbains
[Rapport de recherche] Organisation de coopération et de développement économiques(OCDE). 1970, 18 p
...
hal-01510624v1  Rapport
Organisation de Coopération Et de Développement Économiques (ocde)Problèmes techniques posés par la mesure et le contrôle de la pollution de l'air
[Rapport de recherche] Organisation de coopération et de développement économiques(OCDE). 1970, 66 p
...
hal-01510620v1  Rapport
Organisation de Coopération Et de Développement Économiques (ocde)Groupe de recherche sur la gestion de l'eau : premier rapport (1969)
[Rapport de recherche] Organisation de coopération et de développement économiques(OCDE). 1970, 30 p
...
hal-01510614v1  Rapport
C. Brosset,A. Laamanen,G. Rönicke,A.P. Avy,Installations de recherche nécessaires pour parfaire les mesures de polluants en faibles concentrations et suivre leur évolution
[Rapport de recherche] Organisation de coopération et de développement économiques(OCDE). 1970, 50 p., photographies
...
hal-01510613v1  Rapport
Organisation de Coopération Et de Développement Économiques (ocde)Pollution atmosphérique résultant de l'emploi des combustibles
[Rapport de recherche] Organisation de coopération et de développement économiques(OCDE). 1970, 3 p
...
hal-01510610v1  Rapport
Organisation de Coopération Et de Développement Économiques (ocde)Evolution de la recherche sur la désulfuration des combustibles et des gaz de cheminée
[Rapport de recherche] Organisation de coopération et de développement économiques(OCDE). 1970, 48 p., figures, tableaux
...
hal-01510604v1  Rapport
Organisation de Coopération Et de Développement Économiques (ocde)Rapport des experts nationaux sur la lutte contre l'eutrophisation
[Rapport de recherche] Organisation de coopération et de développement économiques(OCDE). 1970, 37 p., tableaux, bibliographie
hal-01491667v1  Chapitre d'ouvrage
S. ForoutanAbbas SheibanyradFrédéric PétrotNetwork-on-Chip Performance Evaluation Using an Analytical Method
Multicore Technology: Architecture, Reconfiguration, and Modeling, crc press, pp.353-407, 1970, 9781439880630
...
halshs-01482833v1  Article dans une revue
Eliseo VeronL’analogique et le contigu
Communications, Editions du Seuil, 1970, 15 (1), pp.52-69
insu-01481261v1  Article dans une revue
G AlcaydeJean-Jacques ChâteauneufRobert FeysC GreberNouvelles observations sur la géologie de la région de Saumur (Maine-et-Loire)
Géologie de la France, 1970, BULLETIN DU BRGM (2)-I. GEOLOGIE DE LA FRANCE, 69-81, 4fig., 1pl. photo
hal-01478912v1  Chapitre d'ouvrage
M. NicolaidisY. ZorianOn-line Testing for VLSI—A Compendium of Approaches
On-Line Testing for VLSI, springer pp.7-20, 1970, 978-1-4419-5033-8. <10.1007/978-1-4757-6069-9_1>
hal-01478910v1  Chapitre d'ouvrage
R. Oliveira DuarteM. NicolaidisH. BederrY. ZorianEfficient Totally Self-Checking Shifter Design
On-Line Testing for VLSI, kluwer academic publishers, pp.29-39, 1970, 978-1-4419-5033-8. <10.1007/978-1-4757-6069-9_3>
hal-01478908v1  Chapitre d'ouvrage
M. NicolaidisS. NorazB. CourtoisGeneralized Fail-Safe Systems
Commemorative Silver Jubilee Volume IEEE International Symposium on Fault Tolerant Computing, 25th Anniversary 1971 - 1995 (selection of the best papers of the 25 first years of FTCS), ieee, 1970
hal-01478904v1  Chapitre d'ouvrage
M. NicolaidisO. KebichiV. Castro AlvesTrade-Offs In Scan Path and BIST Inplementations For RAMS
Economics of Electronic Design, Manufacture and Test, kluwer academic publishers, pp.147-157, 1970, 978-1-4419-5142-7. <10.1007/978-1-4757-5048-5_14>
hal-01478903v1  Chapitre d'ouvrage
R. Oliveira DuarteM. NicolaidisA Test Methodology Applied to Cellular Logic Programmable Gate Arrays
Field Programmable Logic: Architectures, Synthesis and Applications, springer pp.11-22, 1970, 978-3-540-58419-3. <10.1007/3-540-58419-6_65>
hal-01478900v1  Chapitre d'ouvrage
M. NicolaidisB. CourtoisLayout rules for the design of self-checking circuits
VLSI Design of Digital System, north holland, 1970
hal-01478898v1  Chapitre d'ouvrage
P. MarchalM. NicolaidisB. CourtoisMicroarchitecture of the MC68000 and evaluation of a self checking version
Microarchitecture of VLSI Computers, springer pp.225-286, 1970, 978-94-009-5143-3
hal-01478896v1  Chapitre d'ouvrage
D. BorrioneA. SalemProving an on-line multiplier with OBJ3 and TACHE: a practical experience
Formal VLSI Correctness Verification, north holland, 1970, 0444 88689 3
hal-01478893v1  Chapitre d'ouvrage
Y. OddosK. Morin-AlloryD. BorrioneFrom Assertion-based Verification to Assertion-based Synthesis
VLSI-SOC: Technologies for Systems Integration" (revised selected contributions from VLSI-SOC'09), springer 1970
hal-01469544v1  Chapitre d'ouvrage
D. BorrioneR. PilotyCONLAN: presentation of basic principles, applications and relation to VHDL
Fundamentals and Standards in Hardware Description Languages, kluwer academic publishers, pp.39-78, 1970, 0.7923.2513.3
hal-01469542v1  Chapitre d'ouvrage
D. BorrioneH. EvekingL. PierreFormal proofs from HDL descriptions
Fundamentals and Standards in Hardware Description Languages, kluwer academic publishers, pp.155-194, 1970, 0.7923.2513.3