يعرض 1 - 6 نتائج من 6 نتيجة بحث عن '"automatic specification"', وقت الاستعلام: 1.17s تنقيح النتائج
  1. 1
    مؤتمر

    المؤلفون: Liu, Shaoying, Nakajima, Shin

    المصدر: 2011 18th Asia-Pacific Software Engineering Conference Software Engineering Conference (APSEC), 2011 18th Asia Pacific. :73-80 Dec, 2011

    Relation: 2011 18th Asia Pacific Software Engineering Conference

  2. 2
    مؤتمر

    المصدر: 2011 11th International Conference on Intelligent Systems Design and Applications Intelligent Systems Design and Applications (ISDA), 2011 11th International Conference on. :47-52 Nov, 2011

    Relation: 2011 11th International Conference on Intelligent Systems Design and Applications (ISDA)

  3. 3
    كتاب إلكتروني

    المساهمون: Kacprzyk, Janusz, Series editorAff1, Rocha, Frederico A.E.Aff2, Martins, Ricardo M.F.Aff3, Lourenço, Nuno C.C.Aff4, Horta, Nuno C.G.Aff5

    المصدر: Electronic Design Automation of Analog ICs combining Gradient Models with Multi-Objective Evolutionary Algorithms. :7-22

  4. 4

    المساهمون: Laboratoire d'Informatique de Paris-Nord (LIPN), Université Sorbonne Paris Cité (USPC)-Institut Galilée-Université Paris 13 (UP13)-Centre National de la Recherche Scientifique (CNRS), Institut für Mathematik [Zürich], Universität Zürich [Zürich] = University of Zurich (UZH), Centre National de la Recherche Scientifique (CNRS), Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Centre de Mathématiques Appliquées - Ecole Polytechnique (CMAP), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Unité de Mathématiques Pures et Appliquées (UMPA-ENSL), Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon), Bioinformatique (LRI) (BioInfo - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Swiss National Science Foundation grant number 200021-17253, ANR-14-CE25-0014,GRAAL,GRaphes et Arbres ALéatoires(2014), ANR-16-CE40-0016,PPPP,Percolation et percolation de premier passage(2016), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure de Lyon (ENS de Lyon)-Centre National de la Recherche Scientifique (CNRS)

    المصدر: Advances in Mathematics
    Advances in Mathematics, 2022, 405, pp.108513. ⟨10.1016/j.aim.2022.108513⟩

  5. 5
    مؤتمر

    لا يتم عرض هذه النتيجة على الضيوف.

  6. 6
    مؤتمر

    لا يتم عرض هذه النتيجة على الضيوف.