skip to main content
Idioma:
Resultados 1 2 next page
Refinado por: assunto: Electronic Digital Computers remover assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical theory of computation
Mathematical theory of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical theory of computation

Zohar Manna

New York McGraw-Hill 1974

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (005.1 M315m ) e outros locais(Acessar)

2
The specification of computer programs
The specification of computer programs
Material Type:
Livro 		Adicionar ao Meu Espaço

The specification of computer programs

Wladyslaw Turski Thomas S. E Maibaum 1947-

Wokingham, England Reading, Mass. Addison-Wesley c1987

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 T869s ) e outros locais(Acessar)

3
Computer system performance
Computer system performance
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer system performance

Herbert Hellerman 1927- Thomas F Conroy

New York McGraw-Hill 1975

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

4
Performance evaluation of computer and communication systems joint tutorial papers of Performance '93 and Sigmetrics '93
Performance evaluation of computer and communication systems joint tutorial papers of Performance '93 and Sigmetrics '93
Material Type:
Livro 		Adicionar ao Meu Espaço

Performance evaluation of computer and communication systems joint tutorial papers of Performance '93 and Sigmetrics '93

Lorenzo Donatiello; Randolph Nelson; IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks (16th 1993 Rome, Italy); Conference on Measurement and Modeling of Computer Systems (1993 Santa Clara, Calif.)

Berlin New York Springer-Verlag c1993

Localização: IME - Inst. Matemática e Estatística    (S L471c v.729 )(Acessar)

5
Introduction to the design and analysis of algorithms
Introduction to the design and analysis of algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to the design and analysis of algorithms

Seymour E. Goodman S. T Hedetniemi

New York McGraw-Hill c1977

Localização: ICMC - Inst. Ciên. Mat. Computação    (68P05.01 G653i e.1 ) e outros locais(Acessar)

6
Introduction to real-time software design
Introduction to real-time software design
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to real-time software design

S. T. Allworth

London New York Macmillan 1981

Localização: EPBC - Esc. Politécnica-Bib Central    (004.031.43 AL58i )(Acessar)

7
Analysis and synthesis of computer systems
Analysis and synthesis of computer systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Analysis and synthesis of computer systems

E. Gelenbe 1945- I Mitrani

London New York Academic Press 1980

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

8
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings

International Conference on Computer-Aided Verification, CAV'97 (9th 1997 Haifa, Israel) Orna Grumberg

Berlin New York Heidelberg Springer c1997

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

9
Computer performance evaluation modelling techniques and tools ; 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000
Computer performance evaluation modelling techniques and tools ; 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer performance evaluation modelling techniques and tools ; 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000

International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (11th 2000 Schaumburg, Il. USA) Connie U Smith; Boudewijn R Haverkort; Henrik C Bohnenkamp 1967-

Berlin Springer London c2000

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

10
The science of programming
The science of programming
Material Type:
Livro 		Adicionar ao Meu Espaço

The science of programming

David Gries 1939-

New York Springer-Verlag c1981

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.1 G848s e.3 ) e outros locais(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1976  (3)
  2. 1976Até1979  (3)
  3. 1980Até1984  (3)
  4. 1985Até1987  (5)
  5. Após 1987  (5)
  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.