m

F Nous contacter

0

Documents  68N17 | enregistrements trouvés : 51

O

-A +A

P Q

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

- 403 p.
ISBN 978-3-540-62688-6

Lecture notes in computer science , 1210

Localisation : Collection 1er étage

calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

... Lire [+]

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

- 329 p.
ISBN 978-3-540-61064-9

Lecture notes in computer science , 1059

Localisation : Collection 1er étage

algèbre # arborescence # automate fini # calcul informatique # calcul lambda # graphe # informatique théorique # mathématique discrète # renormalisation # réécriture de programme # structure des données # technique de programmation # transformation de programme

68N05 ; 68N17 ; 68Nxx ; 68P05 ; 68Rxx

... Lire [+]

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

- 336 p.
ISBN 978-3-540-17611-4

Lecture notes in computer science , 0250

Localisation : Collection 1er étage

algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

68N17 ; 68Nxx

... Lire [+]

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


ISBN 978-3-540-05377-4

Lecture notes in mathematics , 0188

Localisation : Collection 1er étage

conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de type ALGOL # sémantique de langage algorithmique # sémantique formelle # théorie algébrique # treillis de diagramme de flot conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de ...

68Q45 ; 68N01 ; 68Q55 ; 68N17 ; 68P20 ; 68-06

... Lire [+]

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

- 359p.
ISBN 978-3-540-54659-7

Lecture notes in computer science , 0548

Localisation : Collection 1er étage

informatique # logique de programmation # algorithme de démonstrtion de problème # déduction # incertitude # logique modale # probabilités

00B25 ; 68-06 ; 68T15 ; 68N17 ; 68T37

... Lire [+]

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

- 283p.
ISBN 978-3-540-57264-0

Lecture notes in computer science , 0724

Localisation : Collection 1er étage

informatique # algorithme générique pour la méthode de point fix # analyse statique pour le calcul parallèle

00B25 ; 68-06 ; 68Q85 ; 68N17

... Lire [+]

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

- 463p.
ISBN 978-3-540-58485-8

Lecture notes in computer science , 0864

Localisation : Collection 1er étage

informatique # algorithme générique pour la méthode de point fix # technique de programmation par contraintes # optimisation # transformation # vérification # analyse de dépendance # domaine abstrait

00B25 ; 68-06 ; 68W40 ; 68N17 ; 68W10 ; 68Q85

... Lire [+]

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

- 374 p.
ISBN 978-3-540-13912-6

Lecture notes in computer science , 0182

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # architecture des systèmes # circuit # informatique théorique # logique # logique formelle # logique mathématique # processeur # programmation logique # réseaux # traitement des données

68M10 ; 68M20 ; 68Mxx ; 68N17 ; 68N25

... Lire [+]

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


ISBN 978-0-521-58057-1

Publications of the Newton institute

Localisation : Colloque 1er étage (CAMB)

informatique # langage # logique classique # metalangage # programmation # sémantique

68N17 ; 68Q40 ; 68Q55

... Lire [+]

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

- 468p.
ISBN 978-3-540-58402-5

Lecture notes in computer science , 0844

Localisation : Collection 1er étage

informatique # logique de programmation # langage de programmation # programmation logique # programmation algorithmique # programmation orientée objet # calcul parallèle

00B25 ; 68-06 ; 68N17 ; 68N15 ; 68N19

... Lire [+]

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

- 360p.
ISBN 978-3-540-58601-2

Lecture notes in computer science , 0874

Localisation : Collection 1er étage

informatique # technique de programmation par contraintes # intelligence artificielle # base de données # interface utilisateur

00B25 ; 68-06 ; 68Q85 ; 68N17 ; 68Txx ; 68P15

... Lire [+]

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

- 650p.
ISBN 978-3-540-60299-6

Lecture notes in computer science , 0976

Localisation : Collection 1er étage

informatique # logique de programmation par contraintes # problème de satisfaction de contraintes # algorithme pour des équations diophantiennes # calcul symbolique # intelligence artificielle

00B25 ; 68-06 ; 68N01 ; 68N17 ; 68W30

... Lire [+]

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

Theoretical computer science , 0175

Localisation : Colloque 1er étage (KANA)

LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif

03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99

... Lire [+]

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

- 351 p.
ISBN 978-3-540-56282-5

Lecture notes in computer science , 649

Localisation : Collection 1er étage

méta-programmation # programmation logique # programmation transformationnelle

68N15 ; 68N17 ; 68Nxx ; F.4.1 ; I.2.4

... Lire [+]

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

- 517 p.
ISBN 978-3-540-63437-9

Lecture notes in computer science , 1295

Localisation : Collection 1er étage

informatique théorique # ingénering de logiciel # langage de programmation # langage formel # logique mathématique # mathématique discrète

68N15 ; 68N17 ; 68Nxx ; 68Q45 ; 68Qxx ; 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.

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

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


ISBN 978-0-521-41300-8

Localisation : Colloque 1er étage (SOPH)

algorithme # calcul # implémentation # logique de l'informatique # logique de programmation # logique intuitive # preuve # structure logique # système formel

68N17

... Lire [+]

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

- 386p.
ISBN 978-3-540-56944-2

Lecture notes in artificial intelligence , 0698

Localisation : Colloque 1er étage (STPE)

informatique # logique de programmation # algorithme de démonstration de théorème # intelligence artificielle # raisonnement automatisé

00B25 ; 68-06 ; 68N17 ; 68T15 ; 68T27

... Lire [+]

Z