m

F Nous contacter

0

Documents  D.2.4 | enregistrements trouvés : 17

O
     

-A +A

P Q

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

- 322 p.
ISBN 978-3-540-07804-3

Lecture notes in computer science , 0044

Localisation : Collection 1er étage

architecture des systèmes # programmation # programme # traitement des données # vérification de programme

68M07 ; 68Mxx ; 68P05 ; 68Q60

... Lire [+]

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

- 489 p.
ISBN 978-3-540-10250-2

Lecture notes in computer science , 0094

Localisation : Collection 1er étage

compileur # générateur # grammaire # langage de programmation # processeur # sémantique # vérification de programme

68B10

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

- 398 p.
ISBN 978-3-540-16047-2

Lecture notes in computer science , 0207

Localisation : Collection 1er étage

langage de requète # programmation parallèle # spécification # vérification de programme

68Q10

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

- 118 p.
ISBN 978-90-6196-207-6

Mathematical centre tracts , 0131

Localisation : Collection 1er étage

programme # programme de correction # vérification de programme

68B10

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

- 285 p.
ISBN 978-3-540-54947-5

Lecture notes in computer science , 0558

Localisation : Collection 1er étage

système temps réel # temps réel

68M15 ; 68Mxx

... Lire [+]

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

- 419 p.
ISBN 978-3-540-54972-7

Lecture notes in computer science , 0562

Localisation : Collection 1er étage

objet # programmation oriente objet

68Q10 ; 68Q60

... Lire [+]

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

- 202 p.
ISBN 978-2-225-81939-1

Méthode + Programmes

Localisation : Ouvrage RdC (BATB)

ARBA # CENTRA # PYRA # Turbo-Pascal # approche pyramidale # arborescence # arbre # classification additive # classification arborée # classification hiérarchique # dendrogramme # programmation # programme

68-05 ; 68M20 ; 68P99

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

- 288 p.
ISBN 978-2-225-81953-7

Logique mathématiques informatique , 0004

Localisation : Ouvrage RdC (MARG)

Pascal # analyse des algorithmes # complexité des algorithmes # dérécursification # langage de programmation # logique du premier ordre # preuve de programme # récursivité # standard # vérification de programme

03B10 ; 68N05 ; 68N15 ; 68Q25

... Lire [+]

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

- 49 p.
ISBN 978-0-89871-164-6

CBMS-NSF regional conference series in applied mathematics , 0031

Localisation : Collection 1er étage

annotation de programme systèmatique # correction partielle ou totale # logique de programmation informatique # synthèse de programme # terminaison de système de production

68N17 ; 68Nxx

... Lire [+]

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

- 301 p.
ISBN 978-3-540-56254-2

EATCS monographs on theoretical computer science

Localisation : Ouvrage RdC (SCHM)

algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme

00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01

... Lire [+]

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

- 163 p.
ISBN 978-3-540-63982-4

Lecture notes in computer science , 1354

Localisation : Collection 1er étage

conception de logiciel # informatique théorique # logique # programmation en concurrence # spécification de programme # technique de programmation # vérification de programme

68Q60 ; 90Cxx

... Lire [+]

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

- 254 p.

Thèse docteur

Localisation : Ouvrage RdC (KOUK)

sureté de fonctionnement # fiabilité # logiciel # erreur

68Nxx

... Lire [+]

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

- 188 p.

Localisation : Ouvrage RdC (ELAR)

analyse bayésienne # fiabilité des logiciels # modèle linéaire généralisé # processus aléatoire # statistique appliquée # test d'adéquation statistique

62Pxx ; 68M15

... Lire [+]

Z