m

F Nous contacter

0

Documents  68M15 | enregistrements trouvés : 20

O
     

-A +A

P Q

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

- 265 p.
ISBN 978-3-540-16767-9

Lecture notes in computer science , 0228

Localisation : Collection 1er étage

mathématiques discrètes # outils mathématiques de l'informatique # réseaux # système d'exploitation # système informatique # teste

68M15

... Lire [+]

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

- 628 p.
ISBN 978-0-8218-6594-1

DIMACS series in discrete mathematics and theoretical computer science , 0003

Localisation : Collection 1er étage

analyse des systèmes # calcul # circuit digital intégré # conception calcul assisté # conception et construction # condition de finitude # configuration machine # environnement et analyse des réseaux de petri # logique # lotos # papetri # processus # simulation optimal # spécification # système concurent # traitement des données # vérification des systèmes

68M15 ; 68Q05 ; 68Q60

... Lire [+]

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

- 318 p.
ISBN 978-3-540-55236-9

Lecture notes in computer science , 0579

Localisation : Collection 1er étage

algorithes non numérique # algorithmes distribuées # algorithmique # analyse des algorithmes # complexité des algorithmes # informatique théorique # programmation concurente # programmation distribuée # réseaux # systèmes concurents # traitement de l'information

68-06 ; 68M10 ; 68M15 ; 68Q10 ; 68Q15

... Lire [+]

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

- 402 p.
ISBN 978-3-540-54869-0

Lecture notes in computer science , 0555

Localisation : Collection 1er étage

algorithmique # complexité # compression # heuristique # informatique graphique # informatique orienté # intelligence artificielle # relations homme- machine # réseaux # réseaux neuronaux

68M10 ; 68M15 ; 68Q10 ; 68Uxx

... Lire [+]

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

- 195 p.
ISBN 978-3-540-55038-9

Lecture notes in computer science , 0569

Localisation : Collection 1er étage

parallèle # programmation logique # prolog

68M15 ; 68Q10

... Lire [+]

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

- 566 p.
ISBN 978-3-540-58712-5

Lecture notes in computer science , 879

Localisation : Collection 1er étage

CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie informatique # mécanique quantique # mémoire des systèmes informatique # performance des machines # polymère # portabilité de programme # problème de voyageur de commerce # problème des trois corps # programmation parallèle # programme informatique de la chimie # prospective de l'informatique # recherche prospective # réseau de machines # réseau de stations de travail # réseau informatique # simulation # station de travail # système linéaire perturbé # traitement de données sismiques # équation différentielle # étoile CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie ...

68M07 ; 68M10 ; 68M15 ; 68M20 ; 90B12

... Lire [+]

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

- 259 p.
ISBN 978-0-8218-6592-7

DIMACS series in discrete mathematics and theoretical computer science , 0005

Localisation : Collection 1er étage

accès complet dynamique en réseau d'interconnection à plusie # analyse de fiabilité quantitative # approche polyèdrale à la survivabilité de réseau # architecture VLSI tolérant les fautes # bornage de paramètre de réseau # caractérisation axiomatique de polynôme de fiabilité # complexité de calcul de fiabilité # diagramme d'influence probabiliste décomposable # fiabilité de réseau à capacité de connexion résiduelle # graphe approximant # graphe de de Bruijn # largeur d'arbre # largeur de chemin # plan de réseau fibré survivable # plan robuste de réseaux de routage dynamiques # problème de coupure multerminale optimale # recherche de graphe # réseau double boucle # réseau informatique # réseaux d'interconnexion à plusieurs étages redondants # schéma de décomposition booléen # utilisation de moment binomial ou de méthode algébrique pour accès complet dynamique en réseau d'interconnection à plusie # analyse de fiabilité quantitative # approche polyèdrale à la survivabilité de réseau # architecture VLSI tolérant les fautes # bornage de paramètre de réseau # caractérisation axiomatique de polynôme de fiabilité # complexité de calcul de fiabilité # diagramme d'influence probabiliste décomposable # fiabilité de réseau à capacité de connexion résiduelle # graphe approximant # graphe ...

05-06 ; 05C99 ; 68-06 ; 68M10 ; 68M15

