skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Art of computer programming fundamental algorithms
Art of computer programming fundamental algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Art of computer programming fundamental algorithms

Donald E. Knuth

Reading Addison-Wesley 1973

Localização: IFSC - Inst. Física de São Carlos    (001.642 K74a 2 ed. v.1 )(Acessar)

2
Art of computer programming seminumerical algorithms
Art of computer programming seminumerical algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Art of computer programming seminumerical algorithms

Donald E. Knuth

Reading Addison-Wesley 1973

Localização: IFSC - Inst. Física de São Carlos    (001.642 K74a 2 ed. v.2 )(Acessar)

3
Art of computer programming sorting and searching
Art of computer programming sorting and searching
Material Type:
Livro 		Adicionar ao Meu Espaço

Art of computer programming sorting and searching

Donald E. Knuth

Reading Addison-Wesley 1973

Localização: IFSC - Inst. Física de São Carlos    (001.642 K74a v.3 )(Acessar)

4
Structured system programming
Structured system programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Structured system programming

Jim Welsh 1943- R. M McKeag

Englewood Cliffs, N.J. Prentice/Hall International c1980

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

5
System development
System development
Material Type:
Livro 		Adicionar ao Meu Espaço

System development

M. A. Jackson

Englewood Cliffs, N.J. Prentice/Hall 1983

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (003 J13s ) e outros locais(Acessar)

6
Formal program development IFIP TC2/WG 2.1 state-of-the-art report
Formal program development IFIP TC2/WG 2.1 state-of-the-art report
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal program development IFIP TC2/WG 2.1 state-of-the-art report

Bernhard Möller 1953-; Helmut A Partsch 1950-; Steve Schuman 1950-; IFIP TC 2/WG 2.1

Berlin New York Springer-Verlag c1993

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

7
Computer aided systems theory--EUROCAST '93 a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
Computer aided systems theory--EUROCAST '93 a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided systems theory--EUROCAST '93 a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings

International Workshop on Computer Aided Systems Theory (3rd 1993 Las Palmas, Spain) Franz Pichler Ing., Dr. phil; Roberto Moreno-Díaz

Berlin New York Springer-Verlag c1994

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

8
FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) Maurice Naftalin 1951-; Tim Denvir 1939-; Miquel Bertran

Berlin New York Springer-Verlag c1994

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

9
C++ and C debugging, testing, and reliability the prevention, detection, and correction of program errors
C++ and C debugging, testing, and reliability the prevention, detection, and correction of program errors
Material Type:
Livro 		Adicionar ao Meu Espaço

C++ and C debugging, testing, and reliability the prevention, detection, and correction of program errors

David Spuler 1969-

Sydney Prentice Hall New York c1994

Localização: IME - Inst. Matemática e Estatística    (QA762 S772c )(Acessar)

10
Human-computer interaction proceedings
Human-computer interaction proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-computer interaction proceedings

International Conference on Human Computer Interaction (5. 1995 Moscow) Brad Blumenthal; Juri Gornostaev; C Unger

Berlin Springer 1995

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (73)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (251)
  2. Artigos  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (6)
  2. 1994Até1997  (34)
  3. 1998Até2003  (17)
  4. 2004Até2008  (190)
  5. Após 2008  (7)
  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.