m

Documents  F.1.1 | enregistrements trouvés : 23

O

-A +A

P Q

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.

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

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

- 217 p.
ISBN 978-3-540-07805-0

Lecture notes in computer science , 0043

Localisation : Collection 1er étage

complexité informatique # logique informatique # machine de turing # théorème de Godel

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

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

Localisation : Salle de manutention

algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'approximation infinitésimale # équation diophantienne algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'ap...

03B25 ; 03D20 ; 11Dxx ; 68U05 ; 92B20

... Lire [+]

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

- 400 p.
ISBN 978-3-540-16486-9

Lecture notes in computer science , 0223

Localisation : Collection 1er étage

algorithme # complexité # logique

68Q30

... Lire [+]

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

- 365 p.
ISBN 978-3-540-11973-9

Lecture notes in computer science , 0145

Localisation : Collection 1er étage

algorithme non numériques et problèmes # langage de programmation # modes de calcul # spécification # structures de données # système d'exploitation # vérification et raisonnement

68N05 ; 68N25 ; 68P05 ; 68Q05 ; 68Q10

... Lire [+]

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

- 317 p.
ISBN 978-90-6196-263-2

Mathematical centre tracts , 0166

Localisation : Collection 1er étage

abstraction # algorithme # algorithmique # implémentation # modélisation des systèmes informatiques # spécification # système informatique

68B05 ; 68C05

... Lire [+]

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

- 261 p.
ISBN 978-0-387-94666-5

Perspective in neural computing

Localisation : Ouvrage RdC (DECO)

analyse de composant indépendant # apprentissage avec supervision # apprentissage sans supervision # calcul neuronal # cas linéaire # estimation statistique # extraction de trait linéaire # extraction de trait non linéaire # méthode de régularisation # principe de l'informax # réseau composite # réseau neuronal # réseau neuronal déterministe # réseau stochastique booléen # théorie de l'information # théorie de physique statistique

68T05 ; 82C32 ; 92B20 ; 92J40 ; 94Cxx

... Lire [+]

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

- 400 p.
ISBN 978-0-387-94907-9

Undergraduate texts in computer science

Localisation : Ouvrage RdC (KOZE)

automate # calcul # calculateur # machine de Turing

68Q05 ; 69-01

... Lire [+]

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

- 596 p.
ISBN 978-0-201-62716-9

Localisation : Ouvrage RdC (W)

automate cellulaire # bibliographie # complexité # cryptographie # fluide à automate cellulaire # génération de suite aléatoire # géométrie des coefficients binomiaux # indécidabilité et intractabilité en physique théorique # ingénierie de complexité # mécanique statistique des automates cellulaires # supercalcul par automaton cellulaire # système complexe # thermodynamique et hydrodynamique des automates cellulaires

01A70 ; 68P25 ; 68Q25 ; 68Q68 ; 68Q80

... Lire [+]

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

- 204 p.
ISBN 978-2-225-84173-6

Etudes et recherches en informatique

Localisation : Ouvrage RdC (BEAL)

communication # dynamique symbolique # information # informatique théorique # modèle de calcul # modèle de canal # système dynamique # théorie des automates # théorie des données # théorème de codage

68Pxx ; 68Q68 ; 94A24 ; 94A40 ; 94Axx

... Lire [+]

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


ISBN 978-2-10-001683-9

Localisation : Disparu

arbre arborescence # automate # composant d'ordinateur # description récursive des motifs # données relationnelles # expression régulière # graphe # informatique # logique des propositions # logique des prédicats # motif # programme # traitement de données

03B05 ; 03Dxx ; 68-01 ; 68Nxx ; 68Pxx

... Lire [+]

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

- 110 p.
ISBN 978-90-6196-400-1

CWI tract , 0078

Localisation : Collection 1er étage

analyse des algorithmes # classe de complexité # complexité de calcul # complexité des problèmes # économie # efficacité de calcul # efficacité des algorithmes # jeu # mathématiques discrètes # métathéorie # modèle de calcul # ordinateur # programmation # programmation mathématique # recherche opérationnelle # science de l'ordinateur # système d'ordinateur

68A05 ; 68C25 ; 68EXX ; 90Cxx

... Lire [+]

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

- 226 p.
ISBN 978-0-8176-3719-4

Progress in theoretical computer science

Localisation : Ouvrage RdC (STRA)

automate fini # jeu de théorie des modèles # langage formel # langage régulier # langage régulier et complexité de circuit # logique du premier ordre # logique formelle # mot et langage # quantificateur modulaire # semi-groupe et homomorphisme # semi-groupe fini # théorème de Krohn-Rhodes # théorème de catégorie

03B10 ; 03Cxx ; 03D05 ; 20F10 ; 20M35

... Lire [+]

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

- 318 p.
ISBN 978-2-84074-065-0

Localisation : Ouvrage RdC (STER)

LIPS # PROLOG # Pascal # analyse syntaxique # automate # calcul # calcul propositionnel # fonction récursive # fondement # grammaire # langage # le LIPS # machine de Turing # mathématique de l'informatique # turbo pascal

03B05 ; 03D05 ; 03D20 ; 68Q05 ; 68Q68

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

- 448 p.
ISBN 978-0-07-039910-5

McGray-Hill computer science series

Localisation : Ouvrage RdC (MANNA)

algorithme # automate # calcul des prédicats # informatique théorique # logique # machine de Turing # mathématique de l'informatique # programmation # théorie du point fixe # vérification de programme

03B05 ; 68Q05 ; 68Q60 ; 68Q68 ; 68Qxx

... Lire [+]

Z