skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its Simplification
Material Type:
Artigo
Adicionar ao Meu Espaço

Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its Simplification

Gaffney, E. A ; Heath, J. K ; Kwiatkowska, M. Z

Bulletin of mathematical biology, 2008-11, Vol.70 (8), p.2229-2263 [Periódico revisado por pares]

New York: New York : Springer-Verlag

Texto completo disponível

2
A metric for traces
Material Type:
Artigo
Adicionar ao Meu Espaço

A metric for traces

Kwiatkowska, Marta Z.

Information processing letters, 1990-07, Vol.35 (3), p.129-135 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

3
Survey of fairness notions
Material Type:
Artigo
Adicionar ao Meu Espaço

Survey of fairness notions

Kwiatkowska, M.Z.

Information and software technology, 1989-09, Vol.31 (7), p.371-386 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

4
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings

Fomin, Fedor V ; Freivalds, Rusins ; Peleg, David ; Kwiatkowska, Marta

Netherlands: Springer Nature 2013

Texto completo disponível

5
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Fomin, Fedor V ; Freivalds, Rusins ; Kwiatkowska, Marta ; Peleg, David

Berlin, Heidelberg: Springer Berlin / Heidelberg 2013

Texto completo disponível

6
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Fomin, Fedor V ; Freivalds, Rusins ; Kwiatkowska, Marta ; Peleg, David

Berlin, Heidelberg: Springer Berlin / Heidelberg 2013

Texto completo disponível

7
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings

Fomin, Fedor V ; Freivalds, Rusins ; Peleg, David ; Kwiatkowska, Marta

Netherlands: Springer Nature 2013

Texto completo disponível

8
A biologically inspired QoS routing algorithm for mobile ad hoc networks: WIRELESS AD HOC AND SENSOR NETWORKS
Material Type:
Artigo
Adicionar ao Meu Espaço

A biologically inspired QoS routing algorithm for mobile ad hoc networks: WIRELESS AD HOC AND SENSOR NETWORKS

LIU, Z ; KWIATKOWSKA, M. Z ; CONSTANTINOU, C. C

International journal of wireless and mobile computing, 2010, Vol.4 (2), p.64-75 [Periódico revisado por pares]

Genève: Inderscience Publishers

Sem texto completo

9
A biologically inspired QoS routing algorithm for mobile ad hoc networks
Material Type:
Artigo
Adicionar ao Meu Espaço

A biologically inspired QoS routing algorithm for mobile ad hoc networks

Liu, Z. ; Kwiatkowska, M.Z. ; Constantinou, C.C.

International journal of wireless and mobile computing, 2010-01, Vol.4 (2), p.64-75 [Periódico revisado por pares]

Inderscience Publishers

Sem texto completo

10
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
Material Type:
Livro
Adicionar ao Meu Espaço

Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK

van Rijsbergen, C. J ; Kwiatkowska, Marta Zofia ; Shields, Michael William

London: Springer London, Limited 1990

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (67)
  2. Revistas revisadas por pares (66)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (74)
  2. Livros  (6)
  3. Anais de Congresso  (5)
  4. Book Chapters  (4)
  5. Outros  (1)
  6. Recursos Textuais  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1979  (11)
  2. 1979Até1999  (8)
  3. 2000Até2005  (12)
  4. 2006Até2013  (29)
  5. Após 2013  (31)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (80)
  2. Polonês  (9)
  3. Japonês  (3)
  4. Francês  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.