m

Documents  F.4 | enregistrements trouvés : 36

O

-A +A

P Q

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

- 431 p.
ISBN 978-0-387-12920-4

Lecture notes in computer science , 0166

Localisation : Collection 1er étage

algorithme # algorithmique # complexité # informatique théorique # langage formel # logique # logique de programmation # logique mathématiques # programme # réseaux # système informatique

68-06 ; 68A05 ; 68CXX ; 68Q30 ; 68Qxx

... Lire [+]

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

- 431 p.
ISBN 978-3-540-12896-0

Lecture notes in computer science , 0164

Localisation : Collection 1er étage

68B10 ; 68B15 ; 68B45 ; 68N15 ; 68Nxx

... Lire [+]

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

- 112 p.
ISBN 978-90-6196-176-5

Mathematical centre tracts , 0108

Localisation : Collection 1er étage

automatique # complexité # informatique théorique # langage formel # langage naturel # processus

68B15 ; 68C25 ; 68C40 ; 68D05 ; 68DXX

... Lire [+]

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

- 551 p.
ISBN 978-3-540-08921-6

Lecture notes in computer science , 0064

Localisation : Collection 1er étage

automate # complexité informatique # information théorique # intelligence artificielle # langage formel # recherche d'information # théorie des automates

03C80 ; 03C99 ; 68Wxx ; 68Q25 ; 68Q45

... Lire [+]

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

- 595 p.
ISBN 978-3-540-08353-5

Lecture notes in computer science , 0053

Localisation : Collection 1er étage

automate # intelligence artificielle # langage formel # logique # logique mathématique # machine de turing # programmation # programme # théorie des langages # théorie des machines

03F99 ; 03Fxx ; 03Dxx ; 18B20

... Lire [+]

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

- 260 p.
ISBN 978-3-540-10576-3

Lecture notes in computer science , 0104

Localisation : Collection 1er étage

informatique théorique

68-02 ; 68Pxx ; 68Rxx

... Lire [+]

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

- 552 p.
ISBN 978-3-540-10843-6

Lecture notes in computer science , 0115

Localisation : Collection 1er étage

automate # complexité # langage # logique # programmation

68-XX

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

- 581 p.
ISBN 978-3-540-13372-8

Lecture notes in computer science , 0176

Localisation : Collection 1er étage

algorithme # algorithmique # complexité # informatique théorique # mathématique # mathématique de l'informatique # mathématiques discrètes # programmation # programmation logique

68Qxx ; 68Rxx

... Lire [+]

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

- 215 p.
ISBN 978-0-387-15641-5

Lecture notes in computer science , 0192

Localisation : Collection 1er étage

arbres # automate # informatique théorique # logique

03D05 ; 68Q68 ; 68Qxx

... Lire [+]

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

- 397 p.
ISBN 978-3-540-16066-3

Lecture notes in computer science , 0208

Localisation : Collection 1er étage

automate # calcul # combinatoire # complexité # informatique théorique # intelligence artificielle # langage de programmation # logique de la programmation # logique mathématique # mathématiques discrètes # parallèle # programmation parallèle # théorie des graphes

68Q10 ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 474 p.
ISBN 978-3-540-16761-7

Lecture notes in computer science , 0226

Localisation : Collection 1er étage

algèbre linéaire numérique # analyse des algorithmes et complexité des problèmes # approximation # calcul par des appareils abstraits # logique et signification des programmes # logique mathématique et langage formels # théorie des graphes

68Q05 ; 68Q25 ; 68Q45 ; 68R10

... Lire [+]

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

- 650 p.
ISBN 978-3-540-16783-9

Lecture notes in computer science , 0233

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # architecture des systèmes # circuit # complexité # informatique théorique # intelligence artificielle # langage # logique # programme

68-06 ; 68Qxx

... Lire [+]

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

- 444 p.
ISBN 978-3-540-17187-4

Lecture notes in computer science , 0243

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # logique # programmation logique # structure des données # traitement de données

68P05 ; 68Pxx ; 68Q25 ; 68Q45

... Lire [+]

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

- 266 p.
ISBN 978-3-540-17660-2

Lecture notes in computer science , 0249

Localisation : Collection 1er étage

algorithme # informatique théorique # preuve # spécification algébrique

68Q65

... Lire [+]

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

- 440 p.
ISBN 978-3-540-15976-6

Lecture notes in computer science , 0202

Localisation : Collection 1er étage

algèbre de l'informatique # intelligence artificielle # programmation automatique # réecriture de système # système de réecriture # théorie de l'informatique

68Q42

... Lire [+]

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

- 350 p.
ISBN 978-3-540-56402-7

Lecture notes in computer science , 0657

Localisation : Collection 1er étage

algorithme distribué # algorithme parallèle # combinatoire # concept de graphe théorique # décomposition de graphes # grammaire de graphe # géométrie

05Cxx ; 05Dxx ; 68R10 ; 68R15 ; 68S05

... Lire [+]

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

Localisation : Colloque 1er étage (IASI)

algorithme # analyse numérique # informatique # logique mathématique # multimédia # polymère # # réseau neuronal # théorie de l'approximation

03Bxx ; 65Dxx ; 65Lxx ; 92B20 ; 92Exx

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

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

Z