2411 articles – 24 Notices  [english version]
.:. Consultation > Liste par discipline > Micro et nanotechnologies/Microélectronique .:.
66 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7
fulltext access Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique
Georgelin P.
Université Joseph-Fourier - Grenoble I (18/10/2001), BORRIONE Dominique (Dir.) [tel-00002931 - version 1]
fulltext access Structures guidantes à bande interdite photonique à base de silicium nanoporeux
Ferrand P.
Université Joseph-Fourier - Grenoble I (14/09/2001), Romestain Robert (Dir.) [tel-00003341 - version 2]
fulltext access Nouvelle méthodologie de simulation symbolique, permettant la vérification des circuits séquentiels décrits à des niveaux d'abstraction différents
Ritter G.
Université Joseph-Fourier - Grenoble I (26/03/2001), D. Borrione et H. Eveking (Dir.) [tel-00163429 - version 1]
fulltext access Conception des systèmes hétérogènes multilanguages
Coste P.
Université Joseph-Fourier - Grenoble I (12/01/2001), A.A. Jerraya (Dir.) [tel-00163501 - version 1]
fulltext access Amélioration de performance de la simulation des modèles décrits en langages de description de matériel
Morawiec A.
Université Joseph-Fourier - Grenoble I (26/10/2000), MERMET Jean (Dir.) [tel-00002983 - version 1]
fulltext access Techniques de conception pour le durcissement des circuits intégrés face aux rayonnements
VINCI DOS SANTOS F.
Université Joseph-Fourier - Grenoble I (15/10/1998), COURTOIS Bernard (Dir.) [tel-00003047 - version 1]