m

F Nous contacter

0

Documents  D.3.3 | enregistrements trouvés : 35

O

-A +A

P Q

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

- 562 p.
ISBN 978-3-540-50110-7

Lecture notes in computer science , 0324

Localisation : Collection 1er étage

caractéristique sémantique # construction de langage # langage de programmation # langage formel # logique de programmation # logique mathématiques # mathématiques discrètes # théorie des graphes

68N15 ; 68N17 ; 68Q35 ; 68Q45 ; 68R10 ; 68Rxx

... Lire [+]

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

- 435 p.
ISBN 978-3-540-54345-9

Lecture notes in computer science , 0520

Localisation : Collection 1er étage

algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme

68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05

... Lire [+]

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

- 301 p.
ISBN 978-3-540-54495-1

Lecture notes in computer science , 0530

Localisation : Collection 1er étage

algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # ...

03D40 ; 18-06 ; 68-06

... 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.

- 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.

- 540 p.
ISBN 978-3-540-54430-2

Lecture notes in computer science , 0527

Localisation : Collection 1er étage

constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications

68N05 ; 68N15 ; 68Q10 ; 68Q60

... Lire [+]

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

- 278 p.
ISBN 978-3-540-50667-6

Lecture notes in computer science , 0343

Localisation : Collection 1er étage

algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation

68N17 ; 68Q25

... Lire [+]

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

- 424 p.
ISBN 978-3-540-15648-2

Lecture notes in computer science , 0193

Localisation : Collection 1er étage

construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

... Lire [+]

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

- 262 p.
ISBN 978-3-540-12925-7

Lecture notes in computer science , 0167

Localisation : Collection 1er étage

construction et structure de langage # langage de programmation # programmation # techniques de programmation

68N15 ; 68Q68

... Lire [+]

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

- 523 p.
ISBN 978-3-540-15670-3

Lecture notes in computer science , 0197

Localisation : Collection 1er étage

algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware

68Q40 ; 68Q60 ; 68Q65

... Lire [+]

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

- 197 p.
ISBN 978-3-540-18928-2

Lecture notes in computer science , 0296

Localisation : Collection 1er étage

algèbre de l'informatique

68Qxx ; 68Uxx

... Lire [+]

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

- 428 p.
ISBN 978-3-540-07994-1

Lecture notes in computer science , 0046

Localisation : Collection 1er étage

informatique # langage de programmation # programmation # structure des données # système d'exploitation

68-06

... Lire [+]

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

- 431 p.

Localisation : Colloque 1er étage (MARS)

68-06 ; 68N15 ; 68T25

... Lire [+]

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

- 255 p.
ISBN 978-90-6196-255-7

Mathematical centre tracts , 0159

Localisation : Collection 1er étage

informatique théorique # langage de programmation # logique de programmation # programmation # programme d'analyse # schéma

68B10 ; 68C05

... Lire [+]

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

- 122 p.
ISBN 978-90-6196-254-0

Mathematical centre tracts , 0158

Localisation : Collection 1er étage

circuit intégré # conception de type de circuit intégré # construction de langage # langage # programmation parallèle

68C05 ; 68C25

... Lire [+]

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


ISBN 978-0-306-41636-1

Localisation : Colloque 1er étage (TOUL)

base de donnée # conception de schéma de BD # contrainte d'intégrité # cycle et décomposition # information incomplète # langage de questionnement # spéficication formelle # type de donnée abstraite

68GXX

... Lire [+]

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


ISBN 978-0-13-096595-0

Localisation : Salle Informatique 1er étage

amélioration d'algorithme # application comme exemple # bibliothèque standard ANSI C # efficacité d'espace # efficacité du programmeur # estimation du temps et de l'espace requis # mesure de la taille de code, de l'espace statique, du traite # méthodologie pour l'amélioration de l'efficacité # optimisation du compilateur # optimiseur C # profileur pour C # réduction du temps de compilation # réponse à exercice # techniques C++ # transformation de code # type de données abstrait en C++ amélioration d'algorithme # application comme exemple # bibliothèque standard ANSI C # efficacité d'espace # efficacité du programmeur # estimation du temps et de l'espace requis # mesure de la taille de code, de l'espace statique, du traite # méthodologie pour l'amélioration de l'efficacité # optimisation du compilateur # optimiseur C # profileur pour C # réduction du temps de compilation # réponse à exercice # techniques C++ # transformation ...

68N15 ; 68N20 ; 68Nxx ; 68Pxx ; 68Qxx

... Lire [+]

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

- 287 p.
ISBN 978-2-225-81900-1

Logique mathématiques informatique , 0003

Localisation : Ouvrage RdC (MARG)

Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité

03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17

... Lire [+]

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

- 370 p.
ISBN 978-2-225-82104-2

Etudes et recherches en informatique

Localisation : Ouvrage RdC (LALE)

algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution

03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17

... Lire [+]

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

- 356 p.
ISBN 978-0-12-051070-2

Computer science and scientific computing

Localisation : Ouvrage RdC (ALLE)

analyse de la performance de calcul # méthode de solution analytique # paramétrisation du modèle # programme de mathematica # prévision # simulation et repérage

68N15

... Lire [+]

Z