NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7
  • Tagged with
  • 7
  • 7
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 7 of 7 (0.139 seconds)

Spelling suggestions: "subject:"machines séquentielle, 4héore dess."" "subject:"machines séquentielle, 4héore deus.""

1

SIAM : une boîte à outils pour la preuve formelle de systèmes séquentiels /

Coudert, Olivier. January 1992 (has links)
Th. doct.--Electronique et communications--Paris--ENST, 1991. / Bibliogr. p. 141-149. Index.
Machines séquentielles, Théorie des.
2

Vérification et minimisation de systèmes séquentiels : optimisations de méthodes basées sur la composition de fonctions booléennes /

Tamisier, Thomas. January 1995 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1994. / Résumé en français et en anglais. Bibliogr. p. 99-102.
Machines séquentielles, Théorie des.
3

Oméga-Algèbre : théorie et application en vérification de programmes

Bolduc, Claude. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 28 mars 2007). Bibliogr.
4

Sur des graphes infinis réguliers

Caucal, Didier January 1998 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1998. / Bibliogr. p.61-65.
5

Algorithmique parallèle réseaux d'automates, architectures systoliques, machines SIMD et MIMD /

Robert, Yves Robert, François January 2008 (has links)
Reproduction de : Thèse d'Etat : informatique : Grenoble, INPG : 1986. Reproduction de : Thèse d'Etat : informatique : Grenoble 1 : 1986. / Titre provenant de l'écran-titre.
6

Réseaux systoliques pour la résolution de problèmes linéaires

Melkemi, Lamine. Tchuente, Maurice. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : mathématiques appliquées : Grenoble 1 : 1986. / Titre provenant de l'écran-titre. Bibliogr. p. 105-109.
7

Model-checking pour les ambients des algèbres de processus aux données semi-structurées /

Talbot, Jean-Marc Tison, Sophie. January 2007 (has links)
Reproduction de : Habilitation à driger des recherches : Sciences mathématiques. Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 494. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 87-95. Liste des publications.

Page generated in 0.1428 seconds