skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
68000 assembly language programming
68000 assembly language programming
Material Type:
Livro 		Adicionar ao Meu Espaço

68000 assembly language programming

Lance A Leventhal 1945-

Berkeley, Calif. Osborne McGraw-Hill c1986

Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas    (005.2 L643s ) e outros locais(Acessar)

2
8086/88 assembly language programming
8086/88 assembly language programming
Material Type:
Livro 		Adicionar ao Meu Espaço

8086/88 assembly language programming

Leo J. Scanlon

Bowie, MD Robert J. Brady c1984

Localização: FMRP - Fac. Medicina de Ribeirão Preto    (681.3.06 S283e )(Acessar)

3
Abstraction mechanisms and language design
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Abstraction mechanisms and language design

Paul N. Hilfinger

1981

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

4
Advanced programming; programming and operating systems
Advanced programming; programming and operating systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced programming; programming and operating systems

Harry Katzan

New York Van Nostrand Reinhold 1970

Localização: IME - Inst. Matemática e Estatística    (QA764 K19a e.2 ) e outros locais(Acessar)

5
Algorithm specification
Algorithm specification
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithm specification

Courant Computer Science Symposium (4th 1971 New York) Randall Rustin

Englewood Cliffs, N.J. Prentice-Hall 1972

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 C858as 1971 v.4 e.1 ) e outros locais(Acessar)

6
Algorithmic language and program development
Algorithmic language and program development
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithmic language and program development

Friedrich Ludwig Bauer 1924- H Wössner (Hans)

Berlin New York Springer-Verlag 1982

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

7
ANNA, a language for annotating Ada programs reference manual
ANNA, a language for annotating Ada programs reference manual
Material Type:
Livro 		Adicionar ao Meu Espaço

ANNA, a language for annotating Ada programs reference manual

David C Luckham

Berlin New York Springer-Verlag c1987

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

8
Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos.
Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos.

Castro Junior, Amaury Antônio De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2009-08-07

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

9
Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

International Colloquium on Automata, Languages, and Programming (1997 Bologna, Italy) Pierpaolo Degano 1950-; Roberto Gorrieri; Alberto Marchetti-Spaccamela; European Association for Theoretical Computer Science

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer New York c1997

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

10
Automatic verification of programs with complex data structures
Automatic verification of programs with complex data structures
Material Type:
Livro 		Adicionar ao Meu Espaço

Automatic verification of programs with complex data structures

Norihisa Suzuki 1946-

New York Garland Pub. 1980

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)
  2. Disponível na Biblioteca (145)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (140)
  2. Produções Acadêmicas  (6)
  3. Revistas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1973  (13)
  2. 1973Até1980  (16)
  3. 1981Até1987  (46)
  4. 1988Até1995  (47)
  5. Após 1995  (27)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (140)
  2. Francês  (4)
  3. Português  (3)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.