m

F Nous contacter

0

Documents  68Q55 | enregistrements trouvés : 54

O

-A +A

P Q

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

- 339 p.
ISBN 978-0-521-42726-5

London mathematical society lecture note series , 0177

Localisation : Collection 1er étage

camonade # catégorie # informatique # reécriture d'algorithme # sémantique

18Bxx ; 18Cxx ; 68-02 ; 68Q55 ; 68Q70

... Lire [+]

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

- 519 p.
ISBN 978-3-540-15650-5

Lecture notes in computer science , 0194

Localisation : Collection 1er étage

algorithme # algorithmes distribués # combinatoire # complexité # informatique théorique # langage # langage de programmation # logique # mathématique discrètes # processeurs # sémantique # vérification des algorithmes

68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 382p.
ISBN 978-3-540-52148-8

Lecture notes in computer science , 0407

Localisation : Collection 1er étage

informatique # méthodes de calcul # sémantique # méthode de vérification assistée par ordinateur # spécification # protocoles de réseaux d'ordinateurs

00B15 ; 68-06 ; 68Q10 ; 68Q55 ; 68Q60

... Lire [+]

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

- 306 p.
ISBN 978-3-540-16443-2

Lecture notes in computer science , 0214

Localisation : Collection 1er étage

arbre # grammaire # graphe # sémantique # syntaxe

68Q50 ; 68Q55 ; 68R10

... Lire [+]

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

- 541 p.
ISBN 978-3-540-60017-6

Lecture notes in computer science , 0933

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

- 419 p.
ISBN 978-3-540-54967-3

Lecture notes in computer science , 0560

Localisation : Collection 1er étage

algorithme # algorithmique # automate # complexité # informatique théorique # sémantique # théorie des automates # type

68Q15 ; 68Q55 ; 68Q68 ; 68Qxx

... Lire [+]

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

- 521 p.
ISBN 978-3-540-16042-7

Lecture notes in computer science , 0206

Localisation : Collection 1er étage

algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme

68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 68Qxx

... Lire [+]

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

- 403 p.
ISBN 978-3-540-56287-0

Lecture notes in computer science , 0652

Localisation : Collection 1er étage

algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique

68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10

... Lire [+]

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

- 564 p.
ISBN 978-3-540-61228-5

Lecture notes in computer science , 1073

Localisation : Collection 1er étage

algorithme et architecture # application à l'informatique # concurrence # forme et graphisme # grammaire de graphe # ingénieurie de logiciel # langage de graphe # spécification et sémantique # technique de réécriture

68Nxx ; 68Q42 ; 68Q55 ; 68Q60 ; 68Qxx

... Lire [+]

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


ISBN 978-0-521-63168-6

Publications of the newton institue

Localisation : Colloque 1er étage (CAMB)

informatique # langage # langage d"ordre supérieur # langage de programmation # relation logique # sémantique # technique d"étiquetage # théorème du point fixe # équivalence contextuelle

68-06 ; 68N15 ; 68Q55

... Lire [+]

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

- 341 p.
ISBN 978-3-540-09981-9

Lecture notes in computer science , 0083

Localisation : Collection 1er étage

conception assistée par ordinateur # langage # programmation # sémantique # testes

68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07

... Lire [+]

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

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... Lire [+]

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

- 429 p.
ISBN 978-3-540-11212-9

Lecture notes in computer science , 0131

Localisation : Collection 1er étage

logique de programmation # logique mathématiques # programme

68Q45 ; 68Q55 ; 68S10 ; 68SXX

... Lire [+]

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

- 506 p.
ISBN 978-3-540-55511-7

Lecture notes in computer science , 0598

Localisation : Collection 1er étage

calcul par dispositif abstraits # fondement mathématique de la sémantique de programmation # langage de programmat ion # lo gique mathématique et langage formel # logique et signification des programmes

68-06 ; 68N15 ; 68Q45 ; 68Q55 ; 68S05

... Lire [+]

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

- 395 p.
ISBN 978-3-540-16816-4

Lecture notes in computer science , 0239

Localisation : Collection 1er étage

définitions formelles et théorie # langages de programmation # sémantique des langages de programmation

68N15 ; 68Q55

... Lire [+]

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

- 421 p.
ISBN 978-3-540-70593-2

Lecture notes in computer science , 5133

Localisation : Collection 1er étage

méthodologie de programmation # calcul formel # précision # concision # spécification # langage sémantique

68Q55 ; 68Q60 ; 68N30

... Lire [+]

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

- 403 p.
ISBN 978-0-8218-0579-4

DIMACS series in discrete mathematics and theoretical computer science , 0029

Localisation : Collection 1er étage

classe de complexité # informatique théorique # langage formel # processus des données électroniques # processus distribué # programme # software # spécification # sémantique # théorie d'automate # vérification

68Q10 ; 68Q45 ; 68Q55 ; 68Q60

... Lire [+]

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

- 435 p.
ISBN 978-3-540-61464-7

Lecture notes in computer science , 1103

Localisation : Collection 1er étage

algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes

68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70

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


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 [+]

Z