m

F Nous contacter

0

Documents  Van Leeuwen, Jan | enregistrements trouvés : 9

O
     

-A +A

P Q

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


ISBN 978-0-444-87647-8

North-holland mathematics studies , 0102

Localisation : Colloque 1er étage (BORG)

68Qxx ; 68Rxx ; 68SXX ; 68Txx

... Lire [+]

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

- 642 p.
ISBN 978-3-540-60105-0

Lecture notes in computer science , 1000

Localisation : Collection 1er étage

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

... Lire [+]

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

- xiv; 1083 p.
ISBN 978-3-540-42287-7

Lecture notes in computer science , 2076

Localisation : Collection 1er étage

informatique # automate # language # programmation

00B25 ; 68-06

... Lire [+]

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

- ix; 429 p.
ISBN 978-3-540-57899-4

Lecture notes in computer science , 0790

Localisation : Collection 1er étage

informatique # classe de graphe # algorithme # théorie des graphes

00B25 ; 68-06

... Lire [+]

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

- x; 510 p.
ISBN 978-3-540-58434-6

Lecture notes in computer science , 0855

Localisation : Collection 1er étage

algorithme # informatique # mathématiques discrètes

00B25 ; 68-06

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


ISBN 978-0-444-88071-0

Handbook of theoretical computer science

Localisation : Ouvrage RdC (H)

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

... Lire [+]

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


ISBN 978-0-444-88071-0

Localisation : Ouvrage RdC (H)

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

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

Z