3531 articles – 5253 Notices  [english version]
.:. Consultation > Liste par type de document > Directions d'ouvrages .:.
118 documents classés par :
Première Page Page Précédente ... 3 - 4 - 5 - 6 - 7 - 8 - 9 ... Page Suivante Page Finale
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]
European Journal of Operational Research : Special issue on "Project management and scheduling"
Oulamara A., Portmann M.-C.
Elsevier (Ed.) (2008) 1133-1342 [inria-00596003 - 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]
Proceedings of the 7th IEEE International Workshop on Factory Communication Systems - 21-23 May 2008. Dresden, Germany
Simonot-Lion F., Cena G.
IEEE (Ed.) (2008) 456 [inria-00336240 - version 1]
The Automotive Embedded Systems Handbook
Navet N., Simonot-Lion F.
Taylor & Francis / CRC Press (Ed.) (2008) 488 [inria-00336166 - version 1]
Actes du colloque international "Spatial Analysis and GEOmatics", SAGEO'08 - 25-27 juin 2008
Le Ber F., Libourel Rouge T.
SIGMA (Ed.) (2008) actes sur CD [hal-00330279 - version 1]
Modeling and Verification of Real-Time Systems - Formalisms and Software Tools
Merz S., Navet N.
ISTE Publishing (Ed.) (2008) 400 [inria-00187581 - version 1]
Approches formelles pour le développement de logiciels
Souquières J.
Lavoisier (Hermes) (Ed.) (2007) 128 [hal-00184424 - version 1]
Raisonnement à partir de cas 2. Surveillance, diagnostic et maintenance.
Renaud J., Chebel-Morello B., Fuchs B., Lieber J.
Lavoisier (Ed.) (2007) 264 pages [hal-00342693 - version 1]