Acta Informatica

Results: 22



#Item
1Mathematics / Mathematical analysis / Distribution / Functional analysis / Parameter space / Linear temporal logic / BorelKolmogorov paradox

Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-03-04 09:24:11
2

ACTA Reunión Plenaria Miércoles 11 de octubre – 9 a 12 hs. – Aula 2-5 Postgrado (2do. Piso) UNLP – Facultad de Informática – 50 y 120 La Plata. Presentes UBA Cs Exactas UBA Ingeniería

Add to Reading List

Source URL: redunci.info.unlp.edu.ar

Language: Spanish - Date: 2017-10-31 10:29:12
    3

    Acta Informatica 41, 293–Digital Object Identifier (DOIs00236Families of automata characterizing context-sensitive languages Christophe Morvan, Chlo´e Rispal

    Add to Reading List

    Source URL: www-igm.univ-mlv.fr

    Language: English - Date: 2006-07-26 16:59:40
      4

      ACTA Reunión Curricular Informática – Miercoles 4-12 y JuevesUN La Matanza – Sede Capital Federal Presentes UBA (Exactas) UBA (Ingeniería) UBA (Económicas)

      Add to Reading List

      Source URL: redunci.info.unlp.edu.ar

      Language: Spanish - Date: 2013-12-10 13:53:32
        5

        Acta das reuniões da Assembleia-geral das Olimpíadas Internacionais da Informática que tiveram lugar em Atenas, Grécia, de 11 a 18 de Agosto de 2004 Presentes: Líderes de Equipa, Líderes de Equipa Deputados, Observ

        Add to Reading List

        Source URL: www.ioinformatics.org

        Language: Portuguese - Date: 2012-10-18 20:40:02
          6

          Acta Informatica manuscript No. (will be inserted by the editor) Naoki Kobayashi Type-Based Information Flow Analysis for

          Add to Reading List

          Source URL: www.kb.ecei.tohoku.ac.jp

          Language: English - Date: 2005-06-14 23:26:52
            7

            Acta Informatica manuscript No. (will be inserted by the editor) Naoki Kobayashi Type-Based Information Flow Analysis for

            Add to Reading List

            Source URL: www-kb.is.s.u-tokyo.ac.jp

            Language: English - Date: 2005-06-14 23:26:52
              8

              Acta Informatica manuscript No. (will be inserted by the editor) Arnaud Carayol · Antoine Meyer Linearly Bounded Infinite Graphs

              Add to Reading List

              Source URL: www-igm.univ-mlv.fr

              Language: English - Date: 2008-01-14 11:13:54
                9

                วารสารตางประเทศ ทางดานวทยาการคอมพวเตอร Acta Informatica (Springer) Acta Informatica (ASP : Full text delay, after 1 Yr.) Ad Hoc Networks (ScienceD

                Add to Reading List

                Source URL: www.science.siam.edu

                Language: English - Date: 2010-05-05 03:42:30
                  10Combinatorics / Hypergraph / Golomb ruler / Forbidden graph characterization / Bipartite graph / Incidence matrix / Sidon sequence / Line graph of a hypergraph / Graph theory / Mathematics / Number theory

                  Author’s manuscript accepted to Acta Informatica. Online available via DOIs00236Exploiting a Hypergraph Model for Finding Golomb Rulers Manuel Sorge · Hannes Moser · Rolf Niedermeier · Mathias W

                  Add to Reading List

                  Source URL: fpt.akt.tu-berlin.de

                  Language: English - Date: 2014-07-11 05:17:50
                  UPDATE