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 D.2 34 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Eci conference 1976 :
proceedings of the 1st. conference of the european cooperation in informatics#Aug. 9-12 Samelson, K. | Springer-Verlag 1976

Congrès

- 322 p.
Cote : 00013811
architecture des systèmes # programmation # programme # traitement des données # vérification de programme

68M07 ; 68Mxx ; 68P05 ; 68Q60

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Proceedings of the 1997 international conference on software engineering
May 17-23 | A.C.M. ; I.E.E.E. 1997

Congrès


Cote : 00019454
amélioration de processus # analyse de C et C++ # analyse statistique # compréhension de programme # essai et analyse # exploitation d'Internet # fiabilité # ingénierie de logiciel # ingénierie inverse # inspection et revue # matériel et logiciel # métrique # spécification formelle # système à héritage # technologie oriental-objet # utilisateur d'interface # économie et loi

68-06 ; 68Nxx

Localisation : Colloque 1er étage (BOST)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Découvrir maple v
Version 5 Heal, K. m. ; Hansen, M. l. ; Rickard , K. m. ; Char, B. W. Travail ; Devitt, J. S. | Springer ; Waterloo Maple 1999

Ouvrage


Cote : 00022384
calcul formel # logiciel

05-XX ; 11Yxx ; 12Y05 ; 13Pxx ; 14Qxx ; 20-04 ; 28-04 ; 30-04 ; 33-XX ; 68Q40

Localisation : Salle Informatique 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Lancelot :
a Fortran package for large-scale nonlinear optimization (release A) Conn, A. R. ; Gould, N. I. M. ; Toint, Ph. L. | Springer 1992

Ouvrage

- 330 p.
Cote : 00024436
analyse numérique # informatique # logiciel # optimisation non-linéaire # FORTRAN # langage de programmation # Lancelot # algorithme # problème à grande échelle # programmation mathématique # application

90C30 ; 90-04 ; 90C06 ; 65-04 ; 65K10 ; 49M37 ; 90C90 ; 65K05 ; 49M27 ; 49M29

Localisation : Ouvrage RdC (CONN)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Théorie des programmes :
shcémas, preuves, sémantique Livercy, C. ; Pair, C. | Bordas 1978

Ouvrage

- 328 p.
Cote : 00009248
théorie des programmes # schéma # preuve # sémantique

68N15

Localisation : Ouvrage RdC (LIVE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction to computer theory Cohen, Daniel I. A. | John Wiley And Sons 1985

Ouvrage

- 431 p.
Cote : 00010218
automatique théorique # conception et fabrication de logiciel # informatique # informatique theorique # langage # langage de programmation

68-01 ; 68-02 ; 68Nxx ; 68Q45 ; 68Q50

Localisation : Ouvrage RdC (COHE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Implementing mathematics with the nuprl proof development system Constable, R. L. ; Allen, S. F. ; Bromley, H.M. ; Cleavland, W.R. | Inc. ; Prentice Hall 1986

Ouvrage

- 299 p.
Cote : 00010160
intelligence artificielle # langage de programmation # langage informatique

68Nxx ; 68T15

Localisation : Ouvrage RdC (Impl)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Postscript language tutorial and cookbook | Addison-Wesley Publishing Company ; Inc. 1986

Ouvrage


Cote : 00011252
edition de textes # graphe # impression laser # langage de programmation
Localisation : Salle de Manutention

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Postscript language reference manual | Addison-Wesley Publishing Company ; Inc. 1986

Ouvrage


Cote : 00011253
edition de textes # graphe # impression laser # langage de programmation
Localisation : Salle de Manutention

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Le livre de la micro-edition Le Du, Bernard ; Lalisse, Alain | Sybex 1987

Ouvrage


Cote : 00011347
edition de textes # graphisme # micro-edition # typographie

68U15

Localisation : Salle de Manutention

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue