m

Documents  F.4.3 | enregistrements trouvés : 23

O

-A +A

P Q

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.

- 164 p.
ISBN 978-90-6196-177-2

Mathematical centre tracts , 0109

Localisation : Collection 1er étage

analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

... Lire [+]

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

- 232 p.

Mathematical centre tracts , 0134

Localisation : Collection 1er étage

68-06 ; 68B10 ; 68B20

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

- 620 p.
ISBN 978-3-540-55092-1

Lecture notes in computer science , 0571

Localisation : Collection 1er étage

calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel

68M20 ; 68Q05 ; 68Q10

... Lire [+]

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

- 214 p.
ISBN 978-3-540-56730-1

Lecture notes in computer science , 0677

Localisation : Collection 1er étage

combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve

68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15

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

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

- 133 p.
ISBN 978-2-225-81504-1

Etudes et recherches en informatique

Localisation : Ouvrage RdC (AUTE)

langage algébrique # théorie des langages # transduction rationnelles

68Q45 ; 68Qxx ; 68SXX

... Lire [+]

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

- 272 p.
ISBN 978-2-225-81632-1

Etudes et recherches en informatique

Localisation : Ouvrage RdC (BEST)

intelligence artificielle # langage # linguistique # logique temporelle # traitement du temps

58TXX ; 68Q45 ; 68Q50 ; 68Q55 ; 68S05

... Lire [+]

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

- 358 p.
ISBN 978-2-10-000073-9

Dunod informatique

Localisation : Enseignement RdC (Appr)

adaptation # apprentissage # biblog # conception conceptuelle des systèmes informatiques # conception des systèmes informatiques # intelligence artificielle # langage formel # méta-programmation # prolog # système automath # sémantique booléenne # sémantique des situations # sémantique formelle # transformation de programme # vérification de preuve

68Q45 ; 68Q55 ; 68Q60 ; 68T05 ; 68U07

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

- 209 p.
ISBN 978-90-6196-164-2

Mathematical centre tracts , 0096

Localisation : Collection 1er étage

automate cellulaire # biologie génétique # fonction de calcul # fonction de traitement # informatique # langage formel # langage pour automate # simulation

68C30 ; 68D20 ; 68F05 ; 68G40 ; 68J10

... Lire [+]

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

- 253 p.
ISBN 978-3-540-10245-8

Lecture notes in computer science , 0099

Localisation : Collection 1er étage

compileur # générateur # grammaire # langage # processeur

68N20 ; 68Q50 ; 68Q52

... Lire [+]

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

- 329 p.
ISBN 978-3-540-11194-8

Lecture notes in computer science , 0127

Localisation : Collection 1er étage

complexité # informatique théorique # parallèle

68Q10 ; 68Q15 ; 68Q25

... Lire [+]

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

- 251 p.
ISBN 978-3-540-55767-8

Lecture notes in computer science , 0625

Localisation : Collection 1er étage

bisimulation # capacité # composition parallèle # construction modulaire # informatique théorique # ingénierie de logiciel # langage formel # modèle de calcul # mot d'intervalle # réseau de Pétri # sémantique d'ordre partiel # verrouillage

68Nxx ; 68Q10 ; 68Q45 ; 68Qxx ; 68U20

... Lire [+]

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

- 62 p.
ISBN 978-0-89871-027-4

CBMS-NSF regional conference series in applied mathematics , 0030

Localisation : Collection 1er étage

L- isomorphisme # calcul faisable # complexité informatique # ensemble complet # langage formel # preuve de théorème trivial # problème P=NP relativisé # propriété de complexité prouvable # réduction # structure # système mathématique formel # théorie des ensembles formelles

03B48 ; 03D15 ; 68Q15 ; 68Q25 ; 68Q45

... Lire [+]

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

- 365 p.
ISBN 978-3-540-61650-4

Texts in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (SIKK)

algorithme # analyse syntaxique du programme # analyseur # calculateur # grammaire # linguistique # source

68Q50 ; 68Qxx ; 68S05

... Lire [+]

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


ISBN 978-0-444-88074-1

Localisation : Ouvrage RdC (H)

automate # calcul lambda # calcul partagé # calcul réparti # informatique théorique # langage de programmation # logique et programmation # logique modale # logique temporelle # programmation logique # schéma de programme # spécification d'algèbre # sémantique # sémantique algébrique # théorie des données relationnelles # théorie du langage

68Q45 ; 68Q55 ; 68Q65 ; 90Cxx

... Lire [+]

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

- 464 p.
ISBN 978-3-540-62844-6

Lecture notes in computer science , 1218

Localisation : Collection 1er étage

formalisme # grammaire et réécriture des systèmes # informatique théorique # intelligence artificielle # langage formel # représentation # représentation de connaissance

68Q45 ; 68Q50 ; 68Q55 ; 68T25 ; 68T30

... Lire [+]

Z