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.
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.
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 [+]
