m

Documents  68Nxx | enregistrements trouvés : 88

O

-A +A

P Q

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

Localisation : Colloque 1er étage (VITT)

an neaux de vorticite # analyse numerique # configuration optimale pour les edp # cristaux liquides # equation aux derivees partielles # methode de volumes finis # modeles de ginzburg-landau # modelisation numerique d'ecoulement reactif # problemes variationnels # singularites # suites stationnaires # visualisation scientifique

65-06 ; 65Kxx ; 65Mxx ; 68Nxx

... Lire [+]

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

- 572 p.
ISBN 978-3-540-54398-5

Lecture notes in computer science , 0524

Localisation : Collection 1er étage

Pietrie # progammation # réseaux de Pietrie # théorie générale de progammation

68N05 ; 68Nxx

... Lire [+]

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

- 398 p.
ISBN 978-3-540-55676-3

Lecture notes in computer science , 0616

Localisation : Collection 1er étage

analyse d'algorithme # bisimulation # calcul par dispositif abstrait # complexité # informatique théorique # logique des programmes # modélisation # multi-processeur # réseau de Pétri # signification des programmes # simulation # système d'exploitation

68-06 ; 68N25 ; 68Nxx ; 68Q25 ; 68Qxx

... Lire [+]

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

- 695 p.
ISBN 978-3-540-56939-8

Lecture notes in computer science , 0700

Localisation : Collection 1er étage

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

... Lire [+]

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

- 683 p.
ISBN 978-3-540-60084-8

Lecture notes in computer science , 0944

Localisation : Collection 1er étage

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

... Lire [+]

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

- xxii; 789 p.
ISBN 978-3-642-02926-4

Lecture notes in computer science , 5555

Localisation : Collection 1er étage

informatique # logiciel

68-06 ; 68Nxx ; 68Qxx ; 00B25

... Lire [+]

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

- 788 p.
ISBN 978-3-540-51371-1

Lecture notes in computer science , 0372

Localisation : Collection 1er étage

algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve

68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05

... Lire [+]

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

- 416 p.
ISBN 978-3-540-12727-7

Lecture notes in computer science , 0159

Localisation : Collection 1er étage

algèbre # algorithme # arbre # langage de programmation # programmation # programme # représentation de données # structure des données # techniques de programmation

68Nxx ; 68Q40 ; 68Q42 ; 68Qxx

... Lire [+]

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

- 415 p.
ISBN 978-3-540-61576-7

Lecture notes in computer science , 1120

Localisation : Collection 1er étage

calcul informatique # combinatoire # informatique théorique # mathématique discrète # mode de calcul # optimisation # programmation concurente # réseau d'ordinateur # système # système d'exploitation de réseau # système distribué # système partagé # système réparti # technique de programmation

68N05 ; 68Nxx ; 68Q10 ; 68Rxx ; 90Cxx

... Lire [+]

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

- 613 p.
ISBN 978-3-540-55578-0

Lecture notes in computer science , 0602

Localisation : Collection 1er étage

apprentissage assisté par ordinateur # ingenierie de logiciel # intelligence artificielle # éducation et informatique

68-06 ; 68Nxx ; 68Txx ; 68U30

... Lire [+]

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

- 618 p.
ISBN 978-3-540-52522-6

Lecture notes in computer science , 0427

Localisation : Collection 1er étage

algorithmique # bord # délection de contour # format # géométrie de l

68N15 ; 68Nxx ; 68Q10 ; 68T10 ; 68T25 ; 68Txx ; 68U05 ; 68Uxx

... Lire [+]

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

- 504 p.
ISBN 978-3-540-56393-8

Lecture notes in computer science , 0656

Localisation : Collection 1er étage

contrainte # formalisme # graphes # langage # modularité # programmation logique # réécriture conditionnelle # réécriture des systèmes # stratégie de normalisation # systèmes # technique de preuve # terme de réécriture # terminaison # théorème de la preuve # unification #

68Mxx ; 68Nxx

... Lire [+]

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


ISBN 978-4-274-07221-5

Localisation : Colloque 1er étage (TOKY)

Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini

68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx

... Lire [+]

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

- 521 p.
ISBN 978-3-540-16042-7

Lecture notes in computer science , 0206

Localisation : Collection 1er étage

algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme

68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 68Qxx

... Lire [+]

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

- 468 p.
ISBN 978-3-540-13883-9

Lecture notes in computer science , 0181

Localisation : Collection 1er étage

algèbre de l'informatique # algorithme # algorithmique # circuit # information # informatique théorique # langage formelle # logiciel # logique mathématique # programmation # programmation logique # programme # système # traitement des données

68N17 ; 68Nxx ; 68Q45 ; 68Uxx ; 94Axx

... Lire [+]

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

- 564 p.
ISBN 978-3-540-61228-5

Lecture notes in computer science , 1073

Localisation : Collection 1er étage

algorithme et architecture # application à l'informatique # concurrence # forme et graphisme # grammaire de graphe # ingénieurie de logiciel # langage de graphe # spécification et sémantique # technique de réécriture

68Nxx ; 68Q42 ; 68Q55 ; 68Q60 ; 68Qxx

... Lire [+]

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

- 341 p.
ISBN 978-3-540-09981-9

Lecture notes in computer science , 0083

Localisation : Collection 1er étage

conception assistée par ordinateur # langage # programmation # sémantique # testes

68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07

... Lire [+]

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

- 431 p.
ISBN 978-3-540-12896-0

Lecture notes in computer science , 0164

Localisation : Collection 1er étage

68B10 ; 68B15 ; 68B45 ; 68N15 ; 68Nxx

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

- 521 p.
ISBN 978-3-540-55808-8

Lecture notes in computer science , 0629

Localisation : Collection 1er étage

algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de ...

68-06 ; 68-50 ; 68Nxx ; 68Qxx ; 68Rxx

... Lire [+]

Z