skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Balzac

Ernst Robert Curtius 1886-1956 Henri Jourdan

Paris Bernard Grasset 1933

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas  ANTONIO CANDIDO  (843.7 B1581cu 6.ed. e.2 ) e outros locais(Acessar)

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Sparsity Preserving Algorithms for Octagons

Jourdan, Jacques-Henri

Electronic Notes in Theoretical Computer Science, 20 March 2017, Vol.331, pp.57-70 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Sparsity Preserving Algorithms for Octagons

Jourdan, Jacques-Henri

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

A Simple, Possibly Correct LR Parser for C11

Jourdan, Jacques-Henri ; Pottier, François

ACM Transactions on Programming Languages and Systems (TOPLAS), 18 September 2017, Vol.39(4), pp.1-36 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Implementing and Reasoning About Hash-consed Data Structures in Coq

Braibant, Thomas ; Jourdan, Jacques-Henri ; Monniaux, David

Journal of Automated Reasoning, 2014, Vol.53(3), pp.271-304 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Verified Compilation of Floating-Point Computations

Boldo, Sylvie ; Jourdan, Jacques-Henri ; Leroy, Xavier ; Melquiond, Guillaume

Journal of Automated Reasoning, 2015, Vol.54(2), pp.135-163 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Implementing hash-consed structures in Coq

Braibant, Thomas ; Jourdan, Jacques-Henri ; Monniaux, David

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

dfcomb: An R-package for phase I/II trials of drug combinations

Riviere, Marie-Karelle ; Jourdan, Jacques-Henri ; Zohar, Sarah

Computer Methods and Programs in Biomedicine, March 2016, Vol.125, pp.117-133 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Jung, Ralf ; Krebbers, Robbert ; Jourdan, Jacques-Henri ; Bizjak, Aleš ; Birkedal, Lars ; Dreyer, Derek Jourdan, Jacques-Henri (Editor)

Journal of Functional Programming, 2018, Vol.28(e20) [Periódico revisado por pares]

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Phase I/II dose-finding design for molecularly targeted agent: Plateau determination using adaptive randomization

Riviere, Marie-Karelle ; Yuan, Ying ; Jourdan, Jacques-Henri ; Dubois, Frédéric ; Zohar, Sarah Hal-Upmc, Gestionnaire (Editor)

Statistical Methods in Medical Research, 07 March 2016 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1959  (11)
  2. 1959Até1991  (4)
  3. 1992Até2005  (5)
  4. 2006Até2015  (12)
  5. Após 2015  (8)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (23)
  2. Francês  (13)
  3. Alemão  (1)
  4. Espanhol  (1)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Jourdan, Jacques-Henri
  2. Jourdan, G
  3. Jourdan, Gerard
  4. Guignard, Henri
  5. Linseisen, Jakob

Buscando em bases de dados remotas. Favor aguardar.