skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Conference proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference proceedings

Symposium on Computer Architecture (7th 1980 La Baule, France) IEEE Computer Society; Association for Computing Machinery; Institut de Recherche et Informatique et Systemes Aleatoines

Long Beach, Calif. IEEE Computer Society Publications Office 1980

Localização: EPBC - Esc. Politécnica-Bib Central    (004.2 Sy68c 7. )(Acessar)

2
Formal development of programs and proofs
Formal development of programs and proofs
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal development of programs and proofs

Edsger Wybe Dijkstra ed; University of texas year of Programming (1987 Austin, US)

Reading, Mass. Addison-Wesley c1990

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

3
Proceedings of the 1st National Conference on Software Engineering Washington, D.C., September 11-12, 1975
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 1st National Conference on Software Engineering Washington, D.C., September 11-12, 1975

National Conference on Software Engineering (1st 1975 Washington, D.C.) IEEE Computer Society; United States National Bureau of Standards

New York Institute of Electrical and Electronics Engineers c1975

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 N213 1. )(Acessar)

4
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970
Material Type:
Livro 		Adicionar ao Meu Espaço

Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970

Fachtagung Rechnerstrukturen und Betriebsprogrammierung (1970 Erlangen) Wolfgang Händler 1920-; P. P Spies (Peter Paul); Gesellschaft für Informatik; Nachrichtentechnische Gesellschaft

Berlin New York Springer-Verlag 1974

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

5
Proceedings of the 5th International Symposium on Programming Turin, April 6-8, 1982
Proceedings of the 5th International Symposium on Programming Turin, April 6-8, 1982
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 5th International Symposium on Programming Turin, April 6-8, 1982

International Symposium on Programming (5th 1982 Turin, Italy) M Dezani-Ciancaglini (Mariangiola); U Montanari (Ugo); Colloque International sur la Programmation (5 1982 Turin)

Berlin New York Springer-Verlag 1982

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

6
Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986
Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986

ACM Symposium on Principles of Programming Languages (13th 1986 St. Petersburg Beach, Fla.) ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group in Programming Languages

New York ACM 1986

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 13 )(Acessar)

7
Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984

ACM Symposium on Principles of Programming Languages (11th 1984 Salt Lake City, Utah) ACM Special Interest Group on Automa and Computability Theory; ACM Special Interest Group in Programming Languages; Association for Computing Machinery

New York ACM c1983 [i.e. 1984

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 11. )(Acessar)

8
Conference record of the twelfth annual ACM Symposium on Principles of Programming Languages extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985
Conference record of the twelfth annual ACM Symposium on Principles of Programming Languages extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the twelfth annual ACM Symposium on Principles of Programming Languages extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985

ACM Symposium on Principles of Programming Languages (12th 1985 New Orleans, La.) ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group in Programming Languages

New York ACM 1985

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 12. )(Acessar)

9
18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode Island
Material Type:
Livro 		Adicionar ao Meu Espaço

18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode Island

Symposium on Foundations of Computer Science (18th 1977 Providence) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Brown University

Long Beach, Calif. The Society c1977

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 18. )(Acessar)

10
24th Annual Symposium on Foundations of Computer Science November 7-9, 1983
24th Annual Symposium on Foundations of Computer Science November 7-9, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

24th Annual Symposium on Foundations of Computer Science November 7-9, 1983

Symposium on Foundations of Computer Science (24th 1983 Tucson, Ariz.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Silver Spring, Md. IEEE Computer Society Press c1983

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 24 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1977  (21)
  2. 1977Até1986  (43)
  3. 1987Até1996  (60)
  4. 1997Até2007  (107)
  5. Após 2007  (95)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (270)
  2. Francês  (2)
  3. Alemão  (1)
  4. Japonês  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.