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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]