Accueil
Consultation
Par auteur
Par publications
Par années
Par domaines
Par type de document
Derniers dépôts
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Aide
Exporter
HalTools
28604 articles – 22086 Notices
[english version]
.:.
Consultation
>
Par type de document
> Directions d'ouvrages .:.
315 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
...
15
-
16
-
17
-
18
-
19
-
20
-
21
...
ESAIM: Proceedings CEMRACS 2008 - Modelling and Numerical Simulation of Complex Fluids
Ismail M., Maury B., Gerbeau J.-F.
EDP Sciences (Ed.) (2008) 227 [hal-00666158 - version 1]
Proceedings of the Second International Workshop on Mathematical Foundations of Computational Anatomy - Geometrical and Statistical Methods for Modelling Biological Shape Variability
Pennec X., Joshi S.
undefined or unknown publisher (Ed.) (2008) - [inria-00616059 - version 1]
Actes du 4ème atelier Représentation et raisonnement sur le temps et l'espace (RTE 2008), SAGEO'08, Montpellier
Bouzid M., Le Ber F., Ligozat G., Papini O.
SIGMA (Ed.) (2008) 68 [hal-00607560 - version 1]
Selected Papers from the ACM Solid and Physical Modeling Symposium 2007
Hu S.-M., Lévy B., Manocha D.
Elsevier (Ed.) (2008) 100 [inria-00602835 - version 1]
Selected papers from the Solid and Physical Modeling and Applications Symposium 2007 - SPM 2007
Hu S.-M., Lévy B., Manocha D.
Elsevier (Ed.) (2008) 100 [inria-00602833 - version 1]
Special Issue on Emerging Issues in Management of Networked Manufacturing Enterprises
Benyoucef L., Jain V., Bennett D.
Emerald (Ed.) (2008) 2 [inria-00599360 - version 1]
Special Issue on Symbolic and Algebraic Computation
Carlos D., Mourrain B.
Elsevier (Ed.) (2008) 135 [inria-00558470 - version 1]
Approches formelles des systèmes embarqués communicants
Roux O. H., Jard C.
Hermes Lavoisier (Ed.) (2008) 268 [hal-00523945 - version 1]
Extraction et Gestion des Connaissances
Guillet F., Trousse B.
Cépaduès (Ed.) (2008) 740 [hal-00421517 - version 1]
Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems
Autexier S., Mantel H., Merz S., Nipkow T.
Springer (Ed.) (2008) 209 [inria-00367512 - version 1]