|
|
|
|
|
|
|
|
|
|
|
hal-00663509v1
Communication dans un congrès
Hussein Ezzeddine, Stéphane Bila, Serge Verdeyme, Fabien Seyfert, D. Pacaud. Coupling topologies for realizing compact microwave diplexers with dual-mode cavitiesMicrowave Symposium Digest (MTT), 2010 IEEE MTT-S International, Jun 2010, Anaheim, United States. IEEE, pp.880 -883, 2010, <10.1109/MWSYM.2010.5517504>
|
|
|
|
hal-00437476v1
Communication dans un congrès
Hervé Leblond, Jean-François Villemazet, Jean-Louis Cazaux, Damien Pacaud, J.-J. Herren et al. When new needs for satellite payloads meet with new filters architecture and technologiesEuropean Microwave Conference, EuMC 2009, Sep 2009, Rome, Italy. pp.EuMC/EuMIC03-4, 2009, <10.1109/EUMC.2009.5296368>
|
|
|
|
|
|
|
|
hal-01112822v1
Chapitre d'ouvrage
Laurent Fuchs, Laurent Thery. A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective GeometryPascal Schreck; Julien Narboux; Jürgen Richter-Gebert. Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, 6877, Springer, pp.51--62, 2011, Lecture Notes in Computer Science, 978-3-642-25069-9. <10.1007/978-3-642-25070-5_3>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|