Resultados de 1 a 10 de 21 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
autor:
Bloem, Roderick
Base de dados/Biblioteca:
Springer Nature - Springer Computer Science eBooks 2014 English International
Base de dados/Biblioteca:
Springer Nature - Springer Computer Science eBooks 2014 English International
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, ProceedingsBiere, Armin ; Bloem, Roderick Biere, Armin ; Bloem, RoderickNetherlands: Springer Nature 2014Texto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
Hardware Model Checking Competition CAV 2014 EditionBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
SecurityBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
SMT and Theorem ProvingBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
Hardware Model CheckingBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
OrganizationBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
AbstractionBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
IntroBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
AutomataBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
ConcurrencyBiere, Armin ; Bloem, RoderickComputer Aided Verification, 2014, Vol.8559Switzerland: Springer International Publishing AGTexto completo disponível |
Resultados de 1 a 10 de 21 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Communication Systems, Computer (1)
- Computer Science (1)
- Computer Programs (1)
- Computer Science Logic And Foundations Of Programming (1)
- Computer Networks (1)
- Computer Software Engineering (1)
- Computers (1)
- Computer Programming, Programs, Data (1)
- Computer Software (1)
- Computer Systems Organization And Communication Networks (1)
- Computer Logic (1)
- Computer Organization (1)
- Computer Software-Verification-Congresses (1)
- Computer Engineering And Networks (1)
- Abstract Machines (1)
- Computer Communication Systems (1)
- Computer Network Architectures (1)
- Computer Engineering (1)
- Abstract Automata (1)
- Automata (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 