Aller au contenu

Utilisez votre espace personnel pour :

Réserver vos places et documents sur le site François-Mitterrand.
Réserver vos documents sur les sites Richelieu-Louvois (y compris les Cartes et plans), Opéra, Arsenal.
Ajouter vos notices et les classer.
Voir vos achats de reproductions.

Aide à la consultation du catalogue
Une question ?
Historique
Mon panier

Recherche avancée

Recherches ciblées Autres recherches

Recherches ciblées
Auteurs A-Z
SUJETS A-Z
PÉRIODIQUES
COTE
Notices d'autorité

Dans les univers
jeunesse
images et cartes
musique

Accueil
Liste de notices suite rebond

236 Notices bibliographiques

Votre Recherche

Rapport de recherche / Institut de recherche d'informatique et d'automatique

Affiner

Nature de document

Texte imprimé et livre numérique (236)

Détails texte imprimé ou électronique

Livres (236)

Localisation

Bibliothèque de recherche (236)
- François Mitterrand (236)
  - Magasin (dans toutes les salles de l'espace Recherche) (236)

Auteurs, contributeurs...

Gelenbe, Erol (1945-....) (20)
Schützenberger, Marcel-Paul (1920-1996) (9)
Hyafil, Laurent (9)

Ajouter un filtre

Langues

français (147)
anglais (107)
langues multiples (2)

Ajouter un filtre

Date de publication

1900-1999 (236)

Sujets

Programmation (informatique) (9)
Files d'attente, Théorie des (8)
Commande, Théorie de la (7)

Ajouter un filtre

Pays

France (236)

Voir la sélection (0)

Ajouter à mes références (0)

Information

Veuillez sélectionner au moins une notice dans la liste de résultats.

Tri par :

sur 24

Page suivante
Dernière page

1 1972
N°1

Nivat, Maurice (1937-2017)

Sur l'interprétation des schémas de programmes monadiques / Maurice Nivat

Livres

2 1972
N°5

Gelenbe, Erol (1945-....)

A Unified approach to the evaluation of a class of replacement algorithms / Erol Gelenbe

Livres

3 1973
N°8

Hyafil, Laurent

Un Algorithme de recherche des prédominateurs dans un graphe orienté / Laurent Hyafil

Livres

4 1973
N°37

Courcelle, Bruno

Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples / B. Courcelle, G. Kahn, J. Vuillemin

Livres

5 1973
N°19

Analyse d'un algorithme de gestion simultanée mémoire centrale-disque de pagination / E. Gelenbe, J. Lenfant, A. Brandwajn, D. Potier

Livres

6 1973
N°17

Bourgat, Jean-François

Analyse numérique du refroidissement d'un cylindre radioactif / J.F. Bourgat, R. Trémolières

Livres

7 1973
N°7

Nepomiastchy, Pierre

Application of penalty technique to solve a scheduling problem and comparison with combinatorial methods / Pierre Nepomiastchy

Livres

8 1973
N°22

Yvon, Jean-Pierre

Contrôle optimal d'un four industriel / J.P. Yvon

Livres

9 1973
N°2

Robin, Maurice

Contrôle sous-optimal d'un réacteur chimique par une méthode de perturbation singulière / Maurice Robin

Livres

10 1973
N°24

Vuillemin, Jean (19..-.... ; informaticien)

Correct and optimal implementations of recursion in a simple programming language / Jean Vuillemin

Livres

Tri par :

sur 24

Page suivante
Dernière page

Télécharger/Imprimer

Vous allez obtenir un document que vous pourrez enregistrer ou imprimer.

Format du fichier :	PDF TXT
Choisir :	notices abrégées notices complètes
Format de la notice :	Public Intermarc

Envoyer par courriel

Envoi par courriel au format txt :

PDF
TXT

  notices abrégées
  notices complètes sans exemplaires
  notices complètes avec exemplaires

Format de la notice :

Public
Intermarc

Adresse du destinataire :

Ajouter à mes références

La sélection a bien été ajoutée.

> Accéder à mes références

Exporter dans un tableau

paramétrage public
paramétrage professionnel

Vous allez obtenir un document csv.

	(Sélectionner tout)
	Localisation (pour obtenir tous les exemplaires d'une même ressource)
	Titre
	Auteur
	Contributeur
	Editeur
	Date
	Description
	Sujet
	Couverture
	Langue
	Format

Vous allez obtenir un document csv.

Intermarc

Unimarc

1 colonne par zone

1 colonne par sous-zone

Avec données brutes

Données avec étiquette

avec sous-notices

sans sous-notices

avec données d'exemplaire

sans données d'exemplaire

Identification
Localisation
Cote magasin
Cote libre accès
Droits génériques
Caractéristiques
Exe remarquables
Fonds
Données de numérisation

Numéro de notice	Numéro de regroupement
Collection	Date de dernière modification
Mode d'accès	Mode d'entrée
Numéro d'ordre	Numéro d'inventaire
Identifiant partie exe liée	Numéro d'entrée
Source récolement	Libellé du regroupement
Date de création

Etablissement	Lacune
Statut d'acquisition	Etat de collection
Destination	Complétude pub. en série
Usage	Conservation
Qualification/Volumaison	Note complétude
Etat col/mon

Adresse	Sous-cote
Préfixe	Cote non conrôlée
Format	Cote 1
Lettrage, millésime ou support	Cote 2
Numéro	Cote originale (indexée)
Début numéro	Cote originale (non indexée)
Fin numéro

Salle	Nature oeuvre
Discipline	Code critique
Dewey / Per	Microforme
Code auteur	Ancienne cote
Code titre

Droit	Date fin
Permission	Paramètres
Date début	Id. convention

Disponibilité	Particularités
Support physique	Origine
Original	Microforme
Matériel accompagnement	Source bibliographique
Description technique

Numéro exemplaire	Note papier
Ajouts	Type provenance
Note ajouts	Type
Type papier	Date

Nom du fonds	Mention de mécénat
N° à l'intérieur d'un fonds	Département gestionnaire

Date numérisation	Cote support numérisé
Document né numérique	Présence adaptatif
Nb de vues	Type adaptatif
1ère page à afficher	Version adaptatif
Numérisation partielle	Taux qualité adaptatif
Numérisation directe	Signalement adaptatif
Type num. partielle	Consultation adaptatif
Table des matières	Présence E-Pub
Type de TDM	Type E-Pub
Présence de texte	Version E-Pub
Taux de qualité du texte	Qualité E-Pub
Type fichiers num.	Identifiant E-Pub
Taille fichiers num.	Taux qualité E-Pub
Qualité de la numérisation	Accessibilité E-Pub
Résolution du master	Signalement E-Pub
Support numérisé	Consultation E-Pub
Id ArkDoc

Transférer pour un SGB

Vous allez obtenir un fichier au format d'échange ISO2709 à importer dans votre catalogue de bibliothèque informatisé.

Format bibliographique :

Unimarc
Intermarc

Encodage des caractères :

Unicode-UTF8 : jeu de caractères pour tous les systèmes d'écriture

ISO 5426 : jeu de caractères latins

Récupérer les notices

Ma sélection (0)

Télécharger/Imprimer
Envoyer par courriel
Exporter dans un tableau
Transférer pour un SGB

Tous les résultats (236)

Exporter dans un tableau
Transférer pour un SGB

autres Ressources

Archives et manuscrits
Ressources électroniques

Conditions générales d'utilisation
À propos
Écrire à la BnF
Accessibilité (non conforme)
V 18.1.5