Ö1

Results: 810



#Item
51

Towards Domain Refinement For UML/OCL Bounded Verification Robert Claris´ o1 , Carlos A. Gonz´alez2 , and Jordi Cabot1,3 1

Add to Reading List

Source URL: modeling-languages.com

Language: English - Date: 2015-09-23 11:32:49
    52

    The 28th Symposium on Biomedical-Analytical Sciences (BMAS 2015) (様式2) 平成 年 月 日 第28回バイオメディカル分析科学シンポジウム(BMAS 2015)

    Add to Reading List

    Source URL: test-o1.applicats.co.jp

    Language: Japanese - Date: 2015-03-11 01:06:54
      53

      +!,(-".-/* Publishing I]I6"B%^I.&"<Add to Reading List

      Source URL: www.convo.com

      Language: French - Date: 2015-01-27 10:24:03
        54

        Under consideration for publication in Math. Struct. in Comp. Science Characteristic Formulae for Fixed-Point Semantics: A General Framework L U C A A C E T O1 A N N A I N G O L F D O T T I R1 P A U L B L A I N L E V Y2

        Add to Reading List

        Source URL: www.ru.is

        Language: English - Date: 2010-09-16 05:58:45
          55

          ORCHARD SERIES O1 2 BEDROOM + FLEX

          Add to Reading List

          Source URL: gablecrafthomes.ca

          - Date: 2014-10-20 16:25:59
            56

            ⇥⇤⌅⇧⌃⌥ ⌦↵ õ1#⇠⇡✏ ⇢ ⌧

            Add to Reading List

            Source URL: ueda-style.jp

            Language: Vietnamese - Date: 2013-10-30 04:44:27
              57

              Services for International Students and Scholars (TUniversity of California, Davis (Fhttp://siss.ucdavis.edu E3/O1/TN SCHOLAR PERSONAL DATA SHE

              Add to Reading List

              Source URL: siss.ucdavis.edu

              Language: English - Date: 2014-04-16 20:03:21
                58

                Expressive Path Queries on Graphs with Data Pablo Barcel´ o1 , Gaelle Fontaine1 , and Anthony W. Lin2,3 1 2

                Add to Reading List

                Source URL: users.dcc.uchile.cl

                Language: English - Date: 2013-10-07 11:20:57
                  59

                  Under consideration for publication in Math. Struct. in Comp. Science A Light-Weight Integration of Automated and Interactive Theorem Proving K A R I M K A N S O1† and A N T O N S E T Z E R2‡ {cskarim1 ,A.G.Setzer2

                  Add to Reading List

                  Source URL: www.cs.swan.ac.uk

                  Language: English - Date: 2011-02-15 14:22:58
                    60

                    10KOZ-o1 Közleménv az adőző rendelkezéseszerinÍa kedvezménvezett részéreátuta|tösszeg felhasználasáróI

                    Add to Reading List

                    Source URL: www.csillagszem.hu

                    Language: Hungarian - Date: 2011-11-09 04:39:18
                      UPDATE