skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: idioma: Francês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The alcohol deficit: Canadian government revenue and societal costs from alcohol
The alcohol deficit: Canadian government revenue and societal costs from alcohol
Material Type:
Artigo 		Adicionar ao Meu Espaço

The alcohol deficit: Canadian government revenue and societal costs from alcohol

Sherk, Adam

Chronic diseases in Canada, 2020-06, Vol.40 (5-6), p.156-159 [Periódico revisado por pares]

Canada: Public Health Agency of Canada

Texto completo disponível

Citações Citado por
2
Vérification automatique d’exigences pour les politiques d’échange d’information. Exigences de diffusion et de non-diffusion d'information
Vérification automatique d’exigences pour les politiques d’échange d’information. Exigences de diffusion et de non-diffusion d'information
Material Type:
Artigo 		Adicionar ao Meu Espaço

Vérification automatique d’exigences pour les politiques d’échange d’information. Exigences de diffusion et de non-diffusion d'information

Rémi, Delmas ; Thomas, Polacsek

Ingénierie des systèmes d'Information, 2016, Vol.21 (2), p.39-63

Lavoisier

Texto completo disponível

Citações Citado por
3
Cannabis and Canadian youth: evidence, not ideology
Cannabis and Canadian youth: evidence, not ideology
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cannabis and Canadian youth: evidence, not ideology

Spithoff, Sheryl ; Kahan, Meldon

Canadian family physician, 2014-09, Vol.60 (9), p.785-787 [Periódico revisado por pares]

Canada: College of Family Physicians of Canada

Texto completo disponível

Citações Citado por
4
Modelling a Multi-Agent System Relating to Liveness Properties in Event-B
Modelling a Multi-Agent System Relating to Liveness Properties in Event-B
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modelling a Multi-Agent System Relating to Liveness Properties in Event-B

NEGREANU, Lorina

Studies in informatics and control, 2014, Vol.23 (4) [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Application des méthodes formelles à la robotique modulaire. Méthodes formelles pour l'analyse des robots autonomes et modulaires
Application des méthodes formelles à la robotique modulaire. Méthodes formelles pour l'analyse des robots autonomes et modulaires
Material Type:
Artigo 		Adicionar ao Meu Espaço

Application des méthodes formelles à la robotique modulaire. Méthodes formelles pour l'analyse des robots autonomes et modulaires

Hillam, Lom Messan ; Kordon, Fabrice ; Petrucci, Laure

Journal Européen des Systèmes Automatisés, 2008-05, Vol.42 (4), p.459-478 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
6
Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Material Type:
Tese 		Adicionar ao Meu Espaço

Vérification formelle de protocoles basés sur de courtes chaines authentifiées

Robin, Ludovic

Sem texto completo

Citações Citado por
7
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
Material Type:
Tese 		Adicionar ao Meu Espaço

Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques

Dallon, Antoine

Sem texto completo

Citações Citado por
8
High-level formal methods for designing reliable electronic systems
High-level formal methods for designing reliable electronic systems
Material Type:
Livro 		Adicionar ao Meu Espaço

High-level formal methods for designing reliable electronic systems

Gorse, Nicolas

2006

Sem texto completo

Citações Citado por
9
Spécification et animation de modèles de conception de la sécurité avec Z
Spécification et animation de modèles de conception de la sécurité avec Z
Material Type:
Tese 		Adicionar ao Meu Espaço

Spécification et animation de modèles de conception de la sécurité avec Z

Qamar, Muhammad Nafees

Sem texto completo

Citações Citado por
10
Domestic violence: any progress?
Domestic violence: any progress?
Material Type:
Artigo 		Adicionar ao Meu Espaço

Domestic violence: any progress?

Henrion, Roger

Bulletin de l'Académie nationale de médecine, 2014-04, Vol.198 (4-5), p.893-903 [Periódico revisado por pares]

Netherlands

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. Recursos Online (41)
  2. Revistas revisadas por pares (41)

Refinar Meus Resultados

Tipo de Recurso 

  1. Dissertações  (49)
  2. Artigos  (48)
  3. Livros  (5)
  4. Anais de Congresso  (3)
  5. Resenhas  (1)
  6. magazinearticle  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (6)
  2. 2000Até2004  (11)
  3. 2005Até2009  (17)
  4. 2010Até2015  (46)
  5. Após 2015  (28)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (22)
  2. Alemão  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.