skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Outros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Admissibility of Substitution for Multimode Type Theory
Material Type:
Outros
Adicionar ao Meu Espaço

Admissibility of Substitution for Multimode Type Theory

Ceulemans, joris ; Nuyts, Andreas ; Devriese, Dominique

2024

Texto completo disponível

2
Material Type:
Outros
Adicionar ao Meu Espaço

Theory in Biosciences

Olaf Breldbach José Fernando Fontanari

Theory in Biosciences Jena v. 124, 2005

Jena Urban & Ficher Verlag 2005

Localização: IFSC - Inst. Física de São Carlos    (PROD010809 ) e outros locais(Acessar)

3
A Lock Calculus for Multimode Type Theory
Material Type:
Outros
Adicionar ao Meu Espaço

A Lock Calculus for Multimode Type Theory

Nuyts, Andreas

2023

Texto completo disponível

4
Pseudo-Label Selection: Insights From Decision Theory
Material Type:
Outros
Adicionar ao Meu Espaço

Pseudo-Label Selection: Insights From Decision Theory

Rodemann, Julian

2023

Texto completo disponível

5
Higher Pro-Arrows: Towards a Model for Naturality Pretype Theory
Material Type:
Outros
Adicionar ao Meu Espaço

Higher Pro-Arrows: Towards a Model for Naturality Pretype Theory

Nuyts, Andreas

2024

Texto completo disponível

6
Lax-Idempotent 2-Monads, Degrees of Relatedness, and Multilevel Type Theory
Material Type:
Outros
Adicionar ao Meu Espaço

Lax-Idempotent 2-Monads, Degrees of Relatedness, and Multilevel Type Theory

Nuyts, Andreas

2023

Texto completo disponível

7
Higher Pro-arrows: Towards a Model for Naturality Pretype Theory
Material Type:
Outros
Adicionar ao Meu Espaço

Higher Pro-arrows: Towards a Model for Naturality Pretype Theory

Nuyts, Andreas

2023

Texto completo disponível

8
Contemporary Photography in France. Between Theory and Practice
Material Type:
Outros
Adicionar ao Meu Espaço

Contemporary Photography in France. Between Theory and Practice

Van Gelder, Hilde ; Smith, Olga ; Poivert, Michel ; Bate, David

2022

Texto completo disponível

9
Face-to-face contact and motivation in the context of telecommuting. The role of self-determination theory and media-richness theory
Material Type:
Outros
Adicionar ao Meu Espaço

Face-to-face contact and motivation in the context of telecommuting. The role of self-determination theory and media-richness theory

Lacroix, Astrid ; Van den Broeck, Anja ; Verbruggen, Marijke ; De Winne, Sophie ; Baillien, Elfi

European Academy of Occupational Health Psychology 2022

Texto completo disponível

10
Dependable Atomicity in Type Theory
Material Type:
Outros
Adicionar ao Meu Espaço

Dependable Atomicity in Type Theory

Nuyts, Andreas ; Devriese, Dominique

2019

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 (997)
  2. Disponível na Biblioteca (531)

Data de Publicação 

De até
  1. Antes de1998  (6)
  2. 1998Até2003  (222)
  3. 2004Até2009  (124)
  4. 2010Até2016  (425)
  5. Após 2016  (361)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.502)
  2. Vários idiomas  (18)
  3. Francês  (11)
  4. Espanhol  (10)
  5. Italiano  (8)
  6. Holandês  (5)
  7. Português  (4)
  8. Alemão  (3)
  9. Polonês  (1)
  10. Japonês  (1)
  11. Catalão  (1)
  12. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Delfim Netto, A
  2. Fontanari, J
  3. Alcaraz, F
  4. Costa, L
  5. Mezard, M

Buscando em bases de dados remotas. Favor aguardar.