LINA

Results: 799



#Item
61

S´emantique concurrente symbolique des r´eseaux de Petri saufs et d´epliages finis des r´eseaux temporels Thomas CHATAIN Claude JARD

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: French - Date: 2013-07-03 04:01:35
    62

    Symbolic Unfolding of Parametric Stopwatch Petri Nets L.-M. Traonouez1 , B. Grabiec2 , C. Jard2 , D. Lime3 and O. H. Roux3? 1 Universit`

    Add to Reading List

    Source URL: pagesperso.lina.univ-nantes.fr

    Language: English - Date: 2013-07-03 04:01:35
      63

      Digital 4 Industry in the UK Dr. Lina Huertas CEng FIMechE Head of Technology Strategy for Digital Manufacturing Manufacturing Technology Centre Manufuture, Tallinn, October 2017

      Add to Reading List

      Source URL: manufuture2017.eu

      Language: English - Date: 2017-10-28 15:01:54
        64

        PDF Document

        Add to Reading List

        Source URL: pagesperso.lina.univ-nantes.fr

        Language: Polish - Date: 2013-07-03 04:01:35
          65

          Principles of Distributed Test Synthesis based on True-concurrency Models Claude JARD IRISA/CNRS Campus de Beaulieu

          Add to Reading List

          Source URL: pagesperso.lina.univ-nantes.fr

          Language: English - Date: 2013-07-03 04:01:35
            66

            Le amiche delle stelle di Luisa Spairani Personaggi: Caroline Lucretia Herschel detta Lina: Astronoma John Herschel: Astronomo, nipote di Caroline Mary Somerville: Matematica – Astronoma

            Add to Reading List

            Source URL: www.rudimathematici.com

            Language: Italian - Date: 2015-06-21 13:32:09
              67

              Ung dansk fotografi ‘.–Pressemeddelelse Ung dansk fotografi ‘16 Lina Hashim, Mads Holm, Lærke Posselt, Sarah Riisager & Tinne Zenner

              Add to Reading List

              Source URL: www.fotografiskcenter.dk

              Language: Danish - Date: 2016-11-02 15:50:27
                68

                Application of the GUS marker gene technique to high-throughput screening of ... Kate J Wilson; Adriana Parra; Lina Botero Canadian Journal of Microbiology; Aug 1999; 45, 8; Academic Research Library pgReproduced

                Add to Reading List

                Source URL: www.cambia.org

                - Date: 2007-04-12 12:02:10
                  69

                  Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Supporting the Development of Data Wrapping Ontologies (Extended Abstract)⋆ Lina Lubyte and Sergio Tessaris KRDB Research C

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2010-04-20 14:40:19
                    70

                    On-line Scene Understanding for Closed Loop Control Lina Maria Paz† Tarlan Suleymanov† Pedro Pini´es†

                    Add to Reading List

                    Source URL: www.robots.ox.ac.uk

                    - Date: 2016-07-04 17:47:19
                      UPDATE