skip to main content
Filtré par : auteur: Berry, Gérard, 1948-... supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

From regular expressions to deterministic automata

Berry, Gérard (1948-....) ; Sethi, Ravi

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

Latch optimization in circuits generated from high-level descriptions

SENTOVICH, Ellen M. ; TOMA, Horia ; Berry, Gérard (1948-....)

ENSMP, 1996

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Latch optimization in circuits generated from high-level descriptions = Optimisation du nombre des registres dans les circuits générés à partir de langages de haut niveau

SENTOVICH, Ellen M. ; TOMA, Horia ; Berry, Gérard (1948-....)

Le Chesnay : Institut national de recherche en informatique et en automatique, 1996

Voir les exemplaires

4
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 proceedings
Material Type:
Livre
Ajouter à Mon espace

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 proceedings

International conference on computer-aided verification International conference on computer-aided verification 13 2001 Paris, France ; Comon-Lundh, Hubert ; Finkel, Alain (1958-....) ; Berry, Gérard (1948-....)

Berlin : Springer, 2001

Voir les exemplaires

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Date de publication 

À partir de jusqu'à

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré