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