m

Documents  D.3 | enregistrements trouvés : 71

O

-A +A

P Q

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

- 720 p.
ISBN 978-3-540-16492-0

Lecture notes in computer science , 0225

Localisation : Collection 1er étage

algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique

68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX

... Lire [+]

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

- 428 p.
ISBN 978-3-540-07994-1

Lecture notes in computer science , 0046

Localisation : Collection 1er étage

informatique # langage de programmation # programmation # structure des données # système d'exploitation

68-06

... Lire [+]

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

- 682 p.
ISBN 978-3-540-09510-1

Lecture notes in computer science , 0071

Localisation : Collection 1er étage

combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages

68-06 ; 68N05 ; 68N15 ; 68R05 ; 68Rxx

... Lire [+]

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

- 508 p.
ISBN 978-3-540-08860-8

Lecture notes in computer science , 0062

Localisation : Collection 1er étage

combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX ; 68N15 ; 68Rxx

... Lire [+]

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

- 496 p.
ISBN 978-3-540-08360-3

Lecture notes in computer science , 0054

Localisation : Collection 1er étage

langage de programmation # machine # procédure d'optimisation # programmation

68-06 ; 68N15

... Lire [+]

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

- 569 p.
ISBN 978-3-540-08342-9

Lecture notes in computer science , 0052

Localisation : Collection 1er étage

automate # combinatoire # informatique théorique # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX

... Lire [+]

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


ISBN 978-4-274-07221-5

Localisation : Colloque 1er étage (TOKY)

Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini

68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx

... Lire [+]

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

- 478 p.
ISBN 978-3-540-10699-9

Lecture notes in computer science , 0107

Localisation : Collection 1er étage

informatique théorique # langage de programmation # programmation # structure de données # techniques de programmation # théorie de la programmation

68-02 ; 68A05 ; 68A30

... Lire [+]

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

- 330 p.
ISBN 978-3-540-12328-6

Lecture notes in computer science , 0155

Localisation : Collection 1er étage

ada # langage de programmation

68N15

... Lire [+]

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

- 416 p.
ISBN 978-3-540-12727-7

Lecture notes in computer science , 0159

Localisation : Collection 1er étage

algèbre # algorithme # arbre # langage de programmation # programmation # programme # représentation de données # structure des données # techniques de programmation

68Nxx ; 68Q40 ; 68Q42 ; 68Qxx

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

- 208 p.
ISBN 978-3-540-17184-3

Lecture notes in computer science , 0242

Localisation : Collection 1er étage

calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation

68N05 ; 68N15 ; 68Q40 ; 68R15

... Lire [+]

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

- 770 p.
ISBN 978-3-540-54415-9

Lecture notes in computer science , 0526

Localisation : Collection 1er étage

complexité # grammaire # informatique théorique # programmation logique # syntaxe émantique # théorie des types

68Pxx ; 68Q50 ; 68Q55

... Lire [+]

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

- 427 p.
ISBN 978-3-540-55789-0

Lecture notes in computer science , 0626

Localisation : Collection 1er étage

gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme

68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx

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

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.

- 324 p.
ISBN 978-3-540-55585-8

Lecture notes in computer science , 0603

Localisation : Collection 1er étage

ADA # ingénierie de logiciel # langage de programmation # programmation automatique # programmation concurrente # programmation fonctionne lle # programmation orientée objet # programmation séquentielle # système d'exploitation # technique de programmation

68-06 ; 68N05 ; 68N15 ; 68N25

... Lire [+]

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

- 439 p.
ISBN 978-3-540-56992-3

Lecture notes in computer science , 0702

Localisation : Collection 1er étage

3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul linéaire # langage de programmation # langage de programmation C # langage fonctionnel # logique de base des preuves # logique du point fixe stratifiée # logique linéaire # machine Oracle à temps polynômial # machine de Turing # mathématique discrète # modèle catégorique # prauve de NP-complétude # problème NP-complet # problème d'optimisation NP # programmation logique fonctionnelle # programme de logique complet en négation # prédicat auxiliaire monadique # structuration algorithmique des preuves libres de coupure # sémantique des systèmes de transition comparative # sémantique opérationnelle 3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul ...

03B40 ; 03D10 ; 03D70 ; 18A15 ; 68Qxx

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

- 391 p.
ISBN 978-3-540-62031-0

Lecture notes in computer science , 1179

Localisation : Collection 1er étage

architecture des systèmes informatiques # architecture parallèle # programmation parallèle # réseau # spécification et verification de système

68Q60 ; 68Qxx ; 94Cxx

... Lire [+]

Z