... Lire [+]

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

- 167 p.
ISBN 978-0-8218-1546-5

DIMACS series in discrete mathematics and theoretical computer science , 0053

Localisation : Collection 1er étage

nformatique # réseau informatique # combinatoire # réseau de communication # organisation des systèmes informatiques # construction de réseau

68-06 ; 68M10 ; 68M15 ; 68R05 ; 68R10 ; 68M14 ; 68W10 ; 68W15 ; 68W20

... Lire [+]

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

- 209 p.
ISBN 978-3-540-50695-9

Lecture notes in computer science , 0341

Localisation : Collection 1er étage

évaluation des programmes # langage # programmation # système informatique # texte

68M15 ; 68N15

... Lire [+]

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

- xx; 236 p.

Localisation : Ouvrage RdC (VANE)

classe de complexité # classe d'honnêteté # mesure de Blum # théorème d'intervalle #algorithme de Meyer-McCreight # théorie de la complexité

03D15 ; 68Q15 ; 03D55 ; 68M15 ; 68Wxx

... Lire [+]

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


ISBN 978-2-87908-100-7

Localisation : Disparu

ATM, réseau informatique # commutation et transmission ATM # concept, protocole, application # couche d'adaptation # interface # mode de transfert asynchrone # passif # protocole de signalisation # réalisation de noeud # réseau optique # transaction

68M10 ; 68M15 ; 68M20 ; 68Mxx

... Lire [+]

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

- 311 p.
ISBN 978-2-88074-296-6

Localisation : Ouvrage RdC (Genie)

assurance et contrôle de qualité # formalisme de spécification # génie logiciel # méthode d'analyse # méthode de conception # paradigme de programmation # principe # processus de développement # technique

68M15 ; 68N05

... Lire [+]

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

- 246 p.
ISBN 978-0-471-62590-2

Wiley series in probability and mathematical statistics

Localisation : Ouvrage RdC (HELL)

LISP # MACZYMA # langage de programmation # statistique mathématique # théorie des données # traitement des données

62-XX ; 68M15 ; 68Pxx

... Lire [+]

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

- 222 p.

Mathematische lehrbücher und monographien , 0021

Localisation : Ouvrage RdC (GNED)

statistique # fiabilité # test d'hypothèse

60K10 ; 62N05 ; 68M15

... Lire [+]

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

- 290 p.
ISBN 978-0-13-661983-3

Localisation : Ouvrage RdC (PETE)

science informatique # software # système de surveillance # automate # filets de transition

68M10 ; 68M15

... Lire [+]

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

- 612 p.
ISBN 978-0-12-044210-2

Mathematics in science and engineering , 0189

Localisation : Ouvrage RdC (Scien)

différentiation automatique # langage programme # quadrature numérique # science de l'ingénieur # vérification # équation intégrale

00A06 ; 65D25 ; 65D32 ; 65R20 ; 68M15

... Lire [+]

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

- 285 p.
ISBN 978-3-540-54947-5

Lecture notes in computer science , 0558

Localisation : Collection 1er étage

système temps réel # temps réel

68M15 ; 68Mxx

... Lire [+]

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

- 186 p.
ISBN 978-90-6196-425-4

CWI tract , 0095

Localisation : Collection 1er étage

analyse statistique # bonne qualité de l'adaptation # croissance informatique # inférence paramétrique # modèle de fiabilité informatique # modélisation d'une réparation imparfaite # organisation d'un système informatique # propriété asymptotique des estimateurs # simulation # vérification

60K10 ; 62F12 ; 68M15

... Lire [+]

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

- 213 p.

These docteur

Localisation : Ouvrage RdC (GAUD)

fiabilité des logiciels # inférence statistique # modèles linéaires # modélisation stochastique # probabilité appliquée # processus aléatoire # tests de tendance

68M15 ; 68M20 ; 68Q75

... Lire [+]

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

- 188 p.

Localisation : Ouvrage RdC (ELAR)

analyse bayésienne # fiabilité des logiciels # modèle linéaire généralisé # processus aléatoire # statistique appliquée # test d'adéquation statistique

62Pxx ; 68M15

... Lire [+]

Z