skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Specification and Compositional Verification of Real-Time Systems
Specification and Compositional Verification of Real-Time Systems
Specification and Compositional Verification of Real-Time Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Specification and Compositional Verification of Real-Time Systems

Jozef Hooman

Springer Berlin Heidelberg 1991

Acesso online. A biblioteca também possui exemplares impressos.

2
ESL Design and Verification : A Prescription for Electronic System Level Methodology
ESL Design and Verification : A Prescription for Electronic System Level Methodology
ESL Design and Verification : A Prescription for Electronic System Level Methodology
Material Type:
Livro 		Adicionar ao Meu Espaço

ESL Design and Verification : A Prescription for Electronic System Level Methodology

Brian Bailey Grant Edmund Martin; Andrew Piziali Andrew Piziali Brian Bailey; Mark Burton; Jack Greenbaum; Kamal Hashmi; Anssi Haverinen; Luciano Lavagno; Michael Meredith; Bill Murray Pi; John Sanguinetti; Florian Schaefer

Burlington Morgan Kaufmann 2007

Acesso online. A biblioteca também possui exemplares impressos.

3
Addressing verification challenges : proceeding of an International Safeguards Symposium on Addressing Verification Challenges, organized by the International Atomic Energy Agency in cooperation with the Institute of Nuclear Materials Management and the European Safeguards Research and Development Association and held in Vienna, 16-20 October 2006.
Addressing verification challenges : proceeding of an International Safeguards Symposium on Addressing Verification Challenges, organized by the International Atomic Energy Agency in cooperation with the Institute of Nuclear Materials Management and the European Safeguards Research and Development Association and held in Vienna, 16-20 October 2006.
Material Type:
Livro 		Adicionar ao Meu Espaço

Addressing verification challenges : proceeding of an International Safeguards Symposium on Addressing Verification Challenges, organized by the International Atomic Energy Agency in cooperation with the Institute of Nuclear Materials Management and the European Safeguards Research and Development Association and held in Vienna, 16-20 October 2006.

International Safeguards Symposium on Addressing Verification Challenges (2006 : Vienna, Austria) International Atomic Energy Agency; Institute of Nuclear Materials Management.; European Safeguards Research and Development Association.

Vienna : International Atomic Energy Agency 2007

Localização: IF - Instituto de Física    (621.483506 I61a ) e outros locais(Acessar)

4
La vérification des accords sur le désarmement et la limitation des armements moyens, méthodes et pratiques
La vérification des accords sur le désarmement et la limitation des armements moyens, méthodes et pratiques
Material Type:
Livro 		Adicionar ao Meu Espaço

La vérification des accords sur le désarmement et la limitation des armements moyens, méthodes et pratiques

Serge Sur; United Nations Institute for Disarmament Research

New York Nations Unies 1991

Localização: FD - Fac. Direito    (RESERVA TÉCNICA 341.67 S958ve DIN )(Acessar)

5
Verification Problems of the Washington Treaty on the Elimination of Intermediate-Range Missiles
Verification Problems of the Washington Treaty on the Elimination of Intermediate-Range Missiles
Verification Problems of the Washington Treaty on the Elimination of Intermediate-Range Missiles
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification Problems of the Washington Treaty on the Elimination of Intermediate-Range Missiles

Sur

1988

Acesso online. A biblioteca também possui exemplares impressos.

6
Computer-aided verification proceedings
Computer-aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer-aided verification proceedings

DIMACS Workshop on Computer-Aided Verification (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science) E. M Clarke 1945-; R. P Kurshan 1943-

Berlin New York Springer-Verlag c1991

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.531 e.1 ) e outros locais(Acessar)

7
Logic Synthesis and Verification
Logic Synthesis and Verification
Logic Synthesis and Verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Synthesis and Verification

Soha Sasao, Tsutomu Hassoun Tsutomu Sasao

Springer US 2002

Acesso online. A biblioteca também possui exemplares impressos.

8
EDA for IC system design, verification, and testing
EDA for IC system design, verification, and testing
Material Type:
Livro 		Adicionar ao Meu Espaço

EDA for IC system design, verification, and testing

Louis Kossuth Scheffer; Luciano Lavagno 1959-; Grant Martin (Grant Edmund)

Boca Raton, FL CRC Taylor & Francis 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M05.10 E21 e.1 )(Acessar)

9
Program verification
Program verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Program verification

Nissim Francez

Wokingham, Eng. Reading, Mass. Addison-Wesley Pub. Co. c1992

Localização: IF - Instituto de Física    (005.14 F815p )(Acessar)

10
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Eyal Bin; Shmuel Ur; Avi Ziv; HVC 2006 (2nd 2006 Haifa, Israel); International Haifa Verification Conference (2nd 2006 Haifa, Israel)

Berlin u.a. Springer 2007

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.415.5 H222 2. ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.087)
  2. Recursos Online (74)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (797)
  2. Livros  (327)
  3. Artigos  (188)
  4. Produções Técnicas  (26)
  5. Documentos Técnicos  (10)
  6. Recursos Textuais  (3)
  7. Outros  (2)
  8. Software  (1)
  9. Audiovisuais  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (24)
  2. 1966Até1981  (26)
  3. 1982Até1995  (93)
  4. 1996Até2010  (581)
  5. Após 2010  (641)
  6. Mais opções open sub menu

Idioma 

  1. Português  (787)
  2. Inglês  (537)
  3. Francês  (27)
  4. Indeterminado  (3)
  5. Espanhol  (2)
  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.