skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

UNISEX : A UNIX-BASED SYMBOLIC EXECUTOR FOR PASCAL

New York : J. Wiley, 1985

Voir les exemplaires

2
Material Type:
Thèse
Ajouter à Mon espace

METHODES ITERATIVES DE CONSTRUCTION ET D'APPROXIMATION DE POINTS FIXES D'OPERATEURS MONOTONES SUR UN TREILLIS,ANALYSE SEMANTIQUE DES PROGRAMMES.

S.L. : s.n., 1978

Voir les exemplaires

3
Program flow analysis : theory and applications
Material Type:
Livre
Ajouter à Mon espace

Program flow analysis : theory and applications

Muchnick, Steven S. (1945-....) ; Jones, Neil D.

Englewood Cliffs, N.J. : Prentice-Hall, 1981

Voir les exemplaires

4
Material Type:
Thèse
Ajouter à Mon espace

Détermination automatique de relations linéaires vérifiées par les variables d'un programme

Halbwachs, Nicolas

s.l. : s.n., 1979

Voir les exemplaires  et autres localisations

5
Material Type:
Thèse
Ajouter à Mon espace

PROTOTYPE (UN) D'ANALYSEUR SEMANTIQUE POUR UN SOUS-ENSEMBLE DE PASCAL.

S.L. : s.n., 1983

Voir les exemplaires

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Livres  (2)
  2. Thèses  (3)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Halbwachs, Nicolas
  2. Muchnick, Steven S (1945-...)
  3. Jones, Neil D

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é