m

F Nous contacter

0

Documents  68-02 | enregistrements trouvés : 101

O

-A +A

P Q

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

- 249 p.
ISBN 978-0-8218-2053-7

DIMACS series in discrete mathematics and theoretical computer science , 0054

Localisation : Collection 1er étage

calcul moléculaire # calcul sur les bases d'ADN # informatique # modèle de calcul # mode calculatoire # biologie # ADN # biomathématique # génétique # bioinformatique # biophysique # combinatoire

68-02 ; 68Q05 ; 68Q10 ; 68M99 ; 92-00 ; 92B05 ; 92B20 ; 92C05

... Lire [+]

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

- 255 p.
ISBN 978-3-540-09745-7

Lecture notes in computer science , 0079

Localisation : Collection 1er étage

évolution de logiciels # langages de programmation # tests et mesures

68-02 ; 68A05

... Lire [+]

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


ISBN 978-0-444-87661-4

Localisation : Colloque 1er étage (SAN)

68-02 ; 68Mxx ; 68Nxx

... Lire [+]

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

Josai mathematical monographs , 0001

Localisation : Colloque 1er étage (SAIT)

algorithme # algèbre de calcul # astrophysique # calcul symbolique # détermination de polynôme # ensemble de Mandelbrojt # expansion de fraction continue # fonction de logarithme # informatique théorique # opérateur différentiel # physique des particules # solution polynomiale # super point stable # système # équation # équation parabolique solution

05Exx ; 12-02 ; 12Y05 ; 14Q99 ; 34-02 ; 65D05 ; 65H05 ; 65N12 ; 68-02 ; 70-02

... Lire [+]

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

- viii; 519 p.
ISBN 978-0-8218-4943-9

Contemporary mathematics , 0558

Localisation : Collection 1er étage

théorie des modèles finis # probabilités combinatoires

03-02 ; 03-06 ; 05-02 ; 05-06 ; 68-02 ; 68-06 ; 03C65 ; 05Axx ; 05Cxx ; 68Q19 ; 00B25

... Lire [+]

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

- 339 p.
ISBN 978-0-521-42726-5

London mathematical society lecture note series , 0177

Localisation : Collection 1er étage

camonade # catégorie # informatique # reécriture d'algorithme # sémantique

18Bxx ; 18Cxx ; 68-02 ; 68Q55 ; 68Q70

... Lire [+]

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

- 351 p.
ISBN 978-3-540-08065-7

Lecture notes in computer science , 0047

Localisation : Collection 1er étage

environnement # informatique # langage compilation # mathématique économique # modele économique statistique # théorie de la décision

68-02 ; 90A05 ; 90A15

... Lire [+]

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


ISBN 978-0-7923-0308-4

Mathematics and its applications

Localisation : Colloque 1er étage (TIAN)

combinatoire # complexite # informatique

68-02 ; 68Q15 ; 68R05

... Lire [+]

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

- 478 p.
ISBN 978-3-540-10699-9

Lecture notes in computer science , 0107

Localisation : Collection 1er étage

informatique théorique # langage de programmation # programmation # structure de données # techniques de programmation # théorie de la programmation

68-02 ; 68A05 ; 68A30

... Lire [+]

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

- 260 p.
ISBN 978-3-540-10576-3

Lecture notes in computer science , 0104

Localisation : Collection 1er étage

informatique théorique

68-02 ; 68Pxx ; 68Rxx

... Lire [+]

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


ISBN 978-0-8218-0041-6

Proceedings of symposia in applied mathematics , 0029

Localisation : Collection 1er étage

68-02 ; 68B99 ; 68C99

... Lire [+]

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

Localisation : Colloque 1er étage (BLAR)

algèbre de Steenrod # analyse # anneau de vecteur de Wih # approximation de fonction différentiable # choix d'une méthode parmi une infinité # congruence # conjecture de Goldbach # contre-exemple # ensemble fini # fabrication de table # graphe # induction simple # itéraction # mathématique énumérative # méthode de Runge-Kutta # ordinateur en recherche mathématique # théorie des nombres

05Cxx ; 10-XX ; 12-XX ; 34-XX ; 68-02

... Lire [+]

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

- 408 p.
ISBN 978-2-225-80821-0

Etudes et recherches en informatique

Localisation : Colloque 1er étage (GREN)

calcul numérique # calcul formel # informatique # algorithmique # semi-numérique # complexité d'algorithme # optimisation d'algorithme # intelligence artificielle # structure cellulaire # logiciel # super calculateur # machine arithmétique # calcul parallèle

68-02 ; 68-06

... Lire [+]

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

- 695 p.
ISBN 978-3-540-08934-6

Lecture notes in computer science , 0065

Localisation : Collection 1er étage

base de données # évaluation de logiciels # materiel # milieu des ordinateurs # simulation et modelage # structure de données # systèmes d'exploitation # tests et mesures # traitement des données du management

00Bxx ; 68-02 ; 68A05 ; 68A10 ; 68A50

... Lire [+]

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

- 567 p.
ISBN 978-3-540-10007-2

Lecture notes in computer science , 0086

Localisation : Collection 1er étage

conception assistée par ordinateur # programmation # specification de programme

68-02 ; 68A05 ; 68A30 ; 68Q60

... Lire [+]

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

- 402 p.
ISBN 978-3-540-11993-7

Lecture notes in computer science , 0149

Localisation : Collection 1er étage

68-02 ; 68-06

... Lire [+]

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

- 651 p.
ISBN 978-0-387-09251-5

Lecture notes in computer science , 0069

Localisation : Collection 1er étage

68-02 ; 68A05

... Lire [+]

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


ISBN 978-0-8218-0163-5

Proceedings of symposia in applied mathematics , 0041

Localisation : Collection 1er étage

agripper et manipuler par main de robot à doigts multiples # cinématique de manipulateur # langage formel pour description de mouvement et construction # planification et exécution de stratégie d'assemblage de robo # robotique et mathématique # résolution de redondance cinématique

53A17 ; 68-02 ; 68G05 ; 70B15 ; 93-02

... Lire [+]

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

- xiii; 243 p.
ISBN 978-0-521-83666-1

Cambridge monographs on applied and computational mathematics , 0016

Localisation : Ouvrage RdC (ZOMO)

68-02 ; 57-04 ; 55-04 ; 68U05 ; 68U10

... Lire [+]

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

- 361 p.
ISBN 978-0-262-23169-5

Foundations of computing series

Localisation : Ouvrage RdC (WINS)

calcul informatique # informatique théorique # langage de programmation # langage formelle # mode de calcul # spécification et vérification de programme # sémantique

68-02 ; 68Q10 ; 68Q45 ; 68Q55 ; 68Q60

... Lire [+]

Z