m

Documents  H.2 | enregistrements trouvés : 19

O
     

-A +A

P Q

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


ISBN 978-0-306-40060-5

Localisation : Colloque 1er étage (TOUL)

banque de donnees # base de donnees # logique de programmation

68P15

... Lire [+]

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


ISBN 978-0-8218-0086-7

Proceedings of symposia in applied mathematics , 0034

Localisation : Collection 1er étage

circulation de l'information # communication # informati on # informatique theorique # reseau # theorie de l'information

68-06 ; 94Bxx

... Lire [+]

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

- 444 p.
ISBN 978-3-540-17187-4

Lecture notes in computer science , 0243

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # logique # programmation logique # structure des données # traitement de données

68P05 ; 68Pxx ; 68Q25 ; 68Q45

... Lire [+]

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

- 402 p.
ISBN 978-3-540-54869-0

Lecture notes in computer science , 0555

Localisation : Collection 1er étage

algorithmique # complexité # compression # heuristique # informatique graphique # informatique orienté # intelligence artificielle # relations homme- machine # réseaux # réseaux neuronaux

68M10 ; 68M15 ; 68Q10 ; 68Uxx

... Lire [+]

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

- 551 p.
ISBN 978-3-540-55270-3

Lecture notes in computer science , 0580

Localisation : Collection 1er étage

application # information théorique # intelligence artificielle # interface # langage construit # logique mathématique # représentation formelle des connaissances # stockage et représentation des données # système multimédia # systèmes experts # traitement des données

68Mxx ; 68P20 ; 68Pxx ; 68T30 ; 68Txx

... Lire [+]

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

- 260 p.
ISBN 978-3-540-55693-0

Lecture notes in computer science , 0618

Localisation : Collection 1er étage

base de données orientéé objet # gestion des bases de données # implémentation parallèle # modèle de données non relationnel # programmation logique # système de bases de données # système industriel

68-06 ; 68N17 ; 68Pxx

... Lire [+]

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

- 545p.
ISBN 978-3-540-58241-0

Lecture notes in artificial intelligence , 0827

Localisation : Colloque 1er étage (BONN)

ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # logique de processus en temps réel # logique de transaction # logique temporelle des objets # mise à jour de base de données # ordre partiel # pointeur de référence # preuve d'équivalence globale # procédure de décision # programmation en logique modale # raisonnement modulaire # raisonnement temporel # raisonneur # représentation de connaissance # réseau de Pétri avec temps # système de planification temporelle # tableau de logique temporelle # temps de branchement # temps entier # vérification de modèle ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # ...

68-06 ; 68Pxx ; 68Qxx ; 68Rxx ; 68Txx

... Lire [+]

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

- 495 p.
ISBN 978-3-540-61814-0

Lecture notes in computer science , 1154

Localisation : Collection 1er étage

accessibilité des données # base de données déductive # déduction # gestion de système d'informatique # informatique théorique # intelligence artificielle # langage formel # logique # logique mathématique # stockage de l'information # sémantique # théorie de la preuve # traitement des données

68-15 ; 68P05 ; 68P20 ; 68Pxx

... Lire [+]

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

- 219 p.
ISBN 978-3-540-62221-5

Lecture notes in computer science , 1183

Localisation : Collection 1er étage

calcul # gestion de système d'information # gestion des fichiers # informatique # modélisation # méthodologie # simulation # structure des données # système d'information # traitement des donées

68P05 ; 68Pxx ; 68Qxx ; 68U20 ; 68Uxx

... Lire [+]

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

- 219 p.
ISBN 978-3-540-62221-5

Lecture notes in computer science , 1183

Localisation : Collection 1er étage

gestion des données # informatique théorique # outils de l'informatique théorique et système # simulation et modélisation # structure des données # système informatique # visualisation des données

68-XX ; 68Mxx ; 68P05 ; 68P15

... Lire [+]

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

- 392 p.
ISBN 978-3-540-40189-6

Lecture notes in computer science , 2665

Localisation : Collection 1er étage

sécurité informatique # système intelligent # sécurité des informations # surveillance # fouille de données # détection de fraude # sécurité des réseaux # système coopératif # gestion de connaissance

94-06 ; 68-06

... Lire [+]

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

- 140 p.
ISBN 978-3-540-08653-6

Lecture notes in computer science , 0059

Localisation : Collection 1er étage

algorithme # base des données # calcul de l'information # information # informatique # recherche d'information

68P15 ; 68Q30

... Lire [+]

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

- 477 p.
ISBN 978-0-471-61654-2

Localisation : Ouvrage RdC (NAID)

ada # langage de programmation

68N15

... Lire [+]

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

- 175 p.
ISBN 978-3-540-10845-0

Lecture notes in computer science , 0116

Localisation : Collection 1er étage

base de données # parallele

68P15 ; 68Q10

... Lire [+]

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


ISBN 978-0-07-882176-9

Oracle Press Edition

Localisation : Salle Informatique 1er étage

PL/SQL 2.2 et 2.3 # PL/SQL dynamique # SQL # communication intersession # dictionnaire de données # déclenchement # fichier I/O # fonction # glossaire des caractéristiques PL/SQL # mot réservé # opérations de bases de données # paquetage # performance et accord # procédure # programmation d'Oracle 7 # syntaxe, construction et environnement d'éxécution de PL/SQL # système de bases de données puissant, flexible et complexe # test et débogage # traitement de l'erreur PL/SQL 2.2 et 2.3 # PL/SQL dynamique # SQL # communication intersession # dictionnaire de données # déclenchement # fichier I/O # fonction # glossaire des caractéristiques PL/SQL # mot réservé # opérations de bases de données # paquetage # performance et accord # procédure # programmation d'Oracle 7 # syntaxe, construction et environnement d'éxécution de PL/SQL # système de bases de données puissant, flexible et complexe # test et débogage # ...

68-00 ; 68Pxx

... Lire [+]

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

- 372 p.
ISBN 978-2-225-80930-9

Collection technique et scientifique des telecommunications

Localisation : Ouvrage RdC (STEI)

bande # codage # démodulation # information # modem # mode de distribution invariante lation # théorie de l'information # transmission # transmission des données

68P99 ; 94A05 ; 94A14 ; 94Axx ; 94Bxx

... Lire [+]

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

- 292 p.
ISBN 978-2-225-81273-6

Méthode + programmes

Localisation : Ouvrage RdC (DUBO)

application de la théorie des possibilités # calcul de quantité flane # ensemble flou # environnement imprécis # information incomplète ou incertaine # mesure de possibilité # modèle de raisonnement approché # programmation flane # recherche hermistique # représentation des connaissances en informatique # système expert # traitement de question vague en base de données # évaluation et classement d'objets

68P15 ; 68T30 ; 68T35 ; 68Txx

... Lire [+]

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

- 158 p.

These 3eme cycle

Localisation : Ouvrage RdC (BALT)

bases de données reparties # cohérence # reprise # systèmes répartis # systèmes transactionnels # validation

68Pxx

... Lire [+]

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

- pag. mult.

Localisation : Ouvrage RdC (LEMA)

Solange # base de données lexicale # construction de base de données # fortran # griffon, langage fonctionnel de programmation de bases de do # interface # interrogation de base de données # langage de requête # lifoo, langage fonctionnel de requête # # microbe # pepin # rebu # système de gestion de bases de données documentaires # vidoc

68N15 ; 68P15

... Lire [+]

Z