m

F Nous contacter

0

Documents  68U07 | enregistrements trouvés : 27

O

-A +A

P Q

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

- 470p.
ISBN 978-3-540-61937-6

Lecture notes in computer science , 1166

Localisation : Collection 1er étage

informatique # circuits integrés # conception assistée par ordinateur # démonstration automatique de théorème # langage formel # optimisation

00B25 ; 68-06 ; 68U07 ; 68T15 ; 68Q45

... Lire [+]

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

- 341 p.
ISBN 978-3-540-09981-9

Lecture notes in computer science , 0083

Localisation : Collection 1er étage

conception assistée par ordinateur # langage # programmation # sémantique # testes

68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07

... Lire [+]

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

- 222 p.
ISBN 978-3-540-61785-3

Lecture notes in computer science , 1148

Localisation : Collection 1er étage

algorithme de géométrie # application aux sciences physiques # architecture # conception assisté par ordinateur # géométrie algorithmique # géométrie convexe de l'informatique # géométrie de calcul informatique # géométrie de l'informatique # informatique de l'ingénieur # informatique graphique # modélisation # progiciel # robotique # science de la bie # triangulateur de Delauney # utilitaire graphique # visibilité complexe # visualisation

68Txx ; 68U05 ; 68U07 ; 68Uxx

... Lire [+]

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

- 366 p.
ISBN 978-0-8218-3420-6

Contemporary mathematics , 0334

Localisation : Collection 1er étage

courbe sur les surfaces # modèle mathématique # géométrie algébrique # modélisation géométrique # équation polynômiale

14M25 ; 14Qxx ; 52B20 ; 65Dxx ; 68U07

... Lire [+]

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


ISBN 978-0-8218-0750-7

Proceedings of symposia in applied mathematics , 0053

Localisation : Collection 1er étage

anneaux arithmétiques # biomécanique # calcul algébrique # calcul symbolique # code correcteur # géométrie algébrique # méthodologie # système assisté # traitement informatique

05E99 ; 13F99 ; 14Q99 ; 68Q40 ; 68U07 ; 90C10 ; 94B27

... Lire [+]

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


ISBN 978-0-89871-359-6

SIAM proceedings series list

Localisation : Colloque 1er étage (HAMP)

MDO # OCM # architecture d'optimisation collaborative # chimie # code # complexité # concept et analyse de véhicule # environnement informatique distribué # gradient # grand système d'ingénierie # implémentation # modèle d'approximation de gestion # méthode multi-niveau # méthode statistique # optimisation de conception multidisciplinaire # optimisation de forme # problème discret mélangé # réduction # résolvant rapide # sensibilité # simulation de dynamique des fluides # structure aérospatiale # structure non linéaire # synthèse aéro-servo- élastique # transport civil rapide # équation MDO # OCM # architecture d'optimisation collaborative # chimie # code # complexité # concept et analyse de véhicule # environnement informatique distribué # gradient # grand système d'ingénierie # implémentation # modèle d'approximation de gestion # méthode multi-niveau # méthode statistique # optimisation de conception multidisciplinaire # optimisation de forme # problème discret mélangé # réduction # résolvant rapide # sensibilité # simulation ...

00A06 ; 68U07 ; 68U20

... Lire [+]

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

- 449 p.
ISBN 978-0-904933-61-1

Localisation : Colloque 1er étage (AVIG)

application # contrôle # gestion # industrie des systèmes experts # intelligence artificielle # outil et technique de construction des systèmes experts # surveillance # système expert # système informatique # sécurité # télécommunication # économie des systèmes experts # électrotechnique

68T05 ; 68T35 ; 68Txx ; 68U07 ; 68U20 ; 68U30 ; 68Uxx

... Lire [+]

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

- Pp. 453-909
ISBN 978-0-904933-61-1

Localisation : Colloque 1er étage (AVIG)

application # contrôle # gestion # industrie des systèmes experts # intelligence artificielle # outil et technique de construction des systèmes experts # surveillance # système expert # système informatique # sécurité # télécommunication # économie des systèmes experts # électrotechnique

68T05 ; 68T35 ; 68Txx ; 68U07 ; 68U20 ; 68U30 ; 68Uxx

... Lire [+]

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


ISBN 978-2-906899-25-4

Localisation : Colloque 1er étage (AVIG)

calculateur # centre informatique # configuration réseau # intelligence artificielle # maintenance des systèmes de télécommunications # science de l

68T35 ; 68Txx ; 68U07

... Lire [+]

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


ISBN 978-2-906899-24-7

Localisation : Colloque 1er étage (AVIG)

aide au commandement # aide à la navigation # défense # intelligence aritificielle # outil # plan # système de défense # sécurité et protection des systèmes experts # sécurité-défense

68T20 ; 68Txx ; 68U07

... Lire [+]

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


ISBN 978-0-8186-2915-0

Localisation : Colloque 1er étage (HAGU)

