Informatics

Results: 44891



#Item
511

The Pumping Lemma for Well-Nested Multiple Context-Free Languages Makoto Kanazawa? National Institute of Informatics Abstract. Seki et alproved a rather weak pumping lemma for

Add to Reading List

Source URL: research.nii.ac.jp

- Date: 2010-06-08 00:59:12
    512

    REQUISITI DI AMMISSIONE E MODALITÀ DI VERIFICA A.ALM-18 Business Innovation and Informatics 1. L’iscrizione al corso di laurea magistrale richiede il possesso della Laurea o del diploma universitario di du

    Add to Reading List

    Source URL: www.unisa.it

    - Date: 2016-07-15 07:17:59
      513

      AceWiki: A Natural and Expressive Semantic Wiki Tobias Kuhn Department of Informatics University of Zurich

      Add to Reading List

      Source URL: attempto.ifi.uzh.ch

      - Date: 2013-09-23 06:46:50
        514

        IEEE Transactions on Industrial Informatics CALL FOR PAPERS for Special Section on "Next Generation Intelligent Maritime Grids" The Theme: Digital transformation and greener maritime industry go hand-in-hand, as maritime

        Add to Reading List

        Source URL: tii.ieee-ies.org

        - Date: 2016-11-29 22:30:44
          515

          Manchester Family History Advanced OWL Tutorial Edition 1.0 Robert Stevens, Margaret Stevens, Nicolas Matentzoglu and Simon Jupp Bio-Health Informatics Group

          Add to Reading List

          Source URL: mowl-power.cs.man.ac.uk

            516

            Tariffs, Mechanisms and Equilibria at a Single Internet Link Costas Courcoubetis and Antonis Dimakis Department of Informatics Athens University of Economics and Business Patission 76, Athens 10434, Greece

            Add to Reading List

            Source URL: nes.aueb.gr

            - Date: 2013-09-14 08:34:34
              517

              Comparing AWS deployments using model-based predictions ? Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu Department of Informatics, University of Oslo, Norway {einarj,kellylin,ingridcy}@ifi.uio.no

              Add to Reading List

              Source URL: einarj.at.ifi.uio.no

              - Date: 2016-10-06 15:35:36
                518

                ΑΔΑ: Ω6Τ64653Ο7-ΣΓΞ INFORMATICS DEVELOPMEN T AGENCY Digitally signed by

                Add to Reading List

                Source URL: www.edulll.gr

                - Date: 2016-12-06 06:51:55
                  519

                  Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes Ulrich Sch¨ opp and Alex Simpson LFCS, Division of Informatics, University of Edinburgh

                  Add to Reading List

                  Source URL: www2.tcs.ifi.lmu.de

                  - Date: 2005-11-20 08:43:19
                    UPDATE