skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reverse Engineering Code with IDA Pro
Material Type:
Livro
Adicionar ao Meu Espaço

Reverse Engineering Code with IDA Pro

Ferguson, Justin

San Diego: Elsevier Science 2011

Texto completo disponível

2
Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings

Fritzson, Peter A Fritzson, Peter A.

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

3
B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

Bert, Didier Bert, Didier

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

4
Exception Handling: Fundamentals and Programming
Material Type:
Livro
Adicionar ao Meu Espaço

Exception Handling: Fundamentals and Programming

Mejia Alvarez, Pedro ; Gonzalez Torres, Raul E. ; Ortega Cisneros, Susana

Cham: Springer Nature Switzerland 2024

Sem texto completo

5
Modeling in Event-B: System and Software Engineering
Material Type:
Livro
Adicionar ao Meu Espaço

Modeling in Event-B: System and Software Engineering

Abrial, Jean-Raymond

Cambridge: Cambridge University Press 2010

Sem texto completo

6
Software error detection: through testing and analysis
Material Type:
Livro
Adicionar ao Meu Espaço

Software error detection: through testing and analysis

Huang, J. C

Hoboken, N.J: Wiley 2009

Texto completo disponível

7
CODOMs: protecting software with code-centric memory domains
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

CODOMs: protecting software with code-centric memory domains

Vilanova, Lluïs ; Ben-Yehuda, Muli ; Navarro, Nacho ; Etsion, Yoav ; Valero, Mateo

2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA), 2014, p.469-480

IEEE Press

Texto completo disponível

8
Problem-Solving in High Performance Computing - A Situational Awareness Approach with Linux
Material Type:
Livro
Adicionar ao Meu Espaço

Problem-Solving in High Performance Computing - A Situational Awareness Approach with Linux

Ljubuncic, Igor

San Diego: Elsevier 2015

Texto completo disponível

9
Formal methods applied to complex systems: implementation of the B method
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods applied to complex systems: implementation of the B method

Boulanger, Jean-Louis

Wiley-Blackwell 2014

Texto completo disponível

10
Open Source Fuzzing Tools
Material Type:
Livro
Adicionar ao Meu Espaço

Open Source Fuzzing Tools

Noam Rathaus, Gadi Evron

Burlington: Elsevier Science 2011

Texto completo disponível

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (4.223)
  2. Artigos  (2.376)
  3. magazinearticle  (207)
  4. Book Chapters  (64)
  5. Livros  (41)
  6. Dissertações  (23)
  7. Reports  (4)
  8. Resenhas  (3)
  9. Newsletter Articles  (2)
  10. Conjunto de Dados  (1)
  11. Verbetes  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1977  (35)
  2. 1977Até1987  (169)
  3. 1988Até1998  (796)
  4. 1999Até2010  (2.268)
  5. Após 2010  (3.752)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.941)
  2. Japonês  (262)
  3. Ndongo  (4)
  4. Alemão  (4)
  5. Português  (3)
  6. Chinês  (2)
  7. Espanhol  (2)
  8. Norueguês  (2)
  9. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.