skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An Early Monash Pioneer: Appointed 1964, Retired 2003
An Early Monash Pioneer: Appointed 1964, Retired 2003
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Early Monash Pioneer: Appointed 1964, Retired 2003

Chiba, Marta V. ; Crossley, John N.

Journal of the Australian Library and Information Association, 2021-10, Vol.70 (4), p.440-453 [Periódico revisado por pares]

Abingdon: Routledge

Texto completo disponível

Citações Citado por
2
Scaling-up ultrasonic vibration assisted additive manufacturing to build 316 L 3 m3 waste container flange
Scaling-up ultrasonic vibration assisted additive manufacturing to build 316 L 3 m3 waste container flange
Material Type:
Artigo 		Adicionar ao Meu Espaço

Scaling-up ultrasonic vibration assisted additive manufacturing to build 316 L 3 m3 waste container flange

Lowe, Premesh Shehan ; Honey, Xiaoying ; Crossley, John ; Karunaratne, Keshanka ; Kannangara, Chathura ; Jones, Steven

Journal of manufacturing processes, 2022-11, Vol.83, p.97-104 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
3
A Fully Integrated, 290 pJ/bit UWB Dual-Mode Transceiver for cm-Range Wireless Interconnects
A Fully Integrated, 290 pJ/bit UWB Dual-Mode Transceiver for cm-Range Wireless Interconnects
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Fully Integrated, 290 pJ/bit UWB Dual-Mode Transceiver for cm-Range Wireless Interconnects

Gambini, S. ; Crossley, J. ; Alon, E. ; Rabaey, J. H.

IEEE journal of solid-state circuits, 2012-03, Vol.47 (3), p.586-598 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
4
Protocols between Programs and Proofs
Protocols between Programs and Proofs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Protocols between Programs and Proofs

Poernomo, Iman ; Crossley, John N.

Lecture notes in computer science, 2001, Vol.2042, p.18-37 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Disjunctive Constraint Lambda Calculi
Disjunctive Constraint Lambda Calculi
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Disjunctive Constraint Lambda Calculi

Hölzl, Matthias M. ; Crossley, John N.

Lecture notes in computer science, 2005, p.64-78 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
6
Constraint-Lambda Calculi
Constraint-Lambda Calculi
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Constraint-Lambda Calculi

Armando, Alessandro

Frontiers of Combining Systems, 2002, Vol.2309, p.207-222 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
7
An energy-efficient ring-oscillator digital PLL
An energy-efficient ring-oscillator digital PLL
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An energy-efficient ring-oscillator digital PLL

Crossley, J ; Naviasky, E ; Alon, E

IEEE Custom Integrated Circuits Conference 2010, 2010, p.1-4

IEEE

Texto completo disponível

Citações Citado por
8
Tiered Logic for Agents in Contexts
Tiered Logic for Agents in Contexts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Tiered Logic for Agents in Contexts

Cruz, Rosalito Perez ; Crossley, John Newsome

Agents and Artificial Intelligence, p.191-204 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
Proof Normalization of Structured Algebraic Specifications Is Convergent
Proof Normalization of Structured Algebraic Specifications Is Convergent
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proof Normalization of Structured Algebraic Specifications Is Convergent

Wirsing, Martin ; Crossley, John N. ; Peterreins, Hannes

Lecture notes in computer science, 1999, p.326-340 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
New Curry-Howard terms for full linear logic
New Curry-Howard terms for full linear logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

New Curry-Howard terms for full linear logic

Albrecht, David ; Crossley, John N. ; Jeavons, John S.

Theoretical computer science, 1997-10, Vol.185 (2), p.217-235 [Periódico revisado por pares]

Elsevier B.V

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 (51)
  2. Revistas revisadas por pares (48)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (44)
  2. Anais de Congresso  (17)
  3. Book Chapters  (3)
  4. Livros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (5)
  2. 1999Até2004  (9)
  3. 2005Até2009  (15)
  4. 2010Até2015  (30)
  5. Após 2015  (9)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.