Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 472p.
ISBN 978-3-540-61474-6
Lecture notes in computer science , 1102
Localisation : Collection 1er étage
informatique # méthodes de vérification assistée par ordinateur # analyse formelle # logique de programmation # softwere pour ingénieurs
00B25 ; 68-06 ; 68Q60 ; 68N17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 788 p.
ISBN 978-3-540-51371-1
Lecture notes in computer science , 0372
Localisation : Collection 1er étage
algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve
68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05
... 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.
- 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.
- 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.
- 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.
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.
- 455 p.
ISBN 978-3-540-15199-9
Lecture notes in computer science , 0186
Localisation : Collection 1er étage
logiciel # logique # progammation logique # programmation # programme
68N05 ; 68N17
... 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.
- 245 p.
ISBN 978-3-540-11160-3
Lecture notes in computer science , 0125
Localisation : Collection 1er étage
algorithmique # grammaire # langage # logique # sémantique # syntaxe
68N17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 347 p.
ISBN 978-3-540-63385-3
Lecture notes in computer science , 1289
Localisation : Collection 1er étage
algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve
68N17 ; 68Q15 ; 68Q20 ; 68Q25 ; 68Q45
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 278 p.
ISBN 978-3-540-50667-6
Lecture notes in computer science , 0343
Localisation : Collection 1er étage
algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation
68N17 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 260 p.
ISBN 978-3-540-55693-0
Lecture notes in computer science , 0618
Localisation : Collection 1er étage
base de données orientéé objet # gestion des bases de données # implémentation parallèle # modèle de données non relationnel # programmation logique # système de bases de données # système industriel
68-06 ; 68N17 ; 68Pxx
... 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.
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.
- 666 p.
ISBN 978-3-540-54396-1
Lecture notes in computer science , 0523
Localisation : Collection 1er étage
architecture des systèmes # architecture parallèle # calcul # informatique # langage de programmation # langage machine # parallélisme # programme fonctionnel
68M07 ; 68N05 ; 68N15 ; 68N17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 468 p.
ISBN 978-3-540-13883-9
Lecture notes in computer science , 0181
Localisation : Collection 1er étage
algèbre de l'informatique # algorithme # algorithmique # circuit # information # informatique théorique # langage formelle # logiciel # logique mathématique # programmation # programmation logique # programme # système # traitement des données
68N17 ; 68Nxx ; 68Q45 ; 68Uxx ; 94Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 367p.
ISBN 978-3-540-58403-2
Lecture notes in computer science , 0845
Localisation : Collection 1er étage
informatique # logique de programmation par contrainte # programmation automatique # calcul symbolique
00B25 ; 68-06 ; 68N17 ; 68W30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 457 p.
ISBN 978-3-540-55873-6
Lecture notes in computer science , 0632
Localisation : Collection 1er étage
arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog
68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42
... Lire [+]
