Mostrando 35,221 - 35,230 resultados de 35,970 para a busca '"Languages"', tempo de busca: 0.07s Refinar Resultados
  1. 35221

    A structured TCP in standard ML. por Biagioni, Edoardo

    Artigo

    A structured TCP in standard ML.
  2. 35222

    BPF+ exploiting global data-flow optimization in a generalized packet filter architecture. por Begel, Andrew

    Artigo

    BPF+ exploiting global data-flow optimization in a generalized packet filter architecture.
  3. 35223

    Splicing systems with targets are computationally universal. por Paun, Gheorghe

    Artigo

    Splicing systems with targets are computationally universal.
  4. 35224

    Denotational linear time semantics and sequential composition. por Baier, Christel

    Artigo

    Denotational linear time semantics and sequential composition.
  5. 35225

    Literal shuffle on w-languages. por Moriya, Tetsuo

    Artigo

    Literal shuffle on w-languages.
  6. 35226

    A lower bound technique for the size of nondeterministic finite automata. por Glaister, Ian

    Artigo

    A lower bound technique for the size of nondeterministic finite automata.
  7. 35227

    Almost tight upper bounds for vertical decompositions in four dimensions. por Koltun, Vladlen

    Publicado no Journal of the ACM
    Artigo

    Almost tight upper bounds for vertical decompositions in four dimensions.
  8. 35228

    Resolution lower bounds for the weak pigeonhole principle. por Raz, R.

    Publicado no Journal of the ACM
    Artigo

    Resolution lower bounds for the weak pigeonhole principle.
  9. 35229

    Lenses in arrangements of pseudo-circles and their applications. por Agarwal, Pankaj K.

    Publicado no Journal of the ACM
    Artigo

    Lenses in arrangements of pseudo-circles and their applications.
  10. 35230

    Existential second-order logic over graphs Charting the tractability frontier. por Gottlob, Georg

    Publicado no Journal of the ACM
    Artigo

    Existential second-order logic over graphs Charting the tractability frontier.

Ferramentas de busca: