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)
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
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)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00010951
systeme informatique # unix
68Mxx
Localisation : Salle de manutention
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)
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
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00011957
ordinateur unix # systeme d'exploitation
68Mxx
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)
English