En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents F. 9 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical theory of computation Manna, Zahor | McGraw-Hill Book Company 1974

Ouvrage

- 448 p.
Call n° : 00009270
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

Location : Ouvrage RdC (MANNA)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

STACS 93 :
10th annual symposium on theoretical aspects of computer science#Feb. 25-27 Enjalbert, P. ; Finkel, A. ; Wagner, K.W. | Springer-Verlag 1993

Congrès

- 723 p.
Call n° : 00021718
algorithme efficient # analyse numérique # arithmétique de l'informatique # calcul distribué # calcul informatique # calcul parallèle # calcul réparti # complexité de calcul informatique # conception logique # géométrie de l'informatique # informatique théorique # logique # mathématique discrète # sous-algorithmique # structure logique # système d'exploitation # technique de programmation # théorie des automates # théorie du langage

68N05 ; 68N25 ; 68Q10 ; 68Q22 ; 68Q68

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata,languages and programming :
fifth colloquium#July 17-21 Ausiello, G. ; Böhm, C. | Springer-Verlag 1978

Congrès

- 508 p.
Call n° : 00012101
combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX ; 68N15 ; 68Rxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata, languages and programming :
22nd international colloquium, ICALP95#July 10-14 Fülöp, Zoltan ; Gecseg, Ferenc | Springer 1995

Congrès

- 683 p.
Call n° : 00018579
algorithme # apprentissage # automate # calculabilité # codage # complexité de calcul # concurrence # fondement de la programmation # langage formel # protocole de communication # robotique # sémantique

68-06 ; 68Nxx ; 68Qxx ; 68Txx ; 94Axx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

STACS 98 :
15th annual symposium on theoretical aspects of computer science#Feb 25-27 Krob, Daniel ; Meinel, Christoph ; Morvan, Michel | Springer 1998

Congrès

- 628 p.
Call n° : 00019982
algèbre linéaire numérique # analyse numérique # automate # automate cellulaire # encryptape de données # graphe de l'informatique # géométrie de l'informatique # informatique théorique # intelligence artificielle # langage des automates # mathématique discrète # mathématique du calcul informatique # modélisation d'objet # structure des données # système d'exploitation # technique de programmation

68Pxx ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

STACS 92 :
9th annual symposium on theoretical aspects of computer science#Feb. 13-15 Finkel, A. ; Jantzen, M. | Springer-Verlag 1992

Congrès

- 618 p.
Call n° : 00021717
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # système distribué # système informatique # sémantique # transformation géométrique[-]
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # ...[+]

68M10 ; 68Mxx ; 68Q25 ; 68Qxx ; 68Rxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata, languages and programming :
20th international colloquium, ICALP 93#July 5-9 Carlsson, Svante ; Karlsson, Rolf ; Lingas, Andrzej | Springer-Verlag 1993

Congrès

- 695 p.
Call n° : 00021720
calcul informatique # cryptologie # encryptage des données # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # structure des données # technique de programmation

68N05 ; 68Nxx ; 68P05 ; 68P25 ; 68Rxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

STACS 90#Feb. 22-24 Choffrut, C. ; Lengauer, T. | Springer-Verlag 1990

Congrès

- 311 p.
Call n° : 00022083
algèbre de l

68Q15 ; 68Q25 ; 68Qxx ; 68Rxx ; 68U05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata, languages and programming#July 16-20 Paterson, M. S. | Springer-Verlag 1990

Congrès

- 780 p.
Call n° : 00022087
algèbre de l

68N15 ; 68P05 ; 68Q68 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx ; 68U05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language