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 Van Leeuwen, Jan 9 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Topics in the theory of computation
selected papers of the international conference on... held at borgholm,sweden, aug. 21-27,1983 Karpinski, Marek ; Van Leeuwen, Jan | North-Holland 1985

Congrès


Cote : 00007940

68Qxx ; 68Rxx ; 68SXX ; 68Txx

Localisation : Colloque 1er étage (BORG)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algorithms and complexity Vol. A Van Leeuwen, Jan | Elsevier ; The Mit Press 1990

Ouvrage


Cote : 00016627
algorithme de graphe # architecture parallèle # classe de complexité # complexité de Kolmogorov # cryptographie # géométrie informatique # modèle de machine # parallèle # problème difficile par présomption ou preuve # seconde classe de machines # structure de donnée # séquentielle # théorie VLSI # théorie de la complexité algébrique # théorie de la complexité indépendante de la machine

68Q15 ; 68Q25 ; 68Q30 ; 68Q35

Localisation : Ouvrage RdC (H)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Formal models and semantics. Vol. B Van Leeuwen, Jan | Elsevier ; The Mit Press 1990

Ouvrage

- 1273 p.
Cote : 00016626
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

Localisation : Ouvrage RdC (Hand)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computer science today :
recent trends and developments Van Leeuwen, Jan | Springer 1995

Congrès

- 642 p.
Cote : 00021469
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système parallèle # théorie de programmation # vérification de programme # vérification des systèmes[-]
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système ...[+]

68Q10 ; 68Q22 ; 68Q42 ; 68Q60 ; 68Qxx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Handbook of theoretical computer science. Vol. A
algorithms and complexity Van Leeuwen, Jan | Elsevier ; The Mit Press 1990

Ouvrage


Cote : 00021608
algorithme # algorithmique # classe de complexité # complexité algébrique # complexité de Kolmogorov # complexité des algorithmes # cryptographie # graphe # géométrie de l'informatique # informatique théorique # machine de Turing # plan de mouvement # robotique # structure des données

68Q15 ; 68Q30 ; 68Rxx ; 68Txx

Localisation : Ouvrage RdC (H)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Handbook of theoretical computer science. Vol. B
formal models and semantics Van Leeuwen, Jan | Elsevier ; The Mit Press 1990

Ouvrage


Cote : 00021609
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

Localisation : Ouvrage RdC (H)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata, languages and programming.
28th international colloquium, ICALP 2001
Crete # july 8-12, 2001 Orejas, Fernando ; Spirakis, Paul G. ; Van Leeuwen, Jan | Springer 2001

Congrès

- xiv; 1083 p.
Cote : 00037142
informatique # automate # language # programmation

00B25 ; 68-06

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Graph-theoretic concepts in computer science.
19th international workshop, WG'93
Utrecht # june 1993 Van Leeuwen, Jan | Springer-Verlag 1994

Congrès

- ix; 429 p.
Cote : 00037376
informatique # classe de graphe # algorithme # théorie des graphes

00B25 ; 68-06

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Algorithms - ESA'94:
second annual European symposium
Utrecht # September 1994 Van Leeuwen, Jan | Springer-Verlag 1994

Congrès

- x; 510 p.
Cote : 00039033
algorithme # informatique # mathématiques discrètes

00B25 ; 68-06

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

Langue