33842 articles – 26701 Notices  [english version]
.:. Consultation > Par type de document > Directions d'ouvrages .:.
428 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)
Pasareanu C., Salaün G.
Elsevier (Ed.) (2014) 3 [hal-01016471 - version 1]
"Interacting with the past" - Special Issue of Journal on Computing and Cultural Heritage
Hachet M., Dellepiane M.
ACM (Ed.) (2014) 000 [hal-01015965 - version 1]
fulltext access Actes des 25es journées francophones d'Ingénierie des Connaissances (IC 2014)
Faron-Zucker C.
Conférence IC (Ed.) (2014) 300 [hal-01010292 - version 1]
Proceedings 1st Workshop on Formal Integrated Development Environment
Dubois C., Giannakopoulou D., Méry D.
EPTCS (Ed.) (2014) 105 [hal-00987531 - version 1]
fulltext access Preface: Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11)
Salaün G., Schätz B.
Elsevier (Ed.) (2014) 2 [hal-00919803 - version 1]
fulltext access Preface: Special Section on Foundations of Coordination Languages and Software Architectures (Selected Papers from FOCLASA'10)
Mousavi M. R., Salaün G.
Elsevier (Ed.) (2014) 2 [hal-00919799 - version 1]
30th Annual Symposium on Computational Geometry
Cheng S. W., Devillers O.
ACM (Ed.) (2014) 571 [hal-01018682 - version 1]
fulltext access Actes du 10ème Atelier en Évaluation de Performances
Alouf S., Jean-Marie A.
Inria (Ed.) (2014) 36 [hal-01010767 - version 1]
Verification, Model Checking, and Abstract Interpretation
Mcmillan K., Rival X.
Springer (Ed.) (2014) 493 [hal-00931694 - version 1]
Domain Decomposition Methods in Science and Engineering XXI
Erhel J., Gander M., Halpern L., Pichot G., Sassi T., Widlund O.
Springer (Ed.) (2014) 800 [hal-00911590 - version 1]