m

Documents  Springer-Verlag | enregistrements trouvés : 3 570

O

-A +A

P Q

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

- 385 p.
ISBN 978-3-540-10009-6

Lecture notes in computer science , 0087

Localisation : Collection 1er étage

démonstration automatique # intelligence artificielle # logique # théorie

68T15

... Lire [+]

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

- 508 p.
ISBN 978-3-540-96022-5

Lecture notes in computer science , 0170

Localisation : Collection 1er étage

algèbre # automatique # engineering # logique mathématique # logique symbolique

03D05 ; 68Q68

... Lire [+]

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

- 708 p.
ISBN 978-3-540-16780-8

Lecture notes in computer science , 0230

Localisation : Collection 1er étage

déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

68Q60 ; 68T15

... Lire [+]

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


ISBN 978-3-540-06840-2

Lecture notes in mathematics , 0400

Localisation : Collection 1er étage

cohomologie de Eichler # espace de Teichmüller # espace de déformation # groupe de Klein # surface de Riemann

30-02 ; 30A46 ; 30A58 ; 30A60 ; 32G15

... Lire [+]

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

- 684p.
ISBN 978-3-540-58043-0

Lecture notes in computer science , 0803

Localisation : Collection 1er étage

informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle

00B25 ; 68-06 ; 68Q45 ; 68Q85 ; 68T15

... Lire [+]

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


ISBN 978-3-540-08447-1

Lecture notes in mathematics , 0616

Localisation : Collection 1er étage

anneau commutatif # anneau d'endomorphisme # anneau de locaux quasi-endomorphisme # anneau de valuation discrète # base de décomposition # base empilée # classification des modules libres de torsion # correspondance de Galois # dimension homologique # décomposition en somme directe # espace vectoriel valué sous- libre # foncteur de complétion # genre # groupe quasi-p-net # groupe valué fini # injectivité ou projectivité quasi- pure # liberté dans les groupes # logique # module de Warfield # module libre de torsion # p-arbre # p-groupe complet en torsion # problème de Whitehead # radical de Jacobson # structure abélienne # système algébrique # taille de Ext # théorie de la structure # théorie des faisceaux # théorie des groupes abéliens mélangés # théorème de Kuros # théorème de Ulm # valuation et co-valuation anneau commutatif # anneau d'endomorphisme # anneau de locaux quasi-endomorphisme # anneau de valuation discrète # base de décomposition # base empilée # classification des modules libres de torsion # correspondance de Galois # dimension homologique # décomposition en somme directe # espace vectoriel valué sous- libre # foncteur de complétion # genre # groupe quasi-p-net # groupe valué fini # injectivité ou projectivité quasi- pure # liberté ...

02H15 ; 02K05 ; 13C05 ; 13L05 ; 16A18

... Lire [+]

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

- 771 p.
ISBN 978-0-387-12335-6

Lecture notes in mathematics , 1006

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 13-06 ; 16A46 ; 20-04

... Lire [+]

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

- 447 p.
ISBN 978-3-540-10855-9

Lecture notes in mathematics , 0874

Localisation : Collection 1er étage

13-XX ; 16A46 ; 3CXX ; 3EXX ; 3FXX

... Lire [+]

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

- 567 p.
ISBN 978-3-540-10007-2

Lecture notes in computer science , 0086

Localisation : Collection 1er étage

conception assistée par ordinateur # programmation # specification de programme

68-02 ; 68A05 ; 68A30 ; 68Q60

... Lire [+]

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

- 324 p.
ISBN 978-3-540-55585-8

Lecture notes in computer science , 0603

Localisation : Collection 1er étage

ADA # ingénierie de logiciel # langage de programmation # programmation automatique # programmation concurrente # programmation fonctionne lle # programmation orientée objet # programmation séquentielle # système d'exploitation # technique de programmation

68-06 ; 68N05 ; 68N15 ; 68N25

... Lire [+]

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

- 163 p.
ISBN 978-3-540-13878-5

Lecture notes in computer science , 0180

Localisation : Collection 1er étage

ada # interfaces # logiciel # outils # programme

68N99

... Lire [+]

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

- 203 p.
ISBN 978-3-211-82333-0

C.I.S.M. courses and lectures , 0324

Localisation : Colloque 1er étage (UDIN)

application des processus stochastiques ou traitement du sig # circuit # communication # information # processus stochastiques # théorie de la communication # théorie des probabilités et processus stochastiques

60G35 ; 60Gxx ; 94-XX ; 94A05 ; 94Axx

... Lire [+]

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

- 260 p.
ISBN 978-3-540-55693-0

Lecture notes in computer science , 0618

Localisation : Collection 1er étage

base de données orientéé objet # gestion des bases de données # implémentation parallèle # modèle de données non relationnel # programmation logique # système de bases de données # système industriel

68-06 ; 68N17 ; 68Pxx

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

- 604 p.
ISBN 978-3-540-17189-8

Lecture notes in computer science , 0244

Localisation : Collection 1er étage

base des connaissances # configuration # gestion des logiciels # programmation # programmation des périphériques # système d'information # traitement des données

68N99 ; 68P15 ; 68Q10 ; 68T30

... Lire [+]

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


ISBN 978-3-540-07548-6

Lecture notes in mathematics , 0505

Localisation : Collection 1er étage

comportement asymptotique de coéfficients de fonction unival # fonction de Schlicht # fonction harmonique ou sous- harmonique positive # fonction étalée comme limite de polynôme # isomorphisme entre groupe fuchsien # relation d'inclusion pour espace de forme automorphe # représentation quasi conforme # représentation quasi-régulière # théorie des fonctions complexes # théorème de distortion

30Axx

... Lire [+]

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

- xi; 467 p.
ISBN 978-3-540-50251-7

Lecture notes in computer science , 0330

Localisation : Collection 1er étage

cryptographie # contrôle d'accès

00B25 ; 94-06

... Lire [+]

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

- 500 p.
ISBN 978-3-540-53587-4

Lecture notes in computer science , 0473

Localisation : Collection 1er étage

chiffre # clé # cryptographie # échange de clé # fonction dooléenne

94A60 ; 94C10

... Lire [+]

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

- 708 p.
ISBN 978-3-540-53433-4

Lecture notes in computer science , 0434

Localisation : Collection 1er étage

DES # El Gamal # Eurocrypt"89 # RSA # authentification # clé publique # complexité # courbe elliptique # cryptanalyse # fonction de hachage # générateur pseudo-aléatoire # protocole à connaissance nulle # signature

... Lire [+]

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

- 491 p.
ISBN 978-3-540-15658-1

Lecture notes in computer science , 0196

Localisation : Collection 1er étage

algorithme # cryptosystème # codage # cryptoanalyse # cryptographie # fonction aléatoire # probabilité

64BXX ; 68Qxx ; 94A60

... Lire [+]

Z