m

Documents  D.2.2 | enregistrements trouvés : 21

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-87661-4

Localisation : Colloque 1er étage (SAN)

68-02 ; 68Mxx ; 68Nxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 163 p.
ISBN 978-3-540-13878-5

Lecture notes in computer science , 0180

Localisation : Collection 1er étage

ada # interfaces # logiciel # outils # programme

68N99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 422 p.
ISBN 978-3-540-17654-1

Lecture notes in computer science , 0252

Localisation : Collection 1er étage

langage de programmation # programmation # technique de programmation

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 396 p.
ISBN 978-3-540-54262-9

Lecture notes in computer science , 0512

Localisation : Collection 1er étage

informatique orienté objet # programmation orientée objet

65Nxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 521 p.
ISBN 978-3-540-55808-8

Lecture notes in computer science , 0629

Localisation : Collection 1er étage

algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de ...

68-06 ; 68-50 ; 68Nxx ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-89276-129-0

Publications du laboratoire de combinatoire et d'informatique mathématique , 0015

Localisation : Colloque 1er étage (MONT)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 526 p.
ISBN 978-3-540-60723-6

Lecture notes in computer science , 1027

Localisation : Collection 1er étage

CABRI-graphe pour recherche et enseignement # CLAX compilateur visualisé # COMAIDE # GOVE # SWAN # Toscana # algorithme de tracé de graphe aléatoire # environnement de visualisation orienté grammaire # esthétique # moulle # optique # représentation de visibilité de graphe # système de management pour données conceptuelles # système de visualisation de structure de donnée # tracé de graphe orthogonal # visualisation d'information # visualisation de graphe 3-D intéractive rapide CABRI-graphe pour recherche et enseignement # CLAX compilateur visualisé # COMAIDE # GOVE # SWAN # Toscana # algorithme de tracé de graphe aléatoire # environnement de visualisation orienté grammaire # esthétique # moulle # optique # représentation de visibilité de graphe # système de management pour données conceptuelles # système de visualisation de structure de donnée # tracé de graphe orthogonal # visualisation d'information # visualisation ...

05Cxx ; 68R10 ; 90C35 ; 94C15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 469 p.
ISBN 978-3-540-58950-1

Lecture notes in computer science , 0894

Localisation : Collection 1er étage

application et système # approche déclarative # contestation de tracé de graphe # démonstration de système # galerie de poster # géométrie # représentation de visibilité # tracé de proximité # tracé orthogonal # tracé planaire # tracé tri-dimensionnel # tracé vers le haut # traversée

05Cxx ; 68R10 ; 90C35 ; 94C15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 408 p.
ISBN 978-3-540-62495-0

Lecture notes in computer science , 1190

Localisation : Collection 1er étage

aide et conception assistée de système # algorithme non numérique # analyse des algorithmes # application de la théorie des graphes # circuit réseau # combinatoire # graphe informatique # géométrie de l'informatique # ingineering des logiciels # logiciel # mathématique discrète # modélisation d'objet # outil et technique # problème # problème de complexité # programmation mathématique # théorie des graphes

05Cxx ; 68R10 ; 68U05 ; 68Uxx ; 90C35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 448 p.
ISBN 978-3-540-63938-1

Lecture notes in computer science , 1353

Localisation : Collection 1er étage

algorithme non numérique # conception de graphe # conception de logiciel # géométrie de l'informatique # informatique graphique # mathématique discrète # modélisation d'objet # théorie des graphes

68R10 ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 365 p.
ISBN 978-0-387-90641-6

Texts and monographs in computer science

Localisation : Ouvrage RdC (GRIE)

68N05 ; 68N15 ; 68SXX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 328 p.
ISBN 978-2-04-010516-7

Dunod informatique

Localisation : Ouvrage RdC (LIVE)

théorie des programmes # schéma # preuve # sémantique

68N15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 278 p.
ISBN 978-90-6196-326-4

CWI tract , 0042

Localisation : Collection 1er étage

informatique théorique # outil mathématique de l'informatique

68-XX ; 68B05 ; 68CXX ; 68DXX ; 68FXX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 217 p.
ISBN 978-3-540-12693-5

Lecture notes in computer science , 0160

Localisation : Collection 1er étage

constructions et carastéristique de langage # environnements de programmation # exigeneces # ingenierie de logiciels # outils et techniques # processus # specification # vérification de programme # vérification et raisonnement sur les programmes

68N05 ; 68O60 ; 68T15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 424 p.
ISBN 978-2-86601-195-6

Traite des nouvelles technologies

Localisation : Ouvrage RdC (DAVI)

automatisme logique # grafcet # réseau de Pietri

68N05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 267 p.
ISBN 978-0-442-27536-5

Localisation : Ouvrage RdC (PYST)

configuration des systemes informatiques # constr uction des systemes informatiques # design # langage c # langage de programmation # outil de l'informatique # pascal

68N20 ; 68Nxx ; 68Q42 ; 68Q52

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 251 p.
ISBN 978-3-540-55767-8

Lecture notes in computer science , 0625

Localisation : Collection 1er étage

bisimulation # capacité # composition parallèle # construction modulaire # informatique théorique # ingénierie de logiciel # langage formel # modèle de calcul # mot d'intervalle # réseau de Pétri # sémantique d'ordre partiel # verrouillage

68Nxx ; 68Q10 ; 68Q45 ; 68Qxx ; 68U20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-7108-0593-9

Collection informatique

Localisation : Salle Informatique 1er étage

TURBO C # compilateur # langage de programmation # outil de programmation

68N15 ; 68N20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-7108-0581-6

Collection informatique

Localisation : Salle Informatique 1er étage

TURBO C # bibliothèque de programmation # compilateur # langage de programmation

68N15 ; 68N20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 166 p.

Localisation : Ouvrage RdC (AUTA)

algorithme efficace polynomial # bisimulation de place # famille d'équivalence comportementale # famille des sémantiques du vrai parallélisme # graphisme informatique # génie logiciel de Pietri # langage de programmation FP2 # marquage # processus parallèle # programmation parallèle # réseau de Pétri # réécriture de termes # spécification algébrique # sémantique interleaving

65N15 ; 68N99 ; 68U05

... Lire [+]

Z