m

F Nous contacter

0

Documents  Springer | enregistrements trouvés : 2 257

O

-A +A

P Q

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

- 121 p.

Proceedings of the Steklov institute of mathematics , 0106

Localisation : Collection 1er étage

46B05

... Lire [+]

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

- 2334 p.
ISBN 978-0-387-13882-4

Lecture notes in mathematics , 1091

Localisation : Disparu

28-XX ; 49-XX ; 52A22 ; 60-XX ; 93Exx

... Lire [+]

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

- 416 p.
ISBN 978-3-540-59409-3

Lecture notes in computer science , 0921

Localisation : Collection 1er étage

analyse cryptique # caisse électronique # code d'authenticité # complexité # cryptologie # fonction booléenne # implémentation # partage du secret # protocole # registre de déplacement # schéma d'identification # schéma de type RSA # signature # technique cryptographique # théorie des nombres

11T71 ; 68P20 ; 68P25 ; 68Q20 ; 94A60

... Lire [+]

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


ISBN 978-3-540-60219-4

Lecture notes in mathematics , 1613

Localisation : Collection 1er étage

analyse stochastique # chaos multiplicatif # différentiabilité de fonction d'opérateur # existence de désintégration # fossé entre supermum passé et infimum futur de processus de # probabilité # processus de Lévy # processus de Markov # processus de Wiener # processus stochastique # propriété de Markov de temps local pour diffusion sur graphe # équation différentielle stochastique à saut

60Gxx ; 60Hxx ; 60Jxx

... Lire [+]

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


ISBN 978-3-540-61336-7

Lecture notes in mathematics , 1626

Localisation : Collection 1er étage

analyse stochastique # cohomologie de Bismut-Nualart-Pardoux # cohomologie de Hochschild entière # information de Kullback # martingale pure # mouvement brownien # probabilité # processus de Markov # processus stochastique # projection de diffusion sur filtration lente # topologie de Meyer # équation différentielle stochastique

60Gxx ; 60Hxx ; 60Jxx

... Lire [+]

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

- 275 p.
ISBN 978-3-540-60156-2

Lecture notes in computer science , 0958

Localisation : Collection 1er étage

2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve 2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...

38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15

... Lire [+]

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

- 440 p.
ISBN 978-3-540-60573-7

Lecture notes in computer science , 1004

Localisation : Collection 1er étage

MAX 3-SAT # NC # PC # algorithme d'approximation # algorithme de flux parallèle # amassage à lien complet # attribution de ressource # bi-simulation # chemin # codage # complexité # construction de tas # corde # corps fini # digraphe # décis ion # ensemble de point extrémal # f-coloriage # faute catastrophique # fonction booléenne # forêt induite # graphe de co-comparabilité # graphe de faible degré # graphe non dirigé # hyper-anneau # hypercube # indexation # information # informatique du génôme # langage de graphe RNLC restreint # logique pratique # loi de Amdahl # planification de taches parallèles # polygône # polynôme de Tutte d'un graphe # problème difficile presque toujours facile # sous-graphe # super arbre # sélection par comparaison # équivalence de trace MAX 3-SAT # NC # PC # algorithme d'approximation # algorithme de flux parallèle # amassage à lien complet # attribution de ressource # bi-simulation # chemin # codage # complexité # construction de tas # corde # corps fini # digraphe # décis ion # ensemble de point extrémal # f-coloriage # faute catastrophique # fonction booléenne # forêt induite # graphe de co-comparabilité # graphe de faible degré # graphe non dirigé # hyper-anneau # hypercube ...

05Cxx ; 68-06 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 366 p.
ISBN 978-3-540-60590-4

Lecture notes in computer science , 1008

Localisation : Collection 1er étage

MD4 et SAFER # algorithme de codage homophonique # algorithme de cryptage TE # appareil EES # chiffrage de bloc # chiffrage de courant # codage arithmétique # crypto-analyse de MacGuffin # crypto-analyse différentielle # crypto-analyse linéaire # fonction hachée # générateur de courant-clé de Fibonacci # intractabilité de TSP exact pour cryptographie # multipermutation # plan

11T71 ; 94Bxx

... Lire [+]

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


ISBN 978-3-540-60800-4

Lecture notes in artificial intelligence , 1036

Localisation : Colloque 1er étage (PISA)

IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # planification de discours intéractif # prise de décision stylistique # prétexte # relation textuelle # réponse de système cohérent et coopératif # structure rhétorique # système à base de connaissance # échange interrompue IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # pl...

68-06 ; 68S05 ; 68Txx

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

- 325 p.
ISBN 978-3-540-60759-5

Lecture notes in computer science , 1029

Localisation : Collection 1er étage

application de la cryptographie # carte ingénieuse # chiffrage de bloc ou de courant # dépôt de clef chez un intermédiaire privé # partage de secret # politique de cryptographie # protocole de clef publique # technique d'authentification # technique utilisant des fonctions de Hash à clef

11T71 ; 11Yxx ; 68P20 ; 68Q20 ; 94A60

... Lire [+]

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

- 526 p.
ISBN 978-3-540-60723-6

Lecture notes in computer science , 1027

Localisation : Collection 1er étage

CABRI-graphe pour recherche et enseignement # CLAX compilateur visualisé # COMAIDE # GOVE # SWAN # Toscana # algorithme de tracé de graphe aléatoire # environnement de visualisation orienté grammaire # esthétique # moulle # optique # représentation de visibilité de graphe # système de management pour données conceptuelles # système de visualisation de structure de donnée # tracé de graphe orthogonal # visualisation d'information # visualisation de graphe 3-D intéractive rapide CABRI-graphe pour recherche et enseignement # CLAX compilateur visualisé # COMAIDE # GOVE # SWAN # Toscana # algorithme de tracé de graphe aléatoire # environnement de visualisation orienté grammaire # esthétique # moulle # optique # représentation de visibilité de graphe # système de management pour données conceptuelles # système de visualisation de structure de donnée # tracé de graphe orthogonal # visualisation d'information # visualisation ...

05Cxx ; 68R10 ; 90C35 ; 94C15

... Lire [+]

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

- 654 p.
ISBN 978-3-540-59042-2

Lecture notes in computer science , 0900

Localisation : Collection 1er étage

algorithme # base de données # code possible dans le code génétique # cryptographie # géométrie informatique # informatique théorique # logique # théorie de la communication # théorie de la complexité # théorie des automates # théorie des graphes # théorie du calcul parallèle # équivalence de processus concurrent et décision

68-06 ; 68Qxx ; 68U05 ; 94A60

... Lire [+]

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

- 523 p.
ISBN 978-3-540-59175-7

Lecture notes in computer science , 0911

Localisation : Collection 1er étage

BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # problème de Yekutieli et Mandelbrojt # programmation logique contrainte # réseau d'automate cyclique # séquence biologique BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # ...

05Cxx ; 68Qxx ; 68R10

... Lire [+]

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

- 469 p.
ISBN 978-3-540-58950-1

Lecture notes in computer science , 0894

Localisation : Collection 1er étage

application et système # approche déclarative # contestation de tracé de graphe # démonstration de système # galerie de poster # géométrie # représentation de visibilité # tracé de proximité # tracé orthogonal # tracé planaire # tracé tri-dimensionnel # tracé vers le haut # traversée

05Cxx ; 68R10 ; 90C35 ; 94C15

... Lire [+]

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

- 430 p.430 p.
ISBN 978-3-540-59339-3

Lecture notes in computer science , 0917

Localisation : Collection 1er étage

algorithme de chiffrage par bloc # authentification # chiffrage du courant # crypto-analyse # cryptographie à clef publique # cryptologie # fonction cryptographique # fonction de Hash # partage de secret # protocole # signature digitale

11T71 ; 68P25 ; 94A60

... Lire [+]

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

- 541 p.
ISBN 978-3-540-60017-6

Lecture notes in computer science , 0933

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

- 514 p.
ISBN 978-3-540-60178-4

Lecture notes in computer science , 0960

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Cxx ; 03Fxx

... Lire [+]

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

- 433 p.
ISBN 978-3-540-60249-1

Lecture notes in computer science , 0965

Localisation : Collection 1er étage

algorithme et structure de données # automate et langage formel # calculabilité et complexité # catégorie et type # fondement d'informatique théorique # fondement des spécifications de système # géométrie informatique # logique informatique # parallélisme et concurrence # réécriture et système de remplacement de haut niveau # sémantique # théorie de l'apprentissage

68-06 ; 68Qxx

... Lire [+]

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

- 472 p.
ISBN 978-3-540-60176-0

Lecture notes in computer science , 0950

Localisation : Collection 1er étage

agrément de clef # algorithme de cryptage soviétique # chiffrage de bloc # code d'authenfication # connaissance zéro # cryptoanalyse # cryptographie quantique Q-déformée # cryptologie # cryptosystème # distribution de clef # fonction de Hash # générateur pseudo-aléatoire # méthodologie de protocole # partage de secret # protocole # signature # théorie des nombres

94-06 ; 94A60

... Lire [+]

Z