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 68N30 13 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

Adapting proofs-as-programs :
the Curry-Howard protocol Poernomo, Iman Hafiz ; Crossley, John Newsome ; Wirsing, Martin | Springer 2005

Ouvrage

- 420 p.
Cote : 00029891
aspects mathématiques du software # programmation # logique mathématique # données abstraites # algèbre de spécification # démonstrateur de théorème

03B15 ; 68N18 ; 68Q65 ; 03B20 ; 68N30 ; 68T15 ; 68-02

Localisation : Ouvrage RdC (POER)

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

Computer aided verification:
5th international conference, CAV'93#June28-July1 Courcoubetis, Costas | Springer-Verlag 1993

Congrès

- 504p.
Cote : 00029973
informatique # vérification assistée par ordinateur # simulation nummérique # logique de programmation # softwere pour ingénieurs # algorithme de démonstration de théorème # symmetrie

00B25 ; 68-06 ; 68T15 ; 68N30 ; 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.
V

Tools and algorithms for the construction and analysis of systems:
third international workshop, TACAS'97#April2-4 Brinksma, E. | Springer-Verlag 1997

Congrès

- 431p.
Cote : 00029985
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

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

Tools and algorithms for the construction and analysis of systems:
6th international workshop, TACAS2000#March27-31 held as part of the ETAPS2000#March25-April2 Graf, S. ; Schwartzbach, M. | Springer-Verlag 2000

Congrès

- 552p.
Cote : 00029987
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

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

Effective computational geometry for curves and surfaces Boissonnat, Jean-daniel ; Teillaud, Monique | Springer 2007

Ouvrage

- xii; 343 p.
Cote : 00035538
graphisme # informatique # géométrie calculatoire non-linéaire # structure de données # algorithme # courbe # surface # topologie calculatoire

68U05 ; 65D18 ; 14Q05 ; 14Q10 ; 14Q20 ; 68N19 ; 68N30 ; 65D17 ; 57Q15 ; 57R05 ; 57Q55 ; 65D05 ; 57N05 ; 57N65 ; 58A05 ; 68W05 ; 68W20 ; 68W25 ; 68W40 ; 68W30 ; 33F05 ; 57N25 ; 58A10 ; 58A20 ; 58A25 ; 65-06 ; 00B15

Localisation : Ouvrage RdC (EFFE)

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

Handbook of floating-point arithmetic Muller, Jean-Michel ; Brisebarre, Nicolas ; de Dinechin,Florent ; Jeannerod, Claude-Pierre ; Lefèvre, Vincent ; Melquiond, Guillaume ; Revol, Nathalie ; Stehlé, Damien ; Torres, Serge | Birkhäuser 2010

Ouvrage

- xxiii; 572 p.
Cote : 00036237
Arithmétique à virgule flottante # langage de programmation # nombre à virgule flottante # algorithme # implémentation logicielle # implémentation matérielle # compilateur

65Y99 ; 68N30 ; 65-01 ; 68M07 ; 68N20 ; 68N15

Localisation : Ouvrage RdC (HAND)

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

Index analysis:
approach theory at work Lowen, R. | Springer 2015

Ouvrage

- xxi; 466 p.
Cote : 00038742
distribution # analyse fonctionnelle # espace topologique # espace de jauge # indice

06B35 ; 18B30 ; 18B99 ; 46A19 ; 46B04 ; 46M15 ; 54A05 ; 54B20 ; 54B30 ; 54D30 ; 54D35 ; 54E35 ; 54E99 ; 60B10 ; 60F05 ; 68N30 ; 68Q99 ; 54-02

Localisation : Ouvrage RdC (LOWE)

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

Non-linear partial differential equations, mathematical physics, and stochastic analysis:
the Hedge Holden anniversary volume.
Based on the presentations at the conference 'Non-linear PDEs, mathematical physics and stochastic analysis'
Trondheim # July 4-7, 2016 Gesztesy, Fritz ; Hanche-Olsen, Harald ; Jakobsen, Espen R. ; Lyubarskii, Yurii ; Risebro, Nils Henrik ; Seip, Kristian | European Mathematical Society 2018

Congrès

- xvi; 486 p.
Cote : 00040415
analyse infinitésimale # équation aux dérivées partielles # loi de conservation hyperbolique # analyse stochastique # théorie spectrale # évolution discrète # système complètement intégrable # matrice aléatoire # dynamique chaotique

15B52 ; 35J10 ; 35L65 ; 35Q41 ; 35Q51 ; 35Q53 ; 37K10 ; 42B20 ; 46N20 ; 46N30 ; 46T12 ; 47B36 ; 47F05 ; 60H20 ; 68N30 ; 76S05 ; 33C45 ; 35A01 ; 35A02 ; 35L80 ; 37D45 ; 39A12 ; 47A10 ; 47N20 ; 47N30 ; 60B20

Localisation : Colloque 1er étage (TRON)

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

Computer aided verification:
fourth international workshop, CAV'92#June29-July1 Bochmann, G. V. ; Probst, D. K. | Springer-Verlag 1993

Congrès

- 422p.
Cote : 00029982
informatique # méthode de vérification assistée par ordinateur # simulation numérique # logique pour programmation # softwere pour ingénieurs # calcul parallèle

00B25 ; 68-06 ; 68N30

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

Tools and algorithms for the construction and analysis of systems:
first international workshop, TACAS'95#May19-20 Brinksma, E. ; Cleaveland, W. R. ; Larsen, K. G. ; Margaria, T. ; Steffen, B. | Springer-Verlag 1995

Congrès

- 289p.
Cote : 00029983
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

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

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue