skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Applied Sciences remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Tool for Checking ANSI-C Programs
A Tool for Checking ANSI-C Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Tool for Checking ANSI-C Programs

Clarke, Edmund ; Kroening, Daniel ; Lerda, Flavio

Lecture notes in computer science, 2004, p.168-176 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
A Fast Linear-Arithmetic Solver for DPLL(T)
A Fast Linear-Arithmetic Solver for DPLL(T)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Fast Linear-Arithmetic Solver for DPLL(T)

Dutertre, Bruno ; de Moura, Leonardo

Computer Aided Verification, 2006, p.81-94 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Lazy Abstraction with Interpolants
Lazy Abstraction with Interpolants
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Lazy Abstraction with Interpolants

McMillan, Kenneth L.

Computer Aided Verification, 2006, p.123-136 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Staged Configuration Using Feature Models
Staged Configuration Using Feature Models
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Staged Configuration Using Feature Models

Czarnecki, Krzysztof ; Helsen, Simon ; Eisenecker, Ulrich

Lecture notes in computer science, 2004, p.266-283 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
DPLL(T): Fast Decision Procedures
DPLL(T): Fast Decision Procedures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

DPLL(T): Fast Decision Procedures

Ganzinger, Harald ; Hagen, George ; Nieuwenhuis, Robert ; Oliveras, Albert ; Tinelli, Cesare

Computer Aided Verification, 2004, p.175-188 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
The Embedded Systems Design Challenge
The Embedded Systems Design Challenge
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Embedded Systems Design Challenge

Henzinger, Thomas A. ; Sifakis, Joseph

FM 2006: Formal Methods, 2006, p.1-15 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Statistical Model Checking of Black-Box Probabilistic Systems
Statistical Model Checking of Black-Box Probabilistic Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Statistical Model Checking of Black-Box Probabilistic Systems

Sen, Koushik ; Viswanathan, Mahesh ; Agha, Gul

Computer Aided Verification, 2004, p.202-215 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
PRISM: A Tool for Automatic Verification of Probabilistic Systems
PRISM: A Tool for Automatic Verification of Probabilistic Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

PRISM: A Tool for Automatic Verification of Probabilistic Systems

Hinton, Andrew ; Kwiatkowska, Marta ; Norman, Gethin ; Parker, David

Lecture notes in computer science, 2006, p.441-444 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
Concepts and Guidelines of Feature Modeling for Product Line Software Engineering
Concepts and Guidelines of Feature Modeling for Product Line Software Engineering
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Concepts and Guidelines of Feature Modeling for Product Line Software Engineering

Gacek, Cristina

Lecture notes in computer science, 2002, Vol.2319, p.62-77 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Software Verification with BLAST
Software Verification with BLAST
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Software Verification with BLAST

Ball, Thomas ; Rajamani, Sriram K

Lecture notes in computer science, 2003, Vol.2648, p.235-239 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

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

Refinar Meus Resultados

Assunto 

  1. Engineering  (112.328)
  2. Social Sciences  (64.027)
  3. Behavioral Sciences  (62.623)
  4. Transportation  (55.535)
  5. Political Science  (47.966)
  6. Arts  (41.957)
  7. Business  (39.931)
  8. Biological Sciences  (36.741)
  9. Physical Sciences  (36.088)
  10. Economics  (33.054)
  11. Civil Engineering  (31.856)
  12. Anthropology  (29.838)
  13. Technology  (26.994)
  14. Economic Disciplines  (26.971)
  15. Government  (25.810)
  16. Earth Sciences  (25.561)
  17. Industry  (25.494)
  18. Industrial Sectors  (25.304)
  19. Biology  (25.215)
  20. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (654)
  2. 1960Até1974  (2.032)
  3. 1975Até1989  (3.457)
  4. 1990Até2005  (22.822)
  5. Após 2005  (105.493)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (124)
  2. Francês  (17)
  3. Espanhol  (4)
  4. Alemão  (3)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.