m

F Nous contacter

0

Documents  F.3.1 | enregistrements trouvés : 20

O
     

-A +A

P Q

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

- 708 p.
ISBN 978-3-540-16780-8

Lecture notes in computer science , 0230

Localisation : Collection 1er étage

déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

68Q60 ; 68T15

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

- 414 p.
ISBN 978-3-540-62600-8

Lecture notes in computer science , 1201

Localisation : Collection 1er étage

architecture # gestion de système # logiciel # logique # organisation système # requète # signification des programmes # spécification # système d'exploitation # système informatique # vérification

68M07 ; 68Mxx ; 68P60 ; 68Pxx

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

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

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

- 284 p.
ISBN 978-3-540-61736-5

Lecture notes in computer science , 1132

Localisation : Collection 1er étage

architecture # architecture des suites de données multiples # arithmétique # calcul informatique théorique # calcul parallèle # classification des langages # grammaire # langage de programmation # langage formel # logique et signification de programme # logique mathématique # modélisation # organisation des systèmes # programmation concurrente # structure de programmation # structure logique # système de réécriture # système informatique

... Lire [+]

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

- 114 p.
ISBN 978-3-540-15239-2

Lecture notes in computer science , 0191

Localisation : Collection 1er étage

logique # programmation logique # programmation parallèle # spécification de programme # vérification de programme

68M17 ; 68Q10

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

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

- 317 p.
ISBN 978-90-6196-200-7

Mathematical centre tracts , 0127

Localisation : Collection 1er étage

calcul algébrique # calcul symbolique # informatique théorique # logique combinatoire # logique de programmation # logique symbolique # système formel

03B40 ; 68C01 ; 68C20

... Lire [+]

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

- 87 p.
ISBN 978-3-540-60615-4

Lecture notes in computer science , 1001

Localisation : Collection 1er étage

analyse des algorithmes # analyse numérique # codage # conception de logiciel # environnement de logiciel # interactivité de programme # logiciel # logique et signification de programme # logique mathématique # probabilité statistique # problème de complexité # spécification et vérification de programme # théorie d'informatique

68B15 ; 68Nxx ; 68Q60 ; 68Qxx ; 86Q25

... Lire [+]

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

- 1273 p.
ISBN 978-0-444-88074-1

Handbook of theoretical computer science

Localisation : Ouvrage RdC (Hand)

automate fini # base de données relationnelle # calcul distribué # lambda calcul # langage formel # langage libre de contexte # logique des programmes # logique temporelle et modale # modèle formel # processus concurrents # programmation fonctionnelle # programmation logique # programmation temporelle et modale # réécriture de graphe # système à réécrire # sémantique # série de puissance

03D05 ; 68N17 ; 68Q42 ; 68Q45 ; 68Q68

... Lire [+]

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

- 205 p.
ISBN 978-90-6196-292-2

CWI tract , 0019

Localisation : Collection 1er étage

03B15 ; 03G15 ; 08A99 ; 68F05 ; 68F20

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

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

- 164 p.
ISBN 978-3-540-56283-2

Lecture notes in computer science , 651

Localisation : Collection 1er étage

application des ordinateurs # canal # communication # informatique théorique # logique et signification des programmes # logique mathématique # raisonnement au sujet des programmes # spécification # vérification

03B45 ; 68Q60 ; 94Axx

... Lire [+]

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

- 715 p.
ISBN 978-3-540-56583-3

Monographs in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (NAIT)

dynamique des processus logiques # ion d'information partiel # langage de programmation # logique de proposition partielle # logique et spécification de programme # logique mathématique # méthode # physique théorique # programmation logique # représentation de connaissance # système logique # sémantique # théorème de preuve # vérification de programme

68N15 ; 68Q45 ; 68Q50 ; 68Q55 ; 68Qxx

... Lire [+]

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

- 283 p.

Localisation : Ouvrage RdC (GARR)

corps fini # environnement de programmation # géométrie algébrique # modélisation # résolution de problème # spécification # système polynômial

00A71 ; 12E20 ; 12Y05 ; 14-XX

... Lire [+]

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

- 142 p.

Localisation : Ouvrage RdC (LEVA)

décomposition technologique # détection de la zone critique # factorisation algébrique # modèle de délai # réinjection # réseau programmable # synthèse logique

68M10 ; 90B12

... Lire [+]

Z