skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verification of MPI Programs Using Session Types
Verification of MPI Programs Using Session Types
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Verification of MPI Programs Using Session Types

Honda, Kohei ; Marques, Eduardo R. B. ; Martins, Francisco ; Ng, Nicholas ; Vasconcelos, Vasco T. ; Yoshida, Nobuko Träff, Jesper Larsson ; Dongarra, Jack J. ; Benkner, Siegfried

Recent Advances in the Message Passing Interface, p.291-293 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
The Politics of Executive‐Legislative Relations
The Politics of Executive‐Legislative Relations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Politics of Executive‐Legislative Relations

Marques, Eduardo Cesar Leão ; Hoyler, Telma Marques, Eduardo Cesar Leão

The Politics of Incremental Progressivism, 2021, p.69-91

Chichester, UK: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
3
Governments, Mayors and Policies
Governments, Mayors and Policies
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Governments, Mayors and Policies

Marques, Eduardo Cesar Leão ; Hoyler, Telma Marques, Eduardo Cesar Leão

The Politics of Incremental Progressivism, 2021, p.43-68

Chichester, UK: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
4
Continuities and Changes in the Diversification of Public Housing
Continuities and Changes in the Diversification of Public Housing
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Continuities and Changes in the Diversification of Public Housing

Marques, Eduardo Cesar Leão ; Pulhez, Magaly Marques Marques, Eduardo Cesar Leão

The Politics of Incremental Progressivism, 2021, p.193-216

Chichester, UK: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
5
Runtime Programming through Model-Preserving, Scalable Runtime Patches
Runtime Programming through Model-Preserving, Scalable Runtime Patches
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Runtime Programming through Model-Preserving, Scalable Runtime Patches

Kirsch, Christoph M. ; Lopes, Luís ; Marques, Eduardo R. B. ; Sokolova, Ana Barbosa, Luís Soares ; Lumpe, Markus

Formal Aspects of Component Software, p.290-294 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Deductive Verification of MPI Protocols
Deductive Verification of MPI Protocols
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Deductive Verification of MPI Protocols

Vasconcelos, Vasco T. ; Martins, Francisco ; Marques, Eduardo R. B. ; Yoshida, Nobuko ; Ng, Nicholas Gay, Simon ; Ravara, António ; Gay, Simon ; Ravara, António

Behavioural Types, 2017, p.353-372

Denmark: Routledge

Texto completo disponível

Citações Citado por
7
Developers and Politicians in the Institutionalizing of Development Regulation
Developers and Politicians in the Institutionalizing of Development Regulation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Developers and Politicians in the Institutionalizing of Development Regulation

Hoyler, Telma Marques, Eduardo Cesar Leão

The Politics of Incremental Progressivism, 2021, p.217-234

Chichester, UK: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
8
Conflicts and Incremental Change in Urban Renewal Instruments
Conflicts and Incremental Change in Urban Renewal Instruments
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Conflicts and Incremental Change in Urban Renewal Instruments

Sarue, Betina ; Pagin, Stefano Marques, Eduardo Cesar Leão

The Politics of Incremental Progressivism, 2021, p.235-256

Chichester, UK: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
9
Increasingly Governing Bus Services Through Policy Instruments
Increasingly Governing Bus Services Through Policy Instruments
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Increasingly Governing Bus Services Through Policy Instruments

Campos, Marcos Lopes Marques, Eduardo Cesar Leão

The Politics of Incremental Progressivism, 2021, p.136-154

Chichester, UK: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
10
Circulation of Institutional Formats in Urban Regeneration
Circulation of Institutional Formats in Urban Regeneration
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Circulation of Institutional Formats in Urban Regeneration

Sarue, Betina Marques, Eduardo Cesar Leão

The Politics of Incremental Progressivism, 2021, p.257-277

Chichester, UK: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (6)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.