.:. Browse > List by document type > Scientific Books .:.

66 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7

FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Giannakopoulou D., Méry D. Springer (Ed.) (2012) 488 [hal-00743808 - version 1]

Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test Bouquet F., Legeard B., Pickaert N. DUNOD (Ed.) (2011) 304 [hal-00645019 - version 1]

La gestion de la recherche collaborative d'information dans le cadre du processus d'intelligence économique Odumuyiwa V. Editions Universitaires Europeennes (Ed.) (2011) 296 [inria-00634668 - version 1]

Sleep and Anesthesia: Neural correlates in theory and experiment Hutt A. Springer (Ed.) (2011) 254 [hal-00644324 - version 1]

Simulation du Mouvement Pulmonaire pour un Traitement Oncologique - Application à la Radiothérapie et à l'Hadronthérapie Villard P.-F. Editions universitaires europeennes (Ed.) (2011) 152 [hal-00595549 - version 1]

16th international conference on Discrete Geometry for Computer Imagery Debled-Rennesson I., Domenjoud E., Kerautret B., Even P. Springer-verlag (Ed.) (2011) 529 [hal-00580197 - version 1]

Formal Models and Techniques for Analyzing Security Protocols Cortier V., Kremer S. IOS Press (Ed.) (2011) 312 [inria-00636787 - version 1]

Resilience engineering in practice: A Guidebook Hollnagel E., Paries J., Woods David D., Wreathall J. Ashgate Publishing (Ed.) (2010) 362 pages - ISBN 978-1-4094-1035-5 [hal-00613345 - version 1]

Polygon Mesh Processing Botsch M., Kobbelt L., Pauly M., Alliez P., Lévy B. AK Peters / CRC Press (Ed.) (2010) 250 [inria-00538098 - version 1]

Segmentation en lignes de documents anciens Ouwayed N. Editions Universitaires Europeennes (Ed.) (2010) 160 p. [inria-00507760 - version 1]