En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 68M15 20 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Outils statistiques pour l'evaluation de la fiabilite des logiciels Gaudoin, Olivier | Universite Joseph Fourier-Grenoble 1 1990

Thèse

- 213 p.
Call n° : 00013548
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

Location : Ouvrage RdC (GAUD)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Scientific computing with automatic result verification Adams, E. ; Kulisch, U. | Academic Press Inc. 1993

Ouvrage

- 612 p.
Call n° : 00015538
différentiation automatique # langage programme # quadrature numérique # science de l'ingénieur # vérification # équation intégrale

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

Location : Ouvrage RdC (Scien)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Petri net theory and the modeling of systems Peterson, James L. | Inc. ; Prentice Hall 1981

Ouvrage

- 290 p.
Call n° : 00009511
science informatique # software # système de surveillance # automate # filets de transition

68M10 ; 68M15

Location : Ouvrage RdC (PETE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Applied algebra,algorithmics and error-correcting codes :
proceedings of the 2nd international conference#Oct. 1-5 Poli, A. | Springer-Verlag 1986

Congrès

- 265 p.
Call n° : 00011512
mathématiques discrètes # outils mathématiques de l'informatique # réseaux # système d'exploitation # système informatique # teste

68M15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Software reliability modelling and identification :
a course on...,held at villa olmo#Sept. 2-4 Bittanti, Sergio | Springer-Verlag 1988

Congrès

- 209 p.
Call n° : 00013725
évaluation des programmes # langage # programmation # système informatique # texte

68M15 ; 68N15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Parallel execution of logic programs :
iclp'91 pre-conference workshop#June 24 Beaumont, A. ; Gupta, G. | Springer-Verlag 1991

Congrès

- 195 p.
Call n° : 00014295
parallèle # programmation logique # prolog

68M15 ; 68Q10

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

New results and new trends in computer science#June 20-21 Maurer, H. | Springer-Verlag 1991

Congrès

- 402 p.
Call n° : 00014297
algorithmique # complexité # compression # heuristique # informatique graphique # informatique orienté # intelligence artificielle # relations homme- machine # réseaux # réseaux neuronaux

68M10 ; 68M15 ; 68Q10 ; 68UXX

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Specification and compositional verification of real-time systems Hooman, J. | Springer-Verlag 1991

Ouvrage

- 285 p.
Call n° : 00014301
système temps réel # temps réel

68M15 ; 68Mxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Distributed algorithms :
5th international workshop wdag'91#Oct. 7-9 Kirousis, L. ; Spirakis, P. G. ; Toueg, S. | Springer-Verlag 1992

Congrès

- 318 p.
Call n° : 00014523
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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

MACSYMA for statisticians Heller, Barbara | John Wiley & Sons, Inc. 1991

Ouvrage

- 246 p.
Call n° : 00015426
LISP # MACZYMA # langage de programmation # statistique mathématique # théorie des données # traitement des données

62-XX ; 68M15 ; 68Pxx

Location : Ouvrage RdC (HELL)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language