En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents C.5 8 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 436 p.
Cote : 00011195
informatique # système d'exploitation # système informatique

68Mxx

Localisation : Ouvrage RdC (KRAK)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 723 p.
Cote : 00015255
calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel

68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00018460
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de système informatique # système communicant distribué # système continu ou discret # système à événement discret # téléphone # utilisation MEC # validation de système à base temporelle # vérification de chronogramme hiérarchique # vérification de style algébrique # vérification informatique[-]
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de ...[+]

68Mxx ; 68Qxx ; 93A30 ; 93B07 ; 93B50

Localisation : Colloque 1er étage (MONT)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00010951
systeme informatique # unix

68Mxx

Localisation : Salle de manutention

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 364 p.
Cote : 00011194
informatique # système # système d'exploitation

68Mxx

Localisation : Ouvrage RdC (CROC)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 467 p.
Cote : 00011523
langage de programmation # langage formel # machine # réseaux de Petri # système d'exploitation # système temps réel

68M10 ; 68Mxx ; 68N15 ; 68Q05

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00011957
ordinateur unix # systeme d'exploitation

68Mxx

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 443 p.
Cote : 00019555
calcul # calcul pratagé # calculateur # complexité des machines # graphe # intelligence artificielle # langage de programmation # programmation machine # routage

68M07 ; 68Mxx ; 68N05 ; 68N25 ; 68Nxx

Localisation : Ouvrage RdC (ECK)

Sélection Signaler une erreur

Filtrer

Type
Auteurs
Langue