skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Combining Equivalence Verification and Completion Functions
Combining Equivalence Verification and Completion Functions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Combining Equivalence Verification and Completion Functions

Aagaard, Mark D. ; Ciubotariu, Vlad C. ; Higgins, Jason T. ; Khalvati, Farzad

Formal Methods in Computer-Aided Design, 2004, p.98-112 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Synchronization-at-Retirement for Pipeline Verification
Synchronization-at-Retirement for Pipeline Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Synchronization-at-Retirement for Pipeline Verification

Aagaard, Mark D. ; Day, Nancy A. ; Jones, Robert B.

Formal Methods in Computer-Aided Design, 2004, p.113-127 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Relating Multi-step and Single-Step Microprocessor Correctness Statements

Aagaard, Mark D. ; Day, Nancy A. ; Lou, Meng

Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
A methodology for large-scale hardware verification
A methodology for large-scale hardware verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A methodology for large-scale hardware verification

AAGAARD, Mark D ; JONES, Robert B ; MELHAM, Thomas F ; O'LEARY, John W ; SEGER, Carl-Johan H

Lecture notes in computer science, 2000, p.263-282 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
FMCAD 2002 : formal methods in computer-aided design (Portland OR, 6-8 November 2002)
FMCAD 2002 : formal methods in computer-aided design (Portland OR, 6-8 November 2002)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

FMCAD 2002 : formal methods in computer-aided design (Portland OR, 6-8 November 2002)

Aagaard, Mark D ; O'Leary, John W

Lecture notes in computer science, 2002 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
6
TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)
TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)

Aagaard, Mark ; Harrison, John

Lecture notes in computer science, 2000 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
7
Towards an ODP-compliant object definition language with QoS-support
Towards an ODP-compliant object definition language with QoS-support
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards an ODP-compliant object definition language with QoS-support

Aagedal, Jan Øyvind

Interactive Distributed Multimedia Systems and Telecommunication Services, 1998, p.183-194 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Modelling QoS: Towards a UML Profile
Modelling QoS: Towards a UML Profile
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modelling QoS: Towards a UML Profile

Aagedal, Jan Øyvind ; Ecklund, Earl F.

Lecture notes in computer science, 2002, p.275-289 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Intelligence in communication systems (Bangkok, 23-26 November 2004)
Intelligence in communication systems (Bangkok, 23-26 November 2004)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Intelligence in communication systems (Bangkok, 23-26 November 2004)

Aagesen, Finn Arve ; Anutariya, Chutiporn ; Wuwongse, Vilas

Lecture notes in computer science, 2004 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
10
A Process and Tool for the Conversion of MARC Records to a Normalized FRBR Implementation
A Process and Tool for the Conversion of MARC Records to a Normalized FRBR Implementation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Process and Tool for the Conversion of MARC Records to a Normalized FRBR Implementation

Aalberg, Trond

Digital Libraries: Achievements, Challenges and Opportunities, 2006, p.283-292 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (81.437)
  2. Revistas revisadas por pares (236.109)

Data de Publicação 

De até
Refinar
  1. Antes de1989  (144)
  2. 1989Até1996  (320)
  3. 1997Até2004  (46.132)
  4. 2005Até2013  (110.595)
  5. Após 2013  (78.498)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (236.547)
  2. Japonês  (5.740)
  3. Russo  (47)
  4. Francês  (35)
  5. Alemão  (8)
  6. Galês  (5)
  7. Norueguês  (5)
  8. Sueco  (2)
  9. Dinamarquês  (1)
  10. Italiano  (1)
  11. Espanhol  (1)
  12. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.