infographie # intelligence artificielle # modèle markovien # modélisation statistique # prise de décision # processus de décision # reconnaissance des formes # réseau neuronal # système neuronal # traitement de l

60K15 ; 62Cxx ; 68B15 ; 68T10 ; 68Txx ; 68U05 ; 68U07 ; 68U30 ; 68Uxx

... Lire [+]

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


ISBN 978-0-8186-2920-4

Localisation : Colloque 1er étage (HAGU)

algorithmique # codage # délection des contours # entropie # format d

68T10 ; 68T35 ; 68Txx ; 68U05 ; 68U07 ; 68U10 ; 68Uxx

... Lire [+]

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


ISBN 978-0-8186-6265-2

Localisation : Colloque 1er étage (JERU)

format # imagerie informatique # informatique médicale # intelligence artificielle # reconnaissance des formes # traitement de l

68-00 ; 68T10 ; 68Txx ; 68U05 ; 68U07 ; 68U10 ; 68Uxx

... Lire [+]

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

Research talks;Probability and Statistics

discrepancy, optimal design, Latin Hypercube Sampling, computer experiment

68U07 ; 65C60 ; 62L05 ; 62K15 ; 62k20

... Lire [+]

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

- 412 p.
ISBN 978-0-8247-8952-7

Computer-aided engineering , 0003

Localisation : Ouvrage RdC (ZECH)

agrafage # animation # biblog # conception assistée par ordinateur # courbe de forme libre # courbe à trois dimensions # fenêtre # graphe et diagramme # graphisme informatique # ingénierie assistée par ordinateur # lucarne de vue # ombrage # primitive graphique # stockage des données graphiques # surface # transformation à trois dimensions # usinage assisté par ordinateur

68U05 ; 68U07

... Lire [+]

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

- xv; 452 p.
ISBN 978-0-387-71277-2

Springer undergraduate texts in mathematics and technology

Localisation : Ouvrage RdC (ROVE)

courbes # surfaces # géométrie # MATLAB # interpolation # transformation projective # transformation de Möbius # courbe fractale # géométrie inversive # géométrie hyperbolique # courbe de Bezier # metrique de Poincaré # équations de Euler # torsion # géodésique

51Nxx ; 65Dxx ; 68Uxx ; 65D17 ; 53-01 ; 68U07 ; 68W20 ; 51M10 ; 65-01 ; 65D18 ; 68U05 ; 53A04 ; 53A05

... Lire [+]

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

- 185 p.
ISBN 978-2-225-82324-4

Collection recherches en mathématiques appliquées , 0018

Localisation : Ouvrage RdC (RISL)

algorithme # cao # courbe de Bezier # élimination algébrique # ensemble semi algébrique # modelisation géométrique # nurbs # outil mathématique de la cao # spline polyedrale # théorie de b-spline rationnel non uniforme # triangulation convexe d'une famille de point

68U05 ; 68U07

... Lire [+]

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

- 270 p.
ISBN 978-0-691-03436-2

Princeton series in computer science

Localisation : Ouvrage RdC (KURS)

COSPAN # affinement # algèbre booléen # analyse des systèmes # approche par la théorie des automates # complexité des systèmes # délais # homomorphisme de relèvement # induction structurel # logique # modèle asynchrone # modèle de sélection-résolution # modélisation de l'asynchronicité # modélisation mathématique des systèmes # processus d'automate # processus de coordinateur # processus p-adic # réduction automorphique des symétries # réduction de la vérification # réduction homomorphique # structure algébrique # système de commande # système de vérification # temps continue # temps discret # théorème d'induction algorithmique # vérification assisté par ordinateur COSPAN # affinement # algèbre booléen # analyse des systèmes # approche par la théorie des automates # complexité des systèmes # délais # homomorphisme de relèvement # induction structurel # logique # modèle asynchrone # modèle de sélection-résolution # modélisation de l'asynchronicité # modélisation mathématique des systèmes # processus d'automate # processus de coordinateur # processus p-adic # réduction automorphique des symétries # réduction ...

06Exx ; 68Q68 ; 68U07 ; 93Bxx ; 93C60

... Lire [+]

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

- 345 p.
ISBN 978-0-8218-3628-6

DIMACS series in discrete mathematics and theorerical computer science , 0067

Localisation : Collection 1er étage

processus de fabrication # engineering # conception assisté par ordinateur # prototypage # objet géométrique complexe # informatique # modélisation géométrique

12Y05 ; 52C45 ; 65D17 ; 65D18 ; 68U05 ; 68U07 ; 68W30 ; 68W40

... Lire [+]

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

- 210 p.
ISBN 978-2-86601-040-9

Localisation : Ouvrage RdC (GIAM)

C.A.O. # algorithmicien # architecture # b âtiment # bibliothécaire # bois # concepteur # conception assitée par ordinateur # dessinateur # facteur psychologique et biologique # génie civil # intelligence artificielle # logiciel et matériel # mécanique # processus industriel # textile # électronique

68Txx ; 68U07

... Lire [+]

Z