32887 articles – 26189 Notices  [english version]
.:. Consultation > Par type de document > Directions d'ouvrages .:.
417 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
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]
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]
Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS)
Baldoni R., Nisse N., Van Steen M.
Springer (Ed.) (2013) 280 [hal-00931478 - version 1]
Proceedings of 1st International Workshop on Mixed-Criticality Systems
Cucu-Grosjean L., Davis R.
University of York (Ed.) (2013) 90 [hal-00920923 - version 1]
CANS 2013
Abdalla M., Nita-Rotaru C., Dahab R.
Springer (Ed.) (2013) 349 [hal-00915711 - version 1]
e-Health Pervasive Wireless Applications and Services Workshop
Lemlouma T., Rachedi A., Laborie S., António S., Roose P.
IEEE Press (Ed.) (2013) 43 [hal-00877608 - version 1]
Proceedings of the third MEDI international conference
Cuzzocrea A., Maabout S.
Springer (Ed.) (2013) 291 [hal-00940783 - version 1]
Rapport final d'execution du projet myMed / Rapporto finale di esecuzione del progetto myMed 2010-2013. Interreg Alcotra
Liquori L., Consortium Interreg Alcotra M.
Office Interreg Alcotra (Ed.) (2013) 60 [hal-00909658 - version 1]