skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)

Berlin u.a. Springer 2010

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

2
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

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

3
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

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

4
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

International SPIN Workshop (11th 2004 Barcelona, Spain) Susanne Graf; Laurent Mounier

Berlin Springer New York c2004

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

5
Compiler construction 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29-April 2, 2004 : proceedings
Compiler construction 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29-April 2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Compiler construction 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29-April 2, 2004 : proceedings

CC 2004 (2004 Barcelona, Spain) Evelyn Duesterwald; ETAPS 2004 (2004 Barcelona, Spain)

Berlin Springer New York 2004

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

6
Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna Austria, March 2006 : proceedings
Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna Austria, March 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna Austria, March 2006 : proceedings

European Symposium on Programming (15th 2006 Vienna, Austria) Peter Sestoft; ETAPS 2006 (2006 Vienna, Austria)

Berlin Springer 2006

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

7
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings

International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany) Ralf Reussner; International Workshop on Software Quality (2nd 2005 Erfurt, Germany)

Berlin Springer New York c2005

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

8
System software an introduction to systems programming
System software an introduction to systems programming
Material Type:
Livro 		Adicionar ao Meu Espaço

System software an introduction to systems programming

Leland L. Beck

Reading, Mass. Addison-Wesley Pub. Co. c1990

Localização: IME - Inst. Matemática e Estatística    (QA754 B393s e.2 )(Acessar)

9
Advanced scientific computing in BASIC with applications in chemistry, biology, and pharmacology
Advanced scientific computing in BASIC with applications in chemistry, biology, and pharmacology
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced scientific computing in BASIC with applications in chemistry, biology, and pharmacology

Péter Valkó 1950- Sándor Vajda 1949-

Amsterdam New York, NY, U.S.A. Elsevier Distributors for the U.S. and Canada, Elsevier Science Pub. Co. 1989

Localização: CQ - Conjunto das Químicas    (540.02854 V174a ) e outros locais(Acessar)

10
Arquitetura de software para sistemas de tempo real.
Arquitetura de software para sistemas de tempo real.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Arquitetura de software para sistemas de tempo real.

Oliveira, Wilson Prates De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-10-11

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

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 (559.517)
  2. Revistas revisadas por pares (301.939)
  3. Disponível na Biblioteca (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (365.255)
  2. magazinearticle  (113.568)
  3. Anais de Congresso  (48.841)
  4. Resenhas  (11.723)
  5. Newsletter Articles  (7.831)
  6. Book Chapters  (7.680)
  7. Artigos de Jornal  (2.141)
  8. Livros  (1.839)
  9. Verbetes  (327)
  10. Conjunto de Dados  (181)
  11. Reports  (79)
  12. Dissertações  (40)
  13. Standards  (9)
  14. Produções Acadêmicas  (3)
  15. Web Resources  (3)
  16. Recursos Textuais  (3)
  17. Documentos Governamentais  (2)
  18. Imagens  (2)
  19. Outros  (1)
  20. Mais opções open sub menu

Assunto 

  1. Science & Technology  (280.882)
  2. Technology  (204.156)
  3. Computer Science  (155.206)
  4. Exact Sciences And Technology  (117.267)
  5. Applied Sciences  (113.379)
  6. Computer Science; Control Theory; Systems  (108.934)
  7. Life Sciences & Biomedicine  (87.143)
  8. Engineering  (80.597)
  9. Algorithms  (57.210)
  10. Humans  (51.401)
  11. Physical Sciences  (47.966)
  12. Computer Science, Theory & Methods  (45.587)
  13. Computer Science, Software Engineering  (45.536)
  14. Computer Systems And Distributed Systems. User Interface  (45.265)
  15. Computer Software Industry  (44.482)
  16. Computer Science, Information Systems  (43.963)
  17. Engineering, Electrical & Electronic  (43.633)
  18. Computer Programs  (42.323)
  19. Memory Organisation. Data Processing  (38.677)
  20. Computer Software  (13.050)
  21. Computer Architecture  (8.306)
  22. Model Checking  (534)
  23. Logiciels  (394)
  24. Testen  (28)
  25. Química  (6)
  26. Computer Software  (4)
  27. Testen  (4)
  28. Logiciels  (3)
  29. Model Checking  (3)
  30. Especificação De Sistemas E Programas (Congressos)  (3)
  31. Engenharia De Programas  (3)
  32. Protocolos De Comunicação (Congressos)  (2)
  33. Técnicas De Programação (Congressos)  (2)
  34. Computação Aplicada  (2)
  35. M Ethodes Formelles (Informatique)  (2)
  36. Formal Methods (Computer Science)  (2)
  37. Redes E Comunicação De Dados (Congressos)  (2)
  38. Reabilitação  (1)
  39. Compilers (Computer Programs)  (1)
  40. Química  (1)
  41. Computer Architecture  (1)
  42. Systems Programming (Computer Science)  (1)
  43. Enfermagem-Estudo E Ensino  (1)
  44. Zoologia  (1)
  45. Qualit E Du Logiciel  (1)
  46. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1967  (90)
  2. 1967Até1980  (692)
  3. 1981Até1994  (51.094)
  4. 1995Até2009  (259.916)
  5. Após 2009  (250.517)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (557.708)
  2. Japonês  (41.812)
  3. Português  (1.534)
  4. Espanhol  (1.318)
  5. Alemão  (909)
  6. Chinês  (314)
  7. Francês  (285)
  8. Ucraniano  (141)
  9. Russo  (135)
  10. Norueguês  (119)
  11. Turco  (73)
  12. Polonês  (57)
  13. Italiano  (52)
  14. Tcheco  (37)
  15. Letão  (29)
  16. Persa  (29)
  17. Lituano  (23)
  18. Holandês  (21)
  19. Árabe  (20)
  20. Africâner  (20)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Reussner, R
  2. Freitas, D
  3. Sestoft, P
  4. PSSE
  5. Sperandio, D

Neste Assunto:

  1. Software
  2. Software
  3. Science & Technology
